Instructor: Gillian Russell. This course meets MW 10:10 – 11:25 a.m. in CW 213.
This is a course in the model theory, proof theory and metatheory of first-order classical logic, aimed at students who have taken at least one course in formal logic in the past. In the first part of the class we will study sentential logic and practice some skills that we want to apply later, especially proof by induction and the production of informal proofs. Then in the second part we will work our way through the First-Order Logic sections of the Open Logic Project (OLP) textbook. Among the topics we will cover are sequent calculus proofs, completeness, compactness, and the Löwenheim-Skolem theorem.