Symposium on Proof-theoretic Semantics
A workshop series on the foundations of proof-theoretic semantics — what it means for a proof to constitute meaning. Six instalments since 2022.
About
Proof-theoretic semantics holds that the meaning of a logical constant is determined not by its truth conditions but by the rules that govern its use in inference. The series gathers researchers working on the foundations, ramifications, and open problems of this programme: proof-theoretic validity, harmony and bilateralism, base-extension semantics, and related topics in logic and philosophy.
Field of Inquiry
- soundness & completeness
- bilateralism & harmony
- base-extension semantics
- inferentialism
- proof-theoretic validity
- substructural logics
- natural deduction
- modal & dynamic logics
- linear & bunched logics
- categorical semantics
- ecumenical logics
- identity of proofs
The Series
The First Symposium
David J. Pym · Elaine Pimentel · Eike Ritter · Edmund Robinson · Alexander V. Gheorghiu · Timo Lang · Timo Eckhardt · Sonia Marin & Diana Costa
The Second Symposium
David J. Pym · Greg Restall · Thomas Piecha · Tim Button · Tor Sandqvist · Eike Ritter · Edmund Robinson · Nils Kürbis · Sara Ayhan · Timo Eckhardt · Alexander V. Gheorghiu
The Third Symposium
David J. Pym · Peter Schroeder-Heister · Antonio Piccolomini d'Aragona · Victor Nascimento · Elaine Pimentel · Yll Buzoku · Tor Sandqvist · Will Stafford · Timo Eckhardt · Sara Ayhan
The Fourth Symposium
David J. Pym · Tor Sandqvist · Antonio Piccolomini d'Aragona · Paolo Pistone · Sara Ayhan · Timo Eckhardt · Gabriele Brancati · Hermógenes Oliveira · Tao Gu
The Fifth Symposium
Thomas Piecha · Victor Nascimento · Yll Buzoku · Sophie Nagler · Tor Sandqvist · Gabriel Pulcini · Sara Ayhan · Luca Tranchini · Jan Derry · Antonio Piccolomini d'Aragona · Bartosz Kaluzinski
The Sixth Symposium
David J. Pym · Tor Sandqvist · Sara Ayhan · Yll Buzoku · Gabriel Pulcini · Timo Eckhardt · Luca Tranchini · Sonia Marin · Catarina Dutilh Novaes · Luiz Carlos Pereira · Will Stafford · Giulio Guerrieri
Organizers
- Alexander V. Gheorghiu University of Southampton & University College London
- Tao Gu University of Southampton & University College London
- David J. Pym University College London & Institute of Philosophy