PHIL370     Symbolic Logic
Semester:Fall 2012
Instructor: Eric Pacuit
Room:MMH 1304
Meeting Times:2:00pm - 3:15pm

The aim of the course is to introduce you to the kinds of questions logicians ask about logics, the meta-theory of logic. To illustrate these questions, we will use propositional and first-order logic. These logics are important in philosophy, computer science, AI, linguistics and mathematics. Topics to be covered include syntax & semantics of propositional logic and first-order logic; logical consequence; axiomatics systems; compactness; definability; and completeness.