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

Alongside coordinating and lecturing in PY2010: Intermediate Logic this semester, I have the fun task of teaching one of the tutorial groups, together with our enthusiastic and capable graduate student tutors. My Tuesday morning cohort is a microcosm of the diverse student body at St Andrews.

Of the 13 students, we have two each from England, China, and the USA, and we have one each from Botswana, Denmark, France, Greece, Hong Kong, Scotland and Spain. That’s a diverse bunch.

In addition, six of the 13 are Philosophy majors, six are Mathematics majors, five major in International Relations, and we have one each from French, Computer Science and Psychology. (I haven’t miscounted: some of our students are completing double majors.)

Finally, this cohort consists of eight women and five men. Given their submissions for our first tutorial, starting tomorrow—and given the engagement and enthusiasm that the whole group are showing in lectures—I’m looking forward to spending time with them.


Back in Edgecliffe

22 September 2025

I’ve returned from a productive semester of research leave, and I’m enjoying being back in the classroom teaching Intermediate Logic.

Now that my big book has a complete first draft, my writing energies are focused elsewhere. I’m gearing up to give the 2025 Wendy Huang Lectures in Taiwan next month, so from this coming Wednesday, I’ll be giving the material a test run with the home crowd.

An A4 printed handout, entitled 'inferentialism for everyone'
The handout for the first Wendy Huang Lecture

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…

Recent Writing

“Reflections on Brady's Logic of Meaning Containment” The Australasian Journal of Logic 22:5 (2025) Abstract PDF
Proof, Rules and Meaning: book manuscript in progress. Abstract
What can we Mean? On Practices, Norms and Pluralisms, Proceedings of the Aristotelian Society (125):1, April 2025, 23–43 Abstract PDF
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
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

Recent Presentations

2025 Wendy Huang Lectures, The Taiwan Association for Logic, Methodology and Philosophy of Science; 21 October 2025. COMING SOON
Inferentialism: Logic and Meaning, Metaphysics and Logic Group, Arché, University of St Andrews; 24 September 2025.
Must Do “Must Do Better” Better, Society for Exact Philosophy, 2025 Conference; 18 June 2025.
Type Theory and Themes in Philosophical Logic, TYPES 2025; 10 June 2025.
Must Do “Must Do Better” Better, St Andrews Philosophy Department Reflectorium; 5 June 2025.
Modal Logic and Contingent Existence, Joint DIP-LIRa Seminar, ILLC, University of Amsterdam; 10 April 2025.
Modal Logic and Contingent Existence, Knowledge in Crisis Research Cluster, Department of Philosophy, University of Vienna; 8 April 2025.

Recent Classes

PY2010: Intermediate Logic, the University of St Andrews; September 2025. NOW ON
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.

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.