15 October 2024, Proof-Theoretic Semantics Seminar Series, Sophie Nagler

The first session of the Proof-Theoretic Semantics Seminar Series is coming up! This is a series of periodic online talks delivered by early career researchers working in proof-theoretic semantics or akin fields, organised by the PTS-Network.

On October 15, 4-5pm (UTC +1), Sophie Nagler (University of St Andrews/ILLC Amsterdam) will present her work with the title "Inference behaviour semantics for all* connectives in two-dimensional sequent calculi".

Here is the abstract: "In this talk, I present inference behaviour semantics (IBS) for connectives in two-dimensional sequent calculi. IBS is a novel approach to proof-theoretic semantics (PTS) that emphasises Wittgenstein's conception of 'meaning as use', alongside Gentzen's idea of operational rules as connective definitions. The core idea of IBS is to explore how proof rules determine the way we use connectives. To implement this idea, I analyse all rule parameters that affect connective usage by proving global harmony in minimal derivability relations. This method allows me to define IBS for any connective definable in two-dimensional sequent calculi. The findings offer a meaning-theoretic explanation for the co-determination effects recently observed by Dicher and offer a fresh perspective on the relationships between connectives and their logics. Ultimately, IBS opens a new avenue for PTS, providing a fine-grained local analysis of connective use and meaning, with the potential to evolve our understanding of the connectives."

If you are interested in joining, please send us a mail to theptsnetwork at gmail.com for the Zoom link or directly subscribe to our mailing list using our subscription form. We also plan to make recordings of these meetings available on our YouTube channel. For more information about our network and recent work in proof-theoretic semantics, have a look at our website: https://sites.google.com/view/ptsnetwork/home-page

We will send the Zoom link to registered participants on the day before the session.

All the best,
Sara Ayhan, Hermógenes Oliveira, Antonio Piccolomini d'Aragona & Will Stafford