Symposium V · February 2025
The Fifth Symposium
4–6 February 2025
Institute of Philosophy, London
Hosted by CeLLI at the Institute of Philosophy, University of London.
Programme
Tuesday 4th February
Arrival & Registration
Welcome to the 5th Symposium on Proof-theoretic Semantics
David J. Pym (UCL & Institute of Philosophy, University of London, UK)
Logics of Proof-theoretic Validity
Thomas Piecha (University of Tübingen, Germany)
Proof-theoretic Semantics for Intuitionistic Linear Logic: Two Approaches
Victor Nascimento (University College London, UK)
Slides for “Proof-theoretic Semantics for Intuitionistic Linear Logic: Two Approaches”Lunch
Translations between bases in Base-extension Semantics
Yll Buzoku (University College London, UK)
Slides for “Translations between bases in Base-extension Semantics”Coffee Break
Inference Behaviour Semantics for all* Connectives in Two-dimensional Sequent Calculi
Sophie Nagler (ILLC, University of Amsterdam, the Netherlands; University of St Andrews, UK)
Slides for “Inference Behaviour Semantics for all* Connectives in Two-dimensional Sequent Calculi”Wednesday 5th February
Base-extension Semantics as Meaning Theory: Some philosophical remarks on negation, disjunction, and quantificationRemote
Tor Sandqvist (KTH Royal Institute of Technology, Sweden)
Slides for “Base-extension Semantics as Meaning Theory: Some philosophical remarks on negation, disjunction, and quantification”Deep Semantic Pollution
Gabriele Pulcini (University of Rome Tor Vergata, Italy)
Lunch
Mapping the Landscape of Logical Bilateralism
Sara Ayhan (Ruhr University Bochum, Germany)
Slides for “Mapping the Landscape of Logical Bilateralism”Coffee Break
Bilateralism and Classical Logic: some comments from the intensional perspective
Luca Tranchini (University of Tübingen, Germany)
Slides for “Bilateralism and Classical Logic: some comments from the intensional perspective”Thursday 6th February
The Expressive Power of Inferentialism: insights into educational practices
Jan Derry (University College London, UK)
From Normalisation to Proof-theoretic Semantics: the semantic role of harmony, atomic bases and reductions
Antonio Piccolomini d'Aragona (University of Tübingen, Germany)
Coffee Break
Inferentialism and Two Types of CorrectnessRemote
Bartosz Kaluzinski (Uniwersytet im. Adama Mickiewicza w Poznaniu, Poland)
Slides for “Inferentialism and Two Types of Correctness”