iiinova — where your digital self keeps evolving

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 1

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 5

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 2

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 4

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 2

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 2

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 4

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 3

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 1

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 1

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.

118 8

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

101 1

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

Aldo and I served on the editorial board of the Journal of Philosophical Logic, and then the Review of Symbolic Logic. I learned a great deal from him, and from my co-editors, and it will be good to remember him with friends, old and new.

Three men, seated on a bench, in front of a brick wall.

From left to right, Albert Visser, in a blue jacket over yellow shirt and trousers, Aldo Antonelli, in a grey shirt and jeans, holding a camera, and to the right, Greg Restall, in a paisley shirt and dark jeans.

100 1

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

I seem to be back in Glasgow, with its refreshing attitude to authority.

Wellington's statue, adorned with a traffic cone (actually three) outside the Gallery of Modern Art.

32626 26

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

Coming up today, the first outing of my talk on Tim Williamson’s philosophical methodology and what we can learn from it. (Featuring order types, natural deduction proofs, epistemic logic, sudoku puzzles, Nuel Belnap on pre-semantics, and more. What’s not to […] [Original post on hcommons.social]

A pile of stapled handouts, with the title “Must Do “Must Do Better” Better”

013 3

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

I'm running the risk of distracting my audience by including a sudoku puzzle in a handout for an upcoming talk, to make a point about epistemic logic and the semantics of propositional attitude ascriptions.

A sudoku puzzle with a blank square highlighted.

012 2

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

Finding myself on this selection of accepted papers for TYPES 2025 gives me the “Big Bird turning up to a meeting to which he isn’t qualified” vibe, but regardless, I’m really looking forward to hanging out in Glasgow next month and learning lots of type […] [Original post on hcommons.social]

Big Bird (a Sesame Street character that is a large, yellow bird) sitting at one end of a conference table, drawing with crayons on a pad of paper, surrounded by a group of young human (not bird) comedy writers, all with laptops open in front of them.

143 4

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

I’m in Amsterdam, about to give a talk about proof theory for modal predicate logic at the ILLC, the home base of the modal industrial complex. I have no idea how this is going to go over, but it should be a fun ride, however it turns out […] [Original post on hcommons.social]

A view across a broad canal in central Amsterdam, with canal boats moored to the right, and a series of terrace buildings on view behind them.

A smaller Amsterdam canal viewed from a brick bridge overpass.

153 5

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

Last night’s performance, by the Dunedin Consort—of a mixed programme of choral music from the renaissance to the present day, on Lenten themes—was very special indeed. I knew some of the repertoire (I was familiar with the Lassus, and had heard the Poulenc […] [Original post on hcommons.social]

A view of a church interior, toward an ornate pulpit, in front of a large stained glass window. Dundee Parish Church of St Mary’s.

002 2

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

It’s good to be back home in Scotland, especially now that the sun is still decently above the horizon at 4:30pm.

The sun peeking through some bare tree branches, above a grassy park.

011 1

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

I'm glad to have space to get to writing, and the first writing project of my sabbatical has reached first-draft stage. If you're interested in modal logic, proof theory, and the metaphysics of contingent existence, have I got the paper for you! […] [Original post on hcommons.social]

Structural rules, term rules and defining rules in a hypersequent calculus for a first-order modal logic.

121 2

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

It’s a cloudy and cold Tuesday, and I’m inside writing about refinement. At least I *think* I understand what I’m doing a bit better than Mark S and his team of macrodata refiners do. (That’s an inappropriate #Severance, #prooftheory #ModalLogic and […] [Original post on hcommons.social]

A screen containing a series of clauses in the proof theory of quantified modal logic, above a mechanical keyboard with dark blue and light blue keycaps.

000 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 11/12/2024

This morning, one of my hardworking intermediate logic students (prepping for her exam next week), came to me with a query about how to prove the constructively invalid quantifier negation inference (from ∀x(A(x)∨B(x)) to ∀xA(x)∨∃xB(x)) in natural […] [Original post on hcommons.social]

A natural deduction proof from ∀x(A(x)∨B(x)) to ∀xA(x)∨∃xB(x) in Gentzen/Prawitz natural deduction, with Double Negation Elimination.

A natural deduction proof from ∀x(A(x)∨B(x)) to ∀xA(x)∨∃xB(x) in Gentzen/Prawitz natural deduction with alternatives.

000 0

Greg Restall @consequently.hcommons.social.ap.brid.gy · 25/11/2024

Graham Priest is in the house, playing some of the greatest hits, alongside some of his newest material. #philosophy #paradox #metaphysics #logic

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.

010 1

Greg Restall @consequently.hcommons.social.ap.brid.gy · 16/11/2024

Thanks to Norbert and Edi for organising a focused, tight, but relaxed and friendly one-day workshop on Free Logic. I enjoyed each talk and the many discussions between talks and afterward. That was such a fun day, and I’ve got a lot to think about […] [Original post on hcommons.social]

A projected handwritten PDF slide, entitled “Defining Quantifiers”

001 1