Dear all,
The next 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 May 6, 5pm (UTC+0): Pedro del Valle-Inclán (SNS Pisa) will present his work with the title "Structural rules and the meaning of logical connectives".
Here is the abstract:
"According to a well-known thesis of Quine's (1986) logics that validate different arguments use different logical vocabulary. In a certain sense, then, partisans of different logics are partisans of different languages, and they don't much disagree as talk past each others.
A common response going back to Putnam (1957) and Morton (1973), is to claim that sides who agree on enough logical principles involving some connective or quantifier are indeed using the same connective or quantifier. The obvious difficulty with this idea is spelling out what counts as "enough" agreement. Recently, some inferentialists have tried to do just that (Restall 2002, 2014; Paoli 2013, 2014; Dicher 2016). They are often called minimalists, following Hjortland's (2014) terminology. Minimalists draw a boundary roughly along the line between the operational and structural rules of sequent calculi: operational rules confer meaning, structural rules don't. Therefore, disagreements about logic that can be seen as disagreements about structural rules need not involve a change of language.
In this talk I will argue that current minimalist proposals lead to untenable views about which connectives are identical, or have the same meaning. I will also argue that the importance of the ‘change of language’ issue has been exaggerated. In many cases, I think, there is likely no fact of the matter as to whether different logics share their stock of operators, but there can still be substantial disagreement between partisans of each of them."
We will send the Zoom link over the
PTS mailing list on the day before the session.
Please note: 5pm (UTC+0) is 6pm in the UK and 7pm 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