In Bob Hale, Crispin Wright & Alexander Miller (eds.), The Blackwell Companion to the Philosophy of Language. Blackwell (forthcoming)

Authors
Ian Rumfitt
Oxford University
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

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

Making It Explicit.Isaac Levi & Robert B. Brandom - 1996 - Journal of Philosophy 93 (3):145.
A Counterexample to Modus Ponens.Vann McGee - 1985 - Journal of Philosophy 82 (9):462-471.
Truth.Michael Dummett - 1959 - Proceedings of the Aristotelian Society 59 (1):141-62.

View all 20 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Stable Harmony.Nils Kurbis - 2008 - In Peliš Michal (ed.), Logica Yearbook 2007.
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.
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
484 ( #13,556 of 56,960 )

Recent downloads (6 months)
22 ( #35,049 of 56,960 )

How can I increase my downloads?

Downloads

My notes