In Bob Hale, Crispin Wright & Alexander Miller (eds.), The Blackwell Companion to the Philosophy of Language. Blackwell (forthcoming)
Authors |
|
Abstract |
Many prominent writers on the philosophy of logic, including Michael Dummett, Dag Prawitz, Neil Tennant, have held that the introduction and elimination rules of a logical connective must be ‘in harmony ’ if the connective is to possess a sense. This Harmony Thesis has been used to justify the choice of logic: in particular, supposed violations of it by the classical rules for negation have been the basis for arguments for switching from classical to intuitionistic logic. The Thesis has also had an influence on the philosophy of language: some prominent writers in that area, notably Dummett and Robert Brandom, have taken it to be a special case of a more general requirement that the grounds for asserting a statement must cohere with its consequences. This essay considers various ways of making the Harmony Thesis precise and scrutinizes the most influential arguments for it. The verdict is negative: all the extant arguments for the Thesis are weak, and no version of it is remotely plausible.
|
Keywords | Logical connectives Sequent calculus Inversion Principle Proof-theoretic semantics Proof-theoretic harmony Dag Prawitz Michael Dummett Gerhard Gentzen Neil Tennant |
Categories | (categorize this paper) |
Buy the book |
Find it on Amazon.com
|
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Anti-Realism and Logic: Truth as Eternal.Neil Tennant - 1987 - Oxford, England: Oxford University Press.
View all 22 references / Add more references
Citations of this work BETA
Similar books and articles
Classical Harmony: Rules of Inference and the Meaning of the Logical Constants.Peter Milne - 1994 - Synthese 100 (1):49 - 94.
On the Equivalence Conjecture for Proof-Theoretic Harmony.Florian Steinberger - 2013 - Notre Dame Journal of Formal Logic 54 (1):79-86.
Harmony and Autonomy in Classical Logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
Existence, Freedom, Identity, and the Logic of Abstractionist Realism.Peter Milne - 2007 - Mind 116 (461):23-53.
The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony.Peter Schroeder-Heister - 2014 - Studia Logica 102 (6):1185-1216.
Proof-Theoretic Semantics for a Natural Language Fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
How Fundamental is the Fundamental Assumption?Nils Kurbis - 2012 - Teorema: International Journal of Philosophy 2 (2):5-19.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
Analytics
Added to PP index
2015-11-18
Total views
546 ( #15,818 of 2,506,442 )
Recent downloads (6 months)
28 ( #32,321 of 2,506,442 )
2015-11-18
Total views
546 ( #15,818 of 2,506,442 )
Recent downloads (6 months)
28 ( #32,321 of 2,506,442 )
How can I increase my downloads?
Downloads