| Course: | LPS 105B/205B Philos 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.
|
| Prerequisite: | LPS 105A/205A - Philos 105A/205A or consent of instructor. |
| Requirements: | Several problem sets, a midterm and a final exam. |
| Texbook: | P. Maddy, Logic for Philosophers |