| Course: | PHIL/SS 105B/205B |
| Name: | METALOGIC |
| Description: | This is an introduction to the meta-theory of first-order logic. The
course will cover the syntax and semantics of propositional and
first-order logic, and the soundness and completeness results for such
logics. Other logics, e.g., modal or higher-order are also mentioned.
COURSE PREREQUISITE: Phil/SS 105A/205A or instructor's permission. COURSE REQUIREMENTS: Several problem sets, a midterm and a final exam.
TEXTBOOK: P. Maddy, Metalogic
|