PTS Seminar: Ekaterina Piotrovskaya (University College London), Nov 3, 5pm (UTC+0)
8 views
Skip to first unread message
PTS Network
Sep 30, 2025, 6:22:45 AMSep 30
to pts-n...@googlegroups.com
Dear all,
Our PTS Seminar Series is returning from the summer break with two sessions scheduled until the end of the year. 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.
We had to reschedule a bit, so please ignore any prior information we had given out and instead save those dates:
- Monday, November 3, 5pm (UTC+0): Ekaterina Piotrovskaya (University College London): Base-extension Semantics: the Classical Chronicles
- Tuesday, December 9, 11am (UTC+0): Masanobu Toyooka (Tohoku University): tba
Here is the abstract of the first talk:
Base-extension Semantics: the Classical Chronicles
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 list on the day before the session.
Please note: 5pm (UTC+0) is also 5pm in the UK but 6pm in Central European Summer Time, please make sure you convert the time correctly to your specific time zone!
Base-extension Semantics: the Classical Chronicles
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 list on the day before the session.
Please note: 5pm (UTC+0) is also 5pm in the UK but 6pm in Central European Summer Time, please make sure you convert the time correctly to your specific time zone!
All the best,
Sara Ayhan, Hermógenes Oliveira, Antonio Piccolomini d'Aragona & Will Stafford
Reply all
Reply to author
Forward
0 new messages