PTS Seminar next week: Pedro del Valle-Inclán (SNS Pisa), May 6, 5pm (UTC+0)

21 views
Skip to first unread message

PTS Network

unread,
Apr 28, 2025, 11:01:15 AMApr 28
to pts-n...@googlegroups.com
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 this 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

PTS Network

unread,
May 5, 2025, 8:44:53 AMMay 5
to pts-n...@googlegroups.com
Dear all,

The fourth 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.

Here's the zoom link:

Topic: PTS Seminar: Pedro del Valle-Inclán (SNS Pisa), May 6, 5pm (UTC+0)
Time: May 6, 2025 05:00 PM Universal Time UTC
Join Zoom Meeting
https://ksu.zoom.us/j/94123187576?pwd=U5QPpWBV1VOlT99ViSiXi7OkPqJruk.1Meeting ID: 941 2318 7576
Passcode: 561099


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."


Reply all
Reply to author
Forward
0 new messages