Studia Logica 105 (2):361-405 (2017)

Authors
Bruno Jacinto
University of St. Andrews
Stephen Read
University of St. Andrews
Abstract
General-elimination harmony articulates Gentzen’s idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the rules as not only harmonious but stable if the E-rules allow one to infer no more and no less than the I-rules justify. Pfenning and Davies call the rules locally complete if the E-rules are strong enough to allow one to infer the original judgement. A method is given of generating harmonious general-elimination rules from a collection of I-rules. We show that the general-elimination rules satisfy Pfenning and Davies’ test for local completeness, but question whether that is enough to show that they are stable. Alternative conditions for stability are considered, including equivalence between the introduction- and elimination-meanings of a connective, and recovery of the grounds for assertion, finally generalizing the notion of local completeness to capture Dummett’s notion of stability satisfactorily. We show that the general-elimination rules meet the last of these conditions, and so are indeed not only harmonious but also stable.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2016, 2017
ISBN(s)
DOI 10.1007/s11225-016-9692-x
Options
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: 51,639
Through your library

References found in this work BETA

The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.
Structural Proof Theory.Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.

View all 21 references / Add more references

Citations of this work BETA

Anti-Exceptionalism About Logic.Stephen Read - 2019 - Australasian Journal of Logic 16 (7):298.

View all 7 citations / Add more citations

Similar books and articles

General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
Stable Harmony.Nils Kurbis - 2008 - In Peliš Michal (ed.), Logica Yearbook 2007.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.
Harmonising Natural Deduction.Hartley Slater - 2008 - Synthese 163 (2):187 - 198.
Varieties of Linear Calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
Natural Deduction with General Elimination Rules.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (7):541-567.

Analytics

Added to PP index
2016-10-18

Total views
297 ( #23,978 of 2,331,237 )

Recent downloads (6 months)
4 ( #194,982 of 2,331,237 )

How can I increase my downloads?

Downloads

My notes