Journal of Philosophical Logic 47 (6):1029-1047 (2018)

Luca Tranchini
Universität Tübingen
Since the appearance of Prior’s tonk, inferentialists tried to formulate conditions that a collection of inference rules for a logical constant has to satisfy in order to succeed in conferring an acceptable meaning to it. Dummett proposed a pair of conditions, dubbed ‘harmony’ and ‘stability’ that have been cashed out in terms of the existence of certain transformations on natural deduction derivations called reductions and expansions. A long standing open problem for this proposal is posed by quantum disjunction: although its rules are intuitively unstable, they pass the test of existence of expansions. Although most authors view instabilities of this kind as too subtle to be detected by the requirement of existence of expansions, we first discuss a case showing that this requirement can indeed detect instabilities of this kind, and then show how the expansions for disjunction-like connectives have to be reformulated to rule out quantum disjunction. We show how the alternative pattern for expansions can be formulated for connectives and quantifiers whose rules satisfy a scheme originally developed by Prawitz and Schroeder-Heister. Finally we compare our proposal with a recent one due to Jacinto and Read.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10992-018-9460-7
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,979
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Logical Basis of Metaphysics.Michael Dummett - 1991 - Harvard University Press.
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
The Runabout Inference-Ticket.A. Prior - 1960 - Analysis 21 (2):38.
Frege.Michael Dummett - 1975 - Teorema: International Journal of Philosophy 5 (2):149-188.
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.

View all 21 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
Substructural Logics in Natural Deduction.Ernst Zimmermann - 2007 - Logic Journal of the IGPL 15 (3):211-232.
Connectives Stranger Than Tonk.Heinrich Wansing - 2006 - Journal of Philosophical Logic 35 (6):653 - 660.
Tractatus Versus Quantum Mechanics.Berislav Žarnić & Lovre de Grisogono - 2015 - In Luka Boršić, Ivana Skuhala Karsman & Franjo Sokolić (eds.), Physics and Philosophy. Institute of Philosophy in Zagreb. pp. 27–44.
A(Nother) Characterization of Intuitionistic Propositional Logic.Rosalie Iemhoff - 2001 - Annals of Pure and Applied Logic 113 (1-3):161-173.


Added to PP index

Total views
25 ( #455,388 of 2,505,145 )

Recent downloads (6 months)
1 ( #416,587 of 2,505,145 )

How can I increase my downloads?


My notes