Symposium · I

The First Symposium

The inaugural meeting of the series, in London — eight talks across two days, and a dinner at Casa Tua.

28 – 29 April 2022

Thursday 28th April

09:00 – 11:15

Arrival

11:15 – 12:15

Why I Care about Proof-theoretic Semantics

David J. Pym

12:15 – 13:00

Inferentialism: Mixing to Separate

Elaine Pimentel

13:00 – 14:00

Categorical View of Base-extension Semantics for IL

Eike Ritter

14:00 – 15:00

Lunch

15:00 – 16:00

Topological Analysis of Disjunction in Proof-theoretic Semantics

Edmund Robinson

16:00 – 17:00

Proof-theoretic Semantics and Tactical Proof

Alexander V. Gheorghiu

Friday 29th April

09:00 – 11:15

Arrival

11:15 – 12:00

On the Completeness of Sandqvist's Base-extension Semantics

Timo Lang

12:00 – 12:45

Modal Logic and Proof-theoretic Semantics

Timo Eckhardt

12:45 – 13:30

A Proof-theoretic Semantics for the Logic of Bunched Implications

Sonia Marin & Diana Costa

13:30 →

Lunch & Departure

Mathematics, rightly viewed, possesses not only truth, but supreme beauty — a beauty cold and austere, like that of sculpture, without appeal to any part of our weaker nature, without the gorgeous trappings of painting or music, yet sublimely pure, and capable of a stern perfection such as only the greatest art can show.

Bertrand Russell · The Study of Mathematics
← All instalments