This afternoon I get to attempt to explain Parigot’s λμ calculus, and Curien and Herbelin’s symmetric λμμ˜ calculus to a mixed crowd of philosophers, mathematicians, linguists and computer scientists. Is this madness? Only time will tell. The discussion and feedback so far on our bilateralism […]

This post by Hannah Forsyth, on Crooked Timber, is a helpful articulation of some of the thoughts I have been having—with my St Andrews colleagues—as we reconsider the point of teaching and research, in the present context. As a fellow survivor of the ravages of managerialism in Australian […]

I noticed that in the last day or so I’d got increased traffic to my rarely-visited personal site. Quite a few folks were reaching the home page, and a surprising number were landing on an old post of mine from 2004 about Haskell. Why on earth did _that_ happen? Well, on August 2, John […]

Hello, Prague. (If you're here at ESSLLI this week, please do say hi.)

Is the glut of publications created by the publish-or-perish academic job market also a sort of slop? Markets were the original AIs, remember, and they are already destroying the world (as well as doing some neat tricks).

Ah, Bochum—you’re just as unremittingly brutalist as ever.

Today I head to Bochum for two philosophical logic workshops. First up, from Monday to Wednesday, we have Directions in Relevant Logic 3: https://sites.google.com/view/drl3/home

RE: https://fediscience.org/@pjacock/116772872021146132 This is desperately sad news from #DundeeUni, and it’s simply awful for the languages, mathematics and philosophy students and staff at Dundee. The university sector is under resourced and in bad shape across Scotland and the rest of the […]

My *next* talk in this spring/summer of research combines some longstanding interests of mine (Graham Priest’s Logic of Paradox) and more recent interests (natural deduction and the sequent calculus). I bet you didn’t think that you could creatively apply Gentzen’s thoroughly standard rules of […]

It’s neat to see that an old (fiddly, complicated) decidability argument I wrote up in the last century is getting some attention. Here, Raj Goré and Anthony Peigné formalise (and generalise) my decidability argument for display formulations of some substructural logics. This is interesting work […]

I’m looking forward to spending time today with @ohad, @modaltype and other folks at the LFCS at Edinburgh, and getting to talk about some weird substructural modal logic. https://consequently.org/presentation/2026/tlmh-edi/ #logic #prooftheory

We’re at that time of the semester in Advanced Logic, where we’re checking our understanding of the key concepts we’ll rely on in our final ascent to the heights of the incompleteness theorems. https://consequently.org/class/2026/py4612/ #logic #philosophy

Oh, look! In a few weeks time I’m going to be over in Edinburgh, giving a talk the LFCS. https://informatics.ed.ac.uk/lfcs/lfcs-seminar-tuesday-5th-may-greg-restall If you’re in town on May 5 and like crazy proof theory, this could be fun. I’ll be talking about what happens when you take a […]

This Easter season, my church has held an art exhibition on the theme of betrayal, and a short set of reflective services on Maundy Thursday, Good Friday and Holy Saturday. I was invited to give a short reflection at the Saturday service, and since I have a […] [Original post on hcommons.social]

I’m glad to be back in Glasgow today, this time to give a presentation at the Philosophy Department Senior Seminar. (Seeing the early signs of spring on the train journey from Dundee to Glasgow is an added bonus.) https://consequently.org/presentation/2026/must-do-mdb-better-glasgow/ […]

This Thursday evening, I will attempt (with some eminent colleagues) to settle longstanding and important questions on the status of mathematics, in a somewhat informative and entertaining fashion, and in the form of a traditional debate […]

As the year 2025 winds down, my calendar for 2026 is beginning to take shape. I’m looking forward to being in Prague twice over this coming Spring and Summer. In May, I’ll be at Logica 2026 (the *best* philosophical logic conference held in a Czech monestary) https://logika.flu.cas.cz/logica … […]

January is usually the quiet season at Arché, but next month we are co-hosting this fun online workshop on Metaphysical Building, with the University of Tennessee (Southern), on January 16-17. More information about the workshop is here […] [Original post on hcommons.social]

Tomorrow evening, I get to talk to the Philosophy Society students about what I do (as a philosopher/logician) and why I do it. I’ll be interested to discover what the students make of it and where the conversation goes. I love the poster they made for the […] [Original post on hcommons.social]

Katherine Hawley is indeed sorely missed here in Philosophy and St Andrews, and it’s good to see her clear and wise reflections on trust and trustworthiness gain a fresh audience. https://mastodon.social/@kjhealy/115525767271021313

Next week I’m off to Taipei to give some lectures, and attend the 6th Taiwan Philosophical Logic Colloquium, and a satellite one-day logic workshop. That’ll be five straight days of serious logic, catching up with old friends and making new ones. If you’re in that part of the world and you’re […]

Next week I’m off to Taipei to give some lectures, and attend the 6th Taiwan Philosophical Logic Colloquium, and a satellite one-day logic workshop. That’ll be five straight days of serious logic, catching up with old friends and making new ones. If you’re in that part of the world and you’re […]

The official ads are now out for the #ANU #Logic Summer School, to be held in #Canberra , Australia from 1-12 December. https://comp.anu.edu.au/lss/ Paraphrasing a bit to fit in a toot: OVERVIEW The ANU Logic Summer School is an annual event that offers a two week long programme of lectures […]

Following the Heyting Day symposium held in honour of Jaap van Oosten, Benno van den Berg and I wrote a brief popular article on Jaap's life, his scientific work (categorical realizability) and his other contributions to academic life. Jaap has done a great deal for mathematical logic in the […]

Pablo Rivas-Robledo, a PhD student in Amsterdam, interviewed me for his video podcast, Ping Pong Philosophy. The first series has launched today, and my interview is the first up. For a quick 12 minute back and forth about philosophy, logic, and academia, check it out here… […]

Tomorrow, I get to give the last of my three talks on inferentialism. It’s time to buckle up your λs, and join in the search for some unicorns… https://consequently.org/presentation/2025/whl-a/ #prooftheory #semantics #linguistics

I’m doing my part to help those wandering the hallways in Edgecliffe to know where to find the relevant exit…

Alongside coordinating and lecturing in 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 international student body at St […]

Alongside coordinating and lecturing in 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 international student body at St […]

#Canberra #LifelineBookFair , our twice yearly war on the capacity of our bookshelves. Featuring @consequently