Classes in Semester One

The Power and Limits of Logic
The Power and Limits of Logic

Teaching started for first semester, with the launch of Logic: Language and Information 1 on Coursera. That’s been a lot of fun already, with over 17,000 enrolled. There’s something very exciting about being involved with a large number of students all around the world, choosing to work hard to learn logic for the first time.

I’m most excited, though, by the next run-through of Kurt Gödel’s Greatest Hits, starting next week. This time, I’m teaching the class entirely in a flipped mode, with students working through the lecture videos before class each week, and working with me on a mix of simpler peer instruction questions to establish the basic understanding of core concepts, and going on to more complex material and independent engagement with the material. We meet weekly in a two hour seminar (from 9 to 11am each Monday—what a way to start the week!). With a group of between 25 and 30 students, this will be intense!

There’s a lot of ground to cover, from soundness and completeness Theorems, through compactness, cardinality Løwenheim–Skolem theorems, computability, to Gödel’s Theorems and Löb’s Theorem. It’ll be quite a ride. This material isn’t available through Coursera, but I have made the videos available for your use if you wish. (I only ask that you acknowledge that you got them from here if you make them publicly available in any medium.)


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, and the Director of the Arché Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology I like thinking about – and helping other people think about – logic and philosophy and the many different ways they can inform each other.


To receive updates from this site, subscribe to the RSS feed in your feed reader. Alternatively, follow me at, where most updates are posted.


This site is powered by Netlify, GitHub, Hugo, Bootstrap, and coffee.   ¶   © 1992– Greg Restall.