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.

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.

I

The First Symposium

David J. Pym · Elaine Pimentel · Eike Ritter · Edmund Robinson · Alexander V. Gheorghiu · Timo Lang · Timo Eckhardt · Sonia Marin & Diana Costa

II

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

III

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

IV

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

V

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

VI

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