PTS Seminar next week: Ekaterina Piotrovskaya (UCL), Nov 3, 5pm (UTC+0)
PTS Network
On Monday, November 3, 5pm (UTC+0) Ekaterina Piotrovskaya (University College London) will present her work with the title "Base-extension Semantics: the Classical Chronicles".
Here is the abstract:
"Base-extension semantics (B-eS) -- a strand of proof-theoretic semantics -- has been given to a number of logics within the past decade. Rooted in inferentialism and constructive in spirit, B-eS is a very suitable framework for -- and can be smoothly given to -- intuitionistic logics; the same cannot be said about the classical ones. B-eS for intuitionistic logics follows a certain pattern that does not diverge much from logic to logic. Meanwhile, there are various ways of tweaking the B-eS machinery that allow for capturing classical behaviour. In this talk, we give an overview of such methods, and investigate whether they all rely on a specific detail that is differently disguised amongst them, or, on the contrary, whether there are multiple (unrelated) ways in which classicality can be achieved -- similar to how, syntactically, intuitionistic logic collapses to classical by adding a single, but not necessarily the same rule."
We will send the Zoom link over this mailing list on the day before the session.
All the best,
Sara Ayhan, Hermógenes Oliveira, Antonio Piccolomini d'Aragona & Will Stafford
PTS Network
The new 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 November 3rd 5 pm (UTC+0): Ekaterina Piotrovskaya (University College London) will present a work with the title "Base-extension Semantics: The Classical Chronicles".
Here is the abstract:
Base-extension semantics (B-eS) -- a strand of proof-theoretic semantics -- has been given to a number of logics within the past decade. Rooted in inferentialism and constructive spirit, B-eS is a very suitable framework for -- and can be smoothly given to - intuitionistic logics; the same cannot be said about the classical ones. B-eS for intuitionistic logics follows a certain pattern that does not diverge much from logic to logic. Meanwhile, there are various ways of tweking the B-eS machinery that allow for capturing classical behaviour. In this talk, we give an overview of such methods, and investigate whether they all rely on a specific detail that is differently disguised amongst them, or, on the contrary, whether there are multiple (unrelated) ways in which classicality can be achieved -- similar to how, syntactically, intuitionistic logic collapses to classical by adding a single, but not necessarily the same rule.