Offered through the University of Melbourne now on

PHIL30043: The Power and Limits of Logic (or, as I like to call it, Kurt Gödel’s Greatest Hits) is a University of Melbourne undergraduate subject. It covers the metatheory of classical first order predicate logic, beginning at the Soundness and Completeness Theorems, Compactness, Cantor’s Theorem, the Downward Löwenheim–Skolem Theorem, Recursive Functions, Register Machines, Representability, the Indefinability of Truth and the Undecidability of Predicate Logic, and ending up at Gödel’s Incompleteness Theorems and Löb’s Theorem.

Kurt Godel, seated
Kurt Gödel, seated

The subject is taught to University of Melbourne undergraduate students (for Arts students as a part of the Philosophy major, for non-Arts students, as a breadth subject). Details for enrolment are here.

← PHIL20030: Meaning, Possibility and Paradox | Class Archive | PHIL40013: Uncertainty, Vagueness and Disagreement →


I’m Greg Restall, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.



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.