Graduate studies at Western
Journal of Philosophical Logic 29 (2):123-154 (2000)
|Abstract||Michael Dummett and Dag Prawitz have argued that a constructivist theory of meaning depends on explicating the meaning of logical constants in terms of the theory of valid inference, imposing a constraint of harmony on acceptable connectives. They argue further that classical logic, in particular, classical negation, breaks these constraints, so that classical negation, if a cogent notion at all, has a meaning going beyond what can be exhibited in its inferential use. I argue that Dummett gives a mistaken elaboration of the notion of harmony, an idea stemming from a remark of Gerhard Gentzen's. The introduction-rules are autonomous if they are taken fully to specify the meaning of the logical constants, and the rules are harmonious if the elimination-rule draws its conclusion from just the grounds stated in the introduction-rule. The key to harmony in classical logic then lies in strengthening the theory of the conditional so that the positive logic contains the full classical theory of the conditional. This is achieved by allowing parametric formulae in the natural deduction proofs, a form of multiple-conclusion logic|
|Keywords||classical negation Dummett fundamental assumption Gentzen multiple-conclusion logic|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Julien Murzi & Ole Thomassen Hjortland (2009). Inferentialism and the Categoricity Problem: Reply to Raatikainen. Analysis 69 (3):480-488.
Stephen Read (2010). General-Elimination Harmony and the Meaning of the Logical Constants. Journal of Philosophical Logic 39 (5):557-76.
Hartley Slater (2008). Harmonising Natural Deduction. Synthese 163 (2):187 - 198.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Florian Steinberger (2011). What Harmony Could and Could Not Be. Australasian Journal of Philosophy 89 (4):617 - 639.
Dag Prawitz (2006). Meaning Approached Via Proofs. Synthese 148 (3):507 - 524.
Peter Milne (1994). Classical Harmony: Rules of Inference and the Meaning of the Logical Constants. Synthese 100 (1):49 - 94.
Added to index2009-01-28
Total downloads41 ( #32,763 of 738,687 )
Recent downloads (6 months)3 ( #26,464 of 738,687 )
How can I increase my downloads?