iiinova — where your digital self keeps evolving

Greg Restall

@consequently.hcommons.social.ap.brid.gy

207 followers 2 following 90 posts

Philosopher and logician, from Australia, now based at the University of St Andrews in Scotland. I like thinking about—and helping other people think […] [bridged from hcommons.social/@consequently on the fediverse by fed.brid.gy ]

Posts Replies Media

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

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

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

Reposted by Greg Restall

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

Which Australian capital city is closest to you

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

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.

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

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

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

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.

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

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.

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

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

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

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

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

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.

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

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.

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

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

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

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

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.

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

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. mastodon.social/@kjhealy/1155257672…

mastodon.social

Kieran Healy (@kjhealy@mastodon.social)

A little more about trustworthy data visualization and the work of the philosopher Katherine Hawley. https://kieranhealy.org/blog/archives/2025/11/10/trustworthy-data-visualization/

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

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

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

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

Original post on mathstodon.xyz

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

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.

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.

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

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

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

Logic, by Greg Restall

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

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

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

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

I think I have a use for a shirt like this… hci.social/@chrisamaphone/115219723…

chris martens (@chrisamaphone@hci.social)

Attached: 1 image

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

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

Original post on mathstodon.xyz

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

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

A man seeks an iced black coffee, while John seeks a unicorn. #EH9 #coffee #Dundee #montaguesemantics

A clear glass filled with cold black coffee, ice, and containing a green straw, to the right of an iPad, with two windows open, one a Vim session, editing a latex file, and the other, the pdf of the compiled output. A parse tree of the sentence “John seeks a unicorn” is visible in both views.

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

The anarchist type theorists are in evidence along Riverside Walk in Dundee. #typetheory #dundee

A rectangular black sticker, with yellow writing, saying “the only good system is a type system” with a centred lower case lambda in a circle.

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

Charles Travis, logical pluralist. This is an extract from his *Unshadowed Thought,* Harvard University Press, 2000.

It is a familiar idea that (to be) a good inference is (to be) truth preserving: where what S stated is inferred from what given other statements did, the inference is good if the truth of those others guarantees the truth of S—wherever they were true, S would be. One might think of the laws of truth as deciding when that is so. Since the notion 'guarantee,’ and, likewise, the notion 'wherever,’ are open to negotiation, perhaps we should say that this characterizes a family of notions of good inference (corresponding, perhaps, to a family of notions of entailment).

Reposted by Greg Restall

Greg Restall @consequently.hcommons.social.ap.brid.gy · 26/06/2025

The recordings from #TYPES2025 are beginning to appear on @mspstrath’s youtube channel. There is a lot of good stuff there already, and I plan to re-watch some talks I enjoyed in the days ahead. Here is the recording of my talk on some of the connections between type theory and issues in […]

hcommons.social

Original post on hcommons.social

Greg Restall @consequently.hcommons.social.ap.brid.gy · 26/06/2025

The recordings from #TYPES2025 are beginning to appear on @mspstrath’s youtube channel. There is a lot of good stuff there already, and I plan to re-watch some talks I enjoyed in the days ahead. Here is the recording of my talk on some of the connections between type theory and issues in […]

hcommons.social

Original post on hcommons.social

Reposted by Greg Restall

Greg Restall @consequently.hcommons.social.ap.brid.gy · 16/06/2025

Last week was all type theory, all the time. *This* week I get to change gears, and take part in the 50th Annual Conference of the Society for Exact Philosophy. I’m especially looking forward to Day 2, which is devoted to the work of our sorely-missed colleague, Aldo Antonelli, who passed away […]

hcommons.social

Original post on hcommons.social