iiinova — where your digital self keeps evolving

Greg Restall @consequently.hcommons.social.ap.brid.gy · 02/10/2026

My former PhD student, Viviane Fairbank (now a Junior Research Fellow at Oxford) wrote a neat paper “Against Inferential Pollution: A Critique of the Adoption Problem in Logic,” and it’s now been published in the Proceedings of the Aristotelian Society: doi.org/10.1093/arisoc/aoag031 […]

hcommons.social

Original post on hcommons.social

001 0

Reposted by Greg Restall

Greg Restall @consequently.hcommons.social.ap.brid.gy · 26/09/2026

I’m delighted that a paper I co-authored with my brilliant colleague, Franz Berto, on some connections between logic and the psychology of reasoning, has been accepted for publication in the Review of Philosophy and Psychology. We sketch some possible connections between System 1 and System 2 […]

hcommons.social

Original post on hcommons.social

076 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 26/09/2026

hcommons.social

Original post on hcommons.social

076 0

Reposted by Greg Restall

Terrible Maps :bot: @terriblemaps.zpravobot.news.ap.brid.gy · 18/09/2026

Which Australian capital city is closest to you

4433 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 02/09/2026

RE: mastodon.scot/@Aphilosopher/1172028… I’m looking forward to this event, coming up on Saturday week. If you're interested in philosophy, gender, and the trans experience—and you're in the vicinity of Dundee (and in Scotland, who isn't within a manageable train ride of […]

hcommons.social

Original post on hcommons.social

003 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 28/08/2026

It's not every day you get to be present for a world premiere of a piece by Steve Reich.

The dark partially filled interior of the Usher Hall in Edinburgh.

111 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 06/08/2026

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 […]

hcommons.social

Original post on hcommons.social

001 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 04/08/2026

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 […]

hcommons.social

Original post on hcommons.social

001 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 04/08/2026

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 […]

hcommons.social

Original post on hcommons.social

043 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 02/08/2026

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

The ESSLLI banner in front of the Civil Engineering Building of the Technical University in Prague.

051 0

Reposted by Greg Restall

Nathan Schneider @ntnsndr.social.coop.ap.brid.gy · 06/07/2026

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).

001 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 06/07/2026

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

A black-and-white image of a concrete brutalist building with the vertical spars of a crane in the foreground.

121 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 05/07/2026

This is followed by Bilateralism in Bochum 2026, for Thursday and Friday: sites.google.com/view/bilbo26/home Both look like they’ll be packed and productive meetings. (I hope I have the stamina required for five full days of logic.)

010 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 05/07/2026

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

121 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 18/06/2026

RE: fediscience.org/@pjacock/1167728720… 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 […]

hcommons.social

Original post on hcommons.social

011 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 11/05/2026

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 […]

hcommons.social

Original post on hcommons.social

022 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 09/05/2026

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 […]

hcommons.social

Original post on hcommons.social

001 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 05/05/2026

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. consequently.org/presentation/2026/… #logic #prooftheory

011 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 20/04/2026

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. consequently.org/class/2026/py4612 #logic #philosophy

A whiteboard, divided into two sides “language” and “‘world’”, with various notations distributed on each side, and a thicket of arrows and dotted lines linking those notations.

041 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 17/04/2026

Oh, look! In a few weeks time I’m going to be over in Edinburgh, giving a talk the LFCS. informatics.ed.ac.uk/lfcs/lfcs-semi… 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 […]

hcommons.social

Original post on hcommons.social

001 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 05/04/2026

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]

Christ in the Tomb, Mihály Munkácsy (1881)

The corpse of a bearded man, in his mid 30s, wearing a loincloth, with a scar in his lower chest, lying on a rock surface in a dimly lit tomb.

112 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 03/03/2026

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.) consequently.org/presentation/2026/… […]

hcommons.social

Original post on hcommons.social

041 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 09/02/2026

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 […]

hcommons.social

Original post on hcommons.social

021 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 22/12/2025

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) logika.flu.cas.cz/logica … […]

hcommons.social

Original post on hcommons.social

010 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 18/12/2025

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]

A poster advertising the Arché/Tennessee workshop on Metaphysical Building. It's a beige poster, with a strange gerrymandered object consisting of a squid, a grandfather clock, a dragonfly, and miscellaneous other pieces.

It contains the conference information:

16-17 January 2026 at 14:55 GMT / ONLINE ON TEAMS

SPEAKERS:
Shieva Kleinschmidt - University of Southern California
Paul Audi - University of Rochester
Karen Bennett - Rutgers University
Peter van Inwagen - University of Notre Dame
Nathan Wildman - Tilburg University

It also contains a link to the registration page: https://philevents.org/event/show/143534

021 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 18/11/2025

The slides for tonight’s talk are linked here, consequently.org/presentation/2025/… in case you’re interested in following along. #philosophy #logic

011 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 17/11/2025

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]

A red-and-white poster advertising a St Andrews Philosophy Society talk: Greg Restall “Why Logic Matters for Philosophy, and Philosophy Matters for Logic”.

A stylised human figure (in white) holding an umbrella, protects themselves from a torrent of logical symbols, falling from a heavy white cloud.

134 0

Reposted by Greg Restall

Greg Restall @consequently.hcommons.social.ap.brid.gy · 15/10/2025

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 […]

hcommons.social

Original post on hcommons.social

022 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 15/10/2025

hcommons.social

Original post on hcommons.social

022 0

Reposted by Greg Restall

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 14/10/2025

The official ads are now out for the #ANU #Logic Summer School, to be held in #Canberra , Australia from 1-12 December. 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 […]

fediscience.org

Original post on fediscience.org

000 0

Reposted by Greg Restall

Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 09/10/2025

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 […]

mathstodon.xyz

Original post on mathstodon.xyz

014 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 08/10/2025

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… […]

hcommons.social

Original post on hcommons.social

194 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 07/10/2025

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… consequently.org/presentation/2025/… #prooftheory #semantics #linguistics

Some pages of a handout for a talk on intensional semantics and inferentialism. A derivation tree for the classic sentence “John seeks a unicorn” in Daniel Gallin’s two-sorted type theory Ty2 is in view, along with an obscured picture of the linguist Barbara Partee.

032 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 01/10/2025

The “Logic Centre” of that sign is, alas, not that impressive *logically* speaking, but as far as logistics goes, it has a lot going for it. www.logicwodonga.com.au

logicwodonga.com.au

Logic Wodonga —

010 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 01/10/2025

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

A photo of two doorways, the one on the left (labelled “Seminar Room”) largely obscured, and the one on the right, labelled as the office of “Prof. Greg Restall.” Between them, a print of a photo, displaying a large roadsign saying “Logic Centre, This Exit”. Prof. Restall’s office door is ajar. On it are various A4 posters of book covers and flyers advertising talks and conferences.

111 0

Reposted by Greg Restall

Greg Restall @consequently.hcommons.social.ap.brid.gy · 29/09/2025

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 […]

hcommons.social

Original post on hcommons.social

001 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 29/09/2025

hcommons.social

Original post on hcommons.social

001 0

Reposted by Greg Restall

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 27/09/2025

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

A crowd of people in a big barn, with trestle tables covered in books

111 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 24/09/2025

Coming up this afternoon, I’m giving the talk “Inferentialism for Everyone” for the local Arché Metaphysics and Logic crew here in St Andrews. This talk attempts to distill material I’ve been thinking about for the last decade or so down to a concentrated but accessible form. I look forward to […]

hcommons.social

Original post on hcommons.social

020 0

Reposted by Greg Restall

Greg Restall @consequently.hcommons.social.ap.brid.gy · 22/09/2025

The new academic year has started, and it’s fun to be back in the classroom teaching intermediate logic. The crew this year seem to be quite switched on, and it’ll be fun teaching them proofs and models for propositional, modal and first-order predicate logic. (Apparently I haven’t lost my taste […]

hcommons.social

Original post on hcommons.social

011 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 22/09/2025

hcommons.social

Original post on hcommons.social

011 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 22/09/2025

The next item on my docket is preparing my talks for the 2025 Wendy Huang Lectures, which I’ll be giving in Taiwan next month. To prepare, I’m giving the presentations a test run with the home crowd, for the next three Wednesdays. consequently.org/presentation/2025/…

An A4 page, the first page of a multi-page handout for the first Wendy Huang Lecture, entitled “Inferentialism for Everyone”.

011 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 10/09/2025

It’s neat to see the special issue of the Australasian Journal of Logic, in honour of Ross Brady, is out. The whole collection is a lot of fun, and Shay Logan’s generous, opinionated introduction to the volume is a real treat. As ever, with the AJL, all 12 articles are open access. It’s such a […]

hcommons.social

Original post on hcommons.social

013 0

Reposted by Greg Restall

Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 03/09/2025

PhD position with Benno van den Berg on the semantics of Homotopy Type Theory (esp. effective Kan fibrations) at the ILLC in Amsterdam! www.illc.uva.nl/NewsandEvents/News/… Application deadline: 27 September […]

mathstodon.xyz

Original post on mathstodon.xyz

0110 0

Reposted by Greg Restall

Nathan Schneider @ntnsndr.social.coop.ap.brid.gy · 25/08/2025

Just posted, at last: A review of one of my favorite recent books, Benjamin Shestakovsky's "Behind the Startup"—the most rigorous and precise account I've seen of how the dominant startup model produces inequality: muse.jhu.edu/article/968586

022 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 19/07/2025

@MartinEscardo @julesh Yes, as someone with a mathematics background, an awareness of λs, and a passing acquaintance with Haskell, Lambek and Scott hit the spot for me in the early 1990s.

000 0