Hello! I’m Greg Restall, and this is my personal website. I am a Professor of Philosophy at the University of St Andrews, and I like thinking about – and helping other people think about – logic and philosophy and the many different ways they can inform each other. I am known for work on substructural logics, logical pluralism, and, more recently, connections between proof theory and philosophy. I use this site to post news items and the occasional thought, and to serve as a repository of my writing, presentations and teaching.


News

In a few days, I’m heading off to North America, for a brief trip to give a few talks, at Chapman University in California, Calgary University in Alberta, and finally, a brief stop at CUNY in New York. I’m looking forward to meeting new friends and catching up with old ones, as well as the chance to talk with smart people about my research.

Meanwhile, I’ve managed to do a bit of reading during February, as I’ve been preparing for this trip.

Read More…


Books Read: January 2025

31 January 2025

This month’s reading was mostly nonfiction, featuring Kevin Hart’s Contemplation (The Movements of the Soul), Haruki Murakami’s essay collection Novelist as a Vocation, the harrowing Chasing Shadows: The Life and Death of Peter Roebuck by Tim Lane and Elliot Cartledge, Drew Neil’s Practical Vim (I’m trying to brush up my text editing skills), and finally, Timothy Larsen’s George MacDonald in the Age of Miracles.

I rounded off the month enjoying my next two instalments of Dan Moren’s Galactic Cold War series, the short story Showdown and the rollicking novel The Aleph Extraction. That was a fun read on the flight to Australia.


Books Read: December 2024

1 January 2025

Happy New Year, everyone!

As 2024 draws to a close, I’ve finished another month of reading, so let’s close out my log of books read over 2024 with a short description of December’s reading.

First up, I enjoyed reading the second entry in Dan Moren’s Galactic Cold War series: The Bayern Agenda. As with the previous entry, this was a fun spy thriller, with a cold war science fictional setting. Dan Moren has a deft hand as an author, weaving a plot which balances ratcheting tension and building suspense, while treating the reader—and his characters—with respect. I will enjoy reading the remaining entries in the series in the coming months.

My second novel was very different: I re-read George MacDonald’s Lilith, a fantasy, first published in 1895. MacDonald was a Scottish author (and Congregational minister) who mentored Lewis Carroll (Charles Dodgson), and whose work inspired and influenced other religiously inflected writers of fantasy, such as J. R. R. Tolkien, Madeleine L’Engle and C. S. Lewis. Lilith is an odd book: it’s the story of Mr Vane, a man whose life centres on his library (and, we later discover, his love of horses), and who has few significant relationships with other people. His library seems to be haunted by its former librarian, and soon, Mr Vane is transported to another world, many adventures are had, mistakes are made and lessons are learned. (I’m being very general and schematic here. I’d rather leave it for you to read to learn the details for yourself.) What most interested me most in this re-reading was MacDonald’s view of conversion and personal transformation. MacDonald was a universalist (one who believes that God will save everyone in the end), and in Lilith, MacDonald’s universalism is on display, telling a tale in which the resolution is not one where the antagonists are destroyed, but rather, move towards reconciliation.

Read More…


Another semester done

20 December 2024

I’ve completed the moderation of the exam for Intermediate Logic, and with that, the final administrative responsibilities for this semester are complete. Now it’s time to take a short break over Christmas and the New Year, and then to start a semester of research leave. I’m looking forward to time set aside to think, to write, and to talk to colleagues, near and far.

I have some trips lined up, to North America, and to continental Europe, in the months ahead. I’ll post notice of these here, as the details are ironed down. In the mean time, I’m looking forward to having that time to think and to write.

A printed
notice -- stating that the office holder is away on research leave- -- on a 
wooden door
An in-place away notice

Congratulations, John!

29 November 2024

My last PhD student at the University of Melbourne has completed his project, and is now Dr John Cleary. Congratulations, John!

It was so much fun to help supervise your project. I’ve learned a lot about Albert Lautman, and his account of the development of mathematics and the dialectic of ideas, problems and mathematical progress.

Read More…


This week, Aaron Cotnoir’s Instruments of Unity project and I are hosting a short visit from our friend (and my PhD supervisor), Professor Graham Priest. It’s always enjoyable to spend time with him, and tomorrow, we’re going to teach a the second-last lecture class for my Intermediate Logic cohort together, on the liar paradox and non-classical logic.

Today, he gave a talk on nothing and its paradoxical properties.

An older
bearded male white man (Prof. Graham Priest) standing on front of a digital
projection, upon which a diagram (illustrating the inclosure schema) is
projected.
Graham Priest and the Inclosure Schema

Read More…


I mentioned yesterday that this month I’ve enjoyed rereading Kim Stanley Robinson’s Mars Trilogy. This time around, after completing my re-read, I’ve enjoyed listening to Marooned on Mars, a podcast devoted to Kim Stanley Robinson’s fiction. The initial conceit of the podcast was that the hosts, Matt Hauske and Hilary Strang (two humanities academics, based in Chicago) would take a section from the Mars Trilogy, one episode at a time, and discuss it, drawing out themes, pointing out connections, and generally, enjoying talking about the work.

Read More…

Recent Writing

Proofs with Star and Perp, p. 343-372 in Sedlár, I., Standefer, S., Tedder, A. (eds) New Directions in Relevant Logic. Trends in Logic, vol 63. Springer. Abstract PDF
Modal Logic and Contingent Existence (Genreality and Existence 2), article in progress for Australasian Philosophical Review Abstract PDF
What can we Mean? On Practices, Norms and Pluralisms (to appear in the Proceedings of the Aristotelian Society) Abstract PDF
Generics: Inference & Accommodation (to appear in Mind, Language, and Social Hierarchy: Constructing a Shared Social World, Sally Haslanger, Karen Jones, François Schroeter, Laura Schroeter, editors, Oxford University Press) Abstract PDF
“Questions, Justification Requests, Inference, and Definition” Synthese 204:139 (2024) Abstract PDF
Substructural Logics,” an entry in the Stanford Encyclopedia of Philosophy, 2024. (Substantial revision of the 2000 entry.) Abstract
Finitude, Eternity, Love, the Good, and Martin Hägglund’s This Life Abstract PDF

Recent Presentations

Modal Logic and Contingent Existence, Logic and Metaphysics Workshop, CUNY; 17 March 2025.
Modal Logic and Contingent Existence, The University of Calgary, Department of Philosophy; 14 March 2025.
Mathematical Practice, Proof Assistants and Meaning, The Calgary Mathematics and Philosophy Lectures; 13 March 2025.
Modal Logic and Contingent Existence, OCIE Seminar in History and Philosophy of Mathematics; 7 March 2025.
Defining Rules for Quantifiers and Identity, Programming Principles, Logic, and Verification Group, Computer Science Department, University College London; 20 February 2025.
What Can We Mean?, Winter Arché Research Day 2024; 13 December 2024.
Defining Quantifiers, Topics in Free Logic, a workshop at the Munich Center for Mathematical Philosophy; 16 November 2024.

Recent Classes

PY2010: Intermediate Logic, the University of St Andrews; September 2024.
Proof Theory, Nordic Logic Summer School 2024; June 2024.
PY4612: Advanced Logic, the University of St Andrews; January 2024.
PY2010: Intermediate Logic, the University of St Andrews; September 2023.
PY4601: Paradoxes, the University of St Andrews; January 2023.
PY1012: Reasoning, the University of St Andrews; January 2023.
PY3100: Reading Philosophy 1—Texts in Language, Logic, Mind, Epistemology, Metaphysics and Science, the University of St Andrews; September 2022.

about

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.

subscribe

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

contact

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