| 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.
COURSE PREREQUISITE: Soc Sci 105A/205A - Philos 105A/205A or consent of instructor. COURSE REQUIREMENTS: Several problem sets, a midterm and a final exam.
TEXTBOOK: P. Maddy, Logic for Philosophers
|