課程資訊

Intermediate Logic

111-2

Phl4089

104E12900

3.0

This class will provide cover the foundational results of modern formal logic. We will begin by studying proofs for propositional logic. Then we will learn about models for propositional logic, which raises the questions about how these two things, proofs and models, relate. We prove that they align for classical logic in the form of the soundness and completeness theorems. From there, we will have a short introduction to some important modal logics, logics which formalize the concepts of necessity and possibility. We will learn about their models and proofs, as well as soundness and completeness results. Next, we will study models and proofs for quantifiers, connectives that allow us to make general claims about objects. This will culminate in completeness result for first-order logic. The remainder of the course will be spent building to Goedel’s incompleteness theorems, showing that strong theories of formal arithmetic are incomplete. There are certain arithmetic claims that are undecidable using those theories.

The goals of the course are to (1) deepen students’ understanding of proofs and models for formal logic, (2) enable students to understand the soundness and completeness theorems of classical logic, and (3) introduce students to metatheoretic results about logic and logical theories such as arithmetic.

Students should have taken a basic logic class or have some experience with informal proofs.

Office Hours

Logical Methods, by Restall and Standefer, MIT Press 2023
Introduction to Goedel’s Theorems, by Smith 2nd ed. Cambridge, 2013