Philosophy | Logic and Philosophy
P352 | 28455 | McCarty, David


The course will be devoted to a thorough exploration of some
nonclassical logics, with emphasis on intuitionistic or constructive
logic and modal logics in their  propositional versions. We will
study these logical systems both proof-theoretically and
semantically. In addition to soundness and completeness theorems,
other standard results will be explained and proved, including
Goedel’s theorems on negative and modal translations.

Prerequisites: It is recommended that students have done well in
P250 or an equivalent course.

no textbooks - will use course packets produced by ClassPak