David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 39 (5):557-76 (2010)
Inferentialism claims that expressions are meaningful by virtue of rules governing their use. In particular, logical expressions are autonomous if given meaning by their introduction-rules, rules specifying the grounds for assertion of propositions containing them. If the elimination-rules do no more, and no less, than is justified by the introduction-rules, the rules satisfy what Prawitz, following Lorenzen, called an inversion principle. This connection between rules leads to a general form of elimination-rule, and when the rules have this form, they may be said to exhibit “general-elimination” harmony. Ge-harmony ensures that the meaning of a logical expression is clearly visible in its I-rule, and that the I- and E-rules are coherent, in encapsulating the same meaning. However, it does not ensure that the resulting logical system is normalizable, nor that it satisfies the conservative extension property, nor that it is consistent. Thus harmony should not be identified with any of these notions.
|Keywords||Harmony Inferentialism Autonomy Validity Tonk Dummett Gentzen Prawitz Lorenzen|
|Categories||categorize this paper)|
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
Robert Brandom (2000). Articulating Reasons: An Introduction to Inferentialism. Harvard University Press.
Michael A. E. Dummett (1991). The Logical Basis of Metaphysics. Harvard University Press.
Michael A. E. Dummett (1993). The Seas of Language. Oxford University Press.
Nissim Francez & Roy Dyckhoff (2012). A Note on Harmony. Journal of Philosophical Logic 41 (3):613-628.
Citations of this work BETA
Florian Steinberger (2011). What Harmony Could and Could Not Be. Australasian Journal of Philosophy 89 (4):617 - 639.
Enrico Moriconi (2012). Steps Towards a Proof-Theoretical Semantics. Topoi 31 (1):67-75.
Similar books and articles
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Stephen Read (2000). Harmony and Autonomy in Classical Logic. Journal of Philosophical Logic 29 (2):123-154.
Hartley Slater (2008). Harmonising Natural Deduction. Synthese 163 (2):187 - 198.
Ruy J. G. B. de Queiroz (2008). On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics. Studia Logica 90 (2):211-247.
Ruy J. G. B. De Queiroz (2008). On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics. Studia Logica 90 (2):211 - 247.
Julien Murzi & Ole Thomassen Hjortland (2009). Inferentialism and the Categoricity Problem: Reply to Raatikainen. Analysis 69 (3):480-488.
Sara Negri (2002). Varieties of Linear Calculi. Journal of Philosophical Logic 31 (6):569-590.
Peter Milne (1994). Classical Harmony: Rules of Inference and the Meaning of the Logical Constants. Synthese 100 (1):49 - 94.
Added to index2010-05-22
Total downloads153 ( #6,277 of 1,413,361 )
Recent downloads (6 months)4 ( #51,562 of 1,413,361 )
How can I increase my downloads?