PHI 272 SYMBOLIC LOGIC AND PHILOSOPHY
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.
Prerequisite
PHI 103, or permission of the instructor.
Enrollment Limit
Enrollment is limited to 25 students.
Attributes
MOIC