PHI 272 ADVANCED SYMBOLIC LOGIC

An introduction to first-order predicate logic and an exploration of alternative systems of logic (including modal logic and many-valued logic). Additional topics include metalogic, the relationship between logic and natural language, semantic paradoxes, the relationship between logic and mathematics, and the significance of Gödel's proof.

Credits

4

Prerequisite

PHI 103, or permission of the instructor.

Enrollment Limit

Enrollment is limited to 25 students.