David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 100 (1):49 - 94 (1994)
The thesis that, in a system of natural deduction, the meaning of a logical constant is given by some or all of its introduction and elimination rules has been developed recently in the work of Dummett, Prawitz, Tennant, and others, by the addition of harmony constraints. Introduction and elimination rules for a logical constant must be in harmony. By deploying harmony constraints, these authors have arrived at logics no stronger than intuitionist propositional logic. Classical logic, they maintain, cannot be justified from this proof-theoretic perspective. This paper argues that, while classical logic can be formulated so as to satisfy a number of harmony constraints, the meanings of the standard logical constants cannot all be given by their introduction and/or elimination rules; negation, in particular, comes under close scrutiny.
|Keywords||No keywords specified (fix it)|
|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
No references found.
Citations of this work BETA
Thomas Kroedel (2012). Implicit Definition and the Application of Logic. Philosophical Studies 158 (1):131-148.
Similar books and articles
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.
Peter Milne (2007). Existence, Freedom, Identity, and the Logic of Abstractionist Realism. Mind 116 (461):23-53.
Hartley Slater (2008). Harmonising Natural Deduction. Synthese 163 (2):187 - 198.
Julien Murzi & Ole Thomassen Hjortland (2009). Inferentialism and the Categoricity Problem: Reply to Raatikainen. Analysis 69 (3):480-488.
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.
Stephen Read (2010). General-Elimination Harmony and the Meaning of the Logical Constants. Journal of Philosophical Logic 39 (5):557-76.
Added to index2009-01-28
Total downloads80 ( #16,264 of 1,100,932 )
Recent downloads (6 months)5 ( #58,761 of 1,100,932 )
How can I increase my downloads?