Classical Harmony and Separability

Erkenntnis:1-25 (forthcoming)
Authors
Julien Murzi
University of Salzburg
Abstract
According to logical inferentialists, the meanings of logical expressions are fully determined by the rules for their correct use. Two key proof-theoretic requirements on admissible logical rules, harmony and separability, directly stem from this thesis—requirements, however, that standard single-conclusion and assertion-based formalizations of classical logic provably fail to satisfy :1035–1051, 2011). On the plausible assumption that our logical practice is both single-conclusion and assertion-based, it seemingly follows that classical logic, unlike intuitionistic logic, can’t be accounted for in inferentialist terms. In this paper, I challenge orthodoxy and introduce an assertion-based and single-conclusion formalization of classical propositional logic that is both harmonious and separable. In the framework I propose, classicality emerges as a structural feature of the logic.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10670-018-0032-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 36,555
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

Blind Reasoning.Paul Boghossian - 2003 - Aristotelian Society Supplementary Volume 77 (1):225–248.
Yes and No.I. Rumfitt - 2000 - Mind 109 (436):781-823.
The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.
Meaning Approached Via Proofs.Dag Prawitz - 2006 - Synthese 148 (3):507-524.
Blind Reasoning.Paul Boghossian & Timothy Williamson - 2003 - Proceedings of the Aristotelian Society, Supplementary Volumes( 77:225-293.

View all 39 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Harmony and Autonomy in Classical Logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.
Against Harmony.Ian Rumfitt - forthcoming - In Bob Hale, Crispin Wright & Alexander Miller (eds.), The Blackwell Companion to the Philosophy of Language. Blackwell.
Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
Some Comments on Ian Rumfitt’s Bilateralism.Nils Kürbis - 2016 - Journal of Philosophical Logic 45 (6):623-644.
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
On the Equivalence Conjecture for Proof-Theoretic Harmony.Florian Steinberger - 2013 - Notre Dame Journal of Formal Logic 54 (1):79-86.
An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional Logic.John Cantwell - 2015 - Journal of Logic, Language and Information 24 (1):27-51.
Harmonic Inferentialism and the Logic of Identity.Stephen Read - 2016 - Review of Symbolic Logic 9 (2):408-420.
Speech Acts, Categoricity, and the Meanings of Logical Connectives.Ole Thomassen Hjortland - 2014 - Notre Dame Journal of Formal Logic 55 (4):445-467.
Why Conclusions Should Remain Single.Florian Steinberger - 2011 - Journal of Philosophical Logic 40 (3):333-355.

Analytics

Added to PP index
2018-07-30

Total downloads
19 ( #330,236 of 2,302,572 )

Recent downloads (6 months)
19 ( #25,161 of 2,302,572 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature