The workshop ‘Proofs, Rules, and Meanings’ was held at the University of St Andrews, Scotland, and online on Microsoft Teams on April 11–12, 2024. It explored the relationship between proofs, rules, and meanings through the lens of proof-theoretic semantics. The workshop featured:
-
1. contemporary logical and philosophical dimensions of proof-theoretic semantics,
-
2. its historical roots and precursors, and
-
3. its fruitful applications in philosophy, computer science, mathematics, linguistics, and beyond.
The workshop was organised in partnership with the St Andrews Metaphysics and Logic Research Group, and the St Andrews Medieval Logic Research Group. It was funded by the Arché Research Centre, the Scots Philosophical Association, the British Logic Colloquium, the Association for Symbolic Logic (ASL), and the Analysis Trust. It was affiliated with the PTS Network.
The keynote was held by Bodgan Dicher (University of the Witwatersrand) on ‘Logical Metainferentialism’. The meeting also featured the following speakers and talks:
-
• Greg Restall: ‘
$\lambda \mu $
: Relating Constructive, Classical and Substructural Logics’ -
• Sophie Nagler: ‘Meaning as Use, Use as Meaning’
-
• Luca Incurvati: ‘Three Kinds of Logical Expressivism’
-
• Viviane Fairbank: ‘Dummett, Hacking, and Circularity in Logical Semantics’
-
• Catarina Dutilh Novaes: ‘Speech Acts at the Dialogical Roots of Deduction’
-
• Peter Schroeder-Heister: ‘Proof-Theoretic Validity Based on Elimination Rules’
-
• Robin Martinot: ‘Semantic Pollution and the Meaning of Connectives’
-
• Sara Uckelman: “‘Proof Theory” in Medieval Logic’
-
• Elaine Pimentel: ‘An Ecumenical View of Proof-Theoretic Semantics’
-
• Sara Ayhan: ‘Bilateral Derivability: How to Implement (Constructive) Notions of Proof and Refutation in a Sequent Calculus’.
The concluding plenary discussion on ‘Proofs, rules, and meanings – quo vaditis?’ was chaired by Stephen Read. The majority of speakers were women. Fifty percentage of speakers were early-career researchers.
There were 133 registered participants, 49 in-person and 84 online, from all continents and the following 33 countries: Argentina, Australia, Austria, Brazil, Canada, Colombia, Czechia, Denmark, England, France, Germany, Greece, Hungary, India, Indonesia, Iran, Italy, Japan, Kuwait, Mexico, Netherlands, Poland, Portugal, Romania, Russia, Scotland, South Africa, Spain, Taiwan, USA, Venezuela, and Wales. Further information and abstracts can be obtained by emailing sen1@st-andrews.ac.uk.
