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.


Books Read: June 2024

10 July 2024

June was also an enjoyable month for reading. This month’s reading was dominated by Diarmaid MacCulloch’s 864 page doorstopper Reformation: Europe’s House Divided. Having been educated in Australia, the view of history I was taught was oriented around the colonisation of the continent by the British and its aftermath. As far as the religious and social history of Europe was concerned, and the division of the Western Church that predated that colonisation, I knew some of the details, but I had no idea of how the centuries-long convulsion in church and state that was the reformation (and the counter-reformation) spread across Europe, over the 16th and 17th Centuries. MacCulloch’s painstakingly researched and very readable history helped me understand how the historical contingencies and the different twists and turns of these times have led to the distinctively modern world that took shape in the reformation’s wake.

Read More…

Books Read: May 2024

25 June 2024

May was a great reading month, but I forgot to upload my notes until June was nearly done. This month I read nine books, but one was an unpublished draft of a novel that a friend is writing, so I won’t say more about that, until there is more news to share. The other fiction reads this month could not be more different from each other. Beyond the Light Horizon concludes Ken MacLeod’s most recent politically charged Scotland-based near-future science fiction trilogy. The ending was a bit rushed for my taste, but it was an enjoyable ride along the way.

Alexis Wright’s Praiseworthy could not be more different. A gargantuan (736 page) novel, it reads like a stream of consciousness. It is set in the north of Australia, with a cast of indigenous characters making their way in a surreal world falling apart around them. I was enchanted by the rhythm and the texture and the distinctive voice of the words, sentences and paragraphs, while I struggled to hold the whole thing in view. It’s not an easy read, but it is up there with the most memorable novels I’ve read in the last few years.

Read More…

Earlier this month I got a lovely package in the mail. A Chinese translation of my intro logic text. My colleague and friend Min Xu completed his translation of my text, and it’s now available.

A page spread of the beginning of Chapter 5 of a Chinese translation of a logic text
The beginning of Chapter 5.

Another month, and another pile of books I’ve managed to read. This month’s reading started on the Isle of Iona, where we had a short Easter break. On the last day on the island, and then on the ferry journeys back to the “mainland”, I finished The Life of St Columba, who served as the Abbot of Iona and, as legend has it, brought Christianity to Scotland, from Ireland, dying in 597.

Read More…

I’ve just emerged from two intense days of proof theory. Three of my graduate students, Sophie Nagler, Viviane Fairbank and Francisca Silva, organised a two-day workshop on proof theory and its connections to philosophy and other fields.

A group of 22 people, standing in front of a closed white arched door in a large stone building
Some of the workshop participants at the end of a busy day of proof theory.

Read More…

Books Read: March 2024

7 April 2024

Lately, I’ve been keeping track of my book reading, and to help focus my reflection (and as an aid to my own memory), I have taken to writing a few lines for each book I complete. March was a particularly good book-reading month, and since I’ve not posted anything on this website for more than year, I thought I’d share last month’s reading notes.

First, over March I read a few books that are broadly philosophical:

Read More…

A few months ago, Anna Day, Eloise Hickey, Mark Rothery, and James Cafferky from the Undergraduate Philosophy Journal of Australasia gave me an opportunity to ramble on about my early days as a mathematics and philosophy student in the 1980s and 1990s, my current research interests, and what I’m thinking about now. They asked thoughtful questions and managed to edit the interview into something coherent.

Check it out, if only for the photos of me in my teens and twenties, then stay for the philosophy.

Recent Writing

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
Greg Restall and Shawn Standefer, “Collection Frames for Distributive Substructural Logics,” Review of Symbolic Logic, (2023) 16:4, 1120-1157. Abstract PDF
The Philosophical Significance of the Paradoxes (to appear in the Oxford Handbook of Philosophical Logic) Abstract PDF
Looking at Logic(s), Chapter 4 in What are They Thinking? Conversations with Australian Philosophers, edited by Daniel Nellor, Australian Scholarly Publishing, 2023. Abstract PDF
Review of Jc Beall, The Contradictory Christ, Religious Studies, 59, (2023), 556–559. Abstract PDF

Recent Presentations

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.
Natural Deduction Proof for Substructural, Constructive and Classical Logics, Leeds Logic Seminar; 1 May 2024.
λμ: Relating Constructive, Classical and Substructural Logics, LANCOG Group, Center of Philosophy, University of Lisbon; 16 April 2024.
λμ: Relating Constructive and Classical Logics, Arché Workshop: Proofs, Rules and Meanings; 11 April 2024.
Finitude, Eternity, Love, the Good and Martin Hagglünd’s ‘This Life’, The Logos Institute for Analytical and Exegetical Theology, University of St Andrews; 3 November 2023.
The Semantics and Psychology of Negation: The Australian Plan, Negation as Failure, and Card Selection Tasks, University of Stirling Philosophy Seminar; 19 October 2023.

Recent Classes

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.
PY4638: Philosophy of Religion, the University of St Andrews; September 2022.


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  @consequently@hcommons.social, where most updates are posted.


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