| Course: | LPS/Phil 105B / 205B |
| Name: | Metalogic |
| Description: | This is an introduction to the meta-theory of first-order
logic. The course covers the syntax and semantics of propositional and
first-order logic, and the soundness and completeness results for such
logics. Time permitting, other topics, e.g., modal logic or topics in
model theory, are also discussed. 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 |