Mathematical Logic

Catalog description

This course provides a rigorous introduction to the metatheory of classical first-order predicate logic. Topics covered include the syntax, formal semantics, and proof theory of first-order logic, leading up to the completeness theorem and its consequences (the compactness and Lowenheim-Skolem theorems). There will be some discussion of philosophical issues, but the focus of the course will be on the technical material. This course provides a more rigorous and mathematical treatment of material covered in PHIL 0640 . No previous familiarity with logic is required, but it may be taken after 0640.