Review of Symbolic Logic (3):1-20 (2016)

Bogdan Dicher
Universidade de Lisboa
A logical constant is weakly disharmonious if its elimination rules are weaker than its introduction rules. Substructural weak disharmony is the weak disharmony generated by structural restrictions on the eliminations. I argue that substructural weak disharmony is not a defect of the constants which exhibit it. To the extent that it is problematic, it calls into question the structural properties of the derivability relation. This prompts us to rethink the issue of controlling the structural properties of a logic by means of harmony. I argue that such a control is possible and desirable. Moreover, it is best achieved by global tests of harmony.
Keywords Proof-theoretic semantics  Harmony  Weak disharmony
Categories (categorize this paper)
DOI 10.1017/s1755020316000162
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: 71,259
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

Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38.
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.
The Runabout Inference Ticket.Arthur Prior - 1967 - In Peter Strawson (ed.), Analysis. Oxford University Press. pp. 38-9.

View all 35 references / Add more references

Citations of this work BETA

Sentence Connectives in Formal Logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.
On Harmony and Permuting Conversions.Nissim Francez - 2017 - Journal of Applied Logic 21:14-23.
Stabilizing Quantum Disjunction.Luca Tranchini - 2018 - Journal of Philosophical Logic 47 (6):1029-1047.

View all 9 citations / Add more citations

Similar books and articles

Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
The Strength of Extensionality I—Weak Weak Set Theories with Infinity.Kentaro Sato - 2009 - Annals of Pure and Applied Logic 157 (2-3):234-268.
Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
Against Harmony.Ian Rumfitt - forthcoming - In Bob Hale, Crispin Wright & Alexander Miller (eds.), The Blackwell Companion to the Philosophy of Language. Blackwell.
Some Problems for Proof-Theoretic Semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.
On the Equivalence Conjecture for Proof-Theoretic Harmony.Florian Steinberger - 2013 - Notre Dame Journal of Formal Logic 54 (1):79-86.
Meeting Strength in Substructural Logics.Yde Venema - 1995 - Studia Logica 54 (1):3 - 32.


Added to PP index

Total views
26 ( #441,285 of 2,518,488 )

Recent downloads (6 months)
1 ( #408,186 of 2,518,488 )

How can I increase my downloads?


My notes