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

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…


This teaching semester has been keeping me so busy that I have not kept up with my monthly reading logs. I’ve had enough time to read, but I haven’t found the time to keep you, my reader, up with what I’ve been reading. I’ll attempt to remedy this now, by giving a very brisk run-down of my reading over the last three months.

This last three months has been dominated by fiction reading, so let me start with the little pile of non-fiction that I enjoyed. First, for the philosophy, I enjoyed Todd May’s Friendship in an age of Economics, a nice little work in moral/social psychology on the value of friendship and its usefulness as giving us insight into value that does not register in our econometric age. For theology, I enjoyed one longer book, Women and the Gender of God, by Amy Peeler, and two very slim books, Why Did Jesus Have to Die?, by Jane Williams and Passions of the Soul, by Jane’s husband, Rowan Williams. The little Buddhist text on mindul living, The Practice of Not Thinking, by Ryunosuke Koike was a fun read, too. The final non-fiction book from the last three months was very different to all of the others: Daniel P. Friedman and David Thrane Christiansen’s fun little dialogue The Little Typer was a sweet little introduction to dependent type theory, which I’ve been thinking about lately, and I plan to think about this some more in the coming year.

Read More…


Books Read: August 2024

11 September 2024

Here’s August’s book haul: This month I enjoyed three novels. The most experimental of which was Olga Ravn’s The Employees: A workplace novel of the 22nd Century, which has the form of a series of witness statements from the crew of a ship, now far away from earth. The workers, both human and artificial, have been tending a number of exotic objects from the planet New Discovery, and they find their lives changed in subtle and not-so subtle ways. The novel touches on workplace oppression, freedom, and longing for what is absent.

The other two novels were Lords of Uncreation, the final entry in a series by Adrian Tchaikovsky, and The Mercy of Gods, the first entry in a new saga by James S. A. Corey Both Tchaikovsky and Corey are adept at weaving together a compelling tale at interplanetary scale. I particularly enjoyed The Mercy of Gods, which starts off with the petty academic politics of research teams competing for funding, before all hell literally breaks loose with an invasion from an implacable colonising force. We get to see our research collective deal with the PTSD resulting from witnessing the destruction of their entire way of life and being swept away to another world to do the coloniser’s bidding.

Read More…


Books Read: July 2024

22 August 2024

July and August have been really busy, not with teaching (it’s the summer teaching break), but with research and research supervision, a little bit of holiday travel, and various life things taking up my time and attention. I have had time to read, but not so much time to write paragraphs about each book. Instead of skipping the books-of-the-month post entirely, here’s a stripped back version with a link and a sentence for each book.

July was Kierkegaard month. I enjoyed reading through: Fear and Trembling, which I’d known of for many years, but never read through. He’s a striking prose stylist, as well as a thoughtful reader of the biblical Abraham and Isaac story. Alongside, I read Jeffrey Hanson’s Kierkegaard and the Life of Faith, which is not only a commentary and analysis of Fear and Trembling, but an extensive treatment of Kierkegaard’s teleological suspension of the ethical, and a thoughtful and sympathetic treatment of Kierkegaard’s account of the life of faith.

Read More…

Recent Writing

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
Introduction to Classical Logic Greg Restall, translated by Xu Min. Huazhong University of Science & Technology Press, 2024. Abstract
Reflections on Brady's Logic of Meaning Containment (to appear in The Australasian Journal of Logic) Abstract PDF
Proofs with Star and Perp (to appear in New Directions in Relevant Logics) Abstract PDF

Recent Presentations

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.
What Can We Mean? — on practices, norms and pluralism, The Aristotelian Society; 28 October 2024.
What do calculators tell us about meaning?, St Andrews PhilSoc; 7 October 2024.
Models for Identity in Three-Valued Logics, British Logic Colloquium 2024; 5 September 2024.
What Do We Mean? Semantics, Practices and Pluralism, Arché Metaphysics and Logic Seminar; 3 July 2024.
What ‘No’ Does, Arché Day 2024; 28 June 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– Greg Restall.