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)|
|Through your library||Configure|
Similar books and articles
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Sara Negri (2002). Varieties of Linear Calculi. Journal of Philosophical Logic 31 (6):569-590.
Julien Murzi & Ole Thomassen Hjortland (2009). Inferentialism and the Categoricity Problem: Reply to Raatikainen. Analysis 69 (3):480-488.
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.
Hartley Slater (2008). Harmonising Natural Deduction. Synthese 163 (2):187 - 198.
Stephen Read (2000). Harmony and Autonomy in Classical Logic. Journal of Philosophical Logic 29 (2):123-154.
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 downloads132 ( #4,932 of 1,005,571 )
Recent downloads (6 months)1 ( #64,743 of 1,005,571 )
How can I increase my downloads?