Zoom link to tomorrow's talk (Nov 3 5 pm UTC + 0) by Ekaterina Piotrovskaya (UCL) will present a work with the title "Base-extension Semantics: The Classical Chronicles"

[PTS Network]

Dear all

We are sending the zoom link for tomorrow's session of the PTS Seminar Series again, as the title of the previous message might be misleading (it was replying to the previous announcement of the same talk).

Zoom link: https://zoom.us/j/96496150676?pwd=ksNYkJVVUWZpQagdCGG0VTDCvahXoZ.1

PASSCODE: 924208

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