Philosophical Logic

Study of the logic of propositions through prepositional calculi, formal proofs, and first-order functional calculi. Also included is an investigation into the philosophical assumptions and implications of formal systems and the axiomatic method as used in logic and mathematics, including the concepts of completeness and consistency.

Credits

3 credits

Course Code

PHIL 3340