Offered through the University of St Andrews now on

py4612: Advanced Logic applies the tools of formal logic to make logic itself the object of study. We will explore the power and limits of logical tools and techniques. The main goals of the module will be to come to grips with some standard ‘metatheoretical’ results about logic: (1) the Soundness and Completeness Theorems, which together show that proofs and models can be used analyse the same consequence relation in two very different ways. (2) The Compactness Theorem and the Löwenheim–Skolem Theorems, which explore some of the limits of first-order classical predicate logic for classifying infinite structures. And most importantly (3) we will work through Gödel’s celebrated Incompleteness Theorems and come to grips with what they mean. Along the way, there will be some preparatory discussion of elementary set theory, proof theory, model theory, and recursion theory.

Kurt Godel, seated
Kurt Gödel, seated

← PHIL30043: The Power and Limits of Logic | Class Archive | PY3100: Reading Philosophy 1—Texts in Language, Logic, Mind, Epistemology, Metaphysics and Science →


I’m Greg Restall, and this is my personal website. ¶ I am the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews.



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.