On the Equivalence Conjecture for Proof-Theoretic Harmony

Notre Dame Journal of Formal Logic 54 (1):79-86 (2013)
  Copy   BIBTEX


The requirement of proof-theoretic harmony has played a pivotal role in a number of debates in the philosophy of logic. Different authors have attempted to precisify the notion in different ways. Among these, three proposals have been prominent in the literature: harmony–as–conservative extension, harmony–as–leveling procedure, and Tennant’s harmony–as–deductive equilibrium. In this paper I propose to clarify the logical relationships between these accounts. In particular, I demonstrate that what I call the equivalence conjecture —that these three notions essentially come to the same thing—is erroneous



    Upload a copy of this work     Papers currently archived: 77,712

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

65 (#189,183)

6 months
1 (#481,005)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Florian Steinberger
Birkbeck, University of London

Citations of this work

Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Stabilizing Quantum Disjunction.Luca Tranchini - 2018 - Journal of Philosophical Logic 47 (6):1029-1047.

View all 10 citations / Add more citations

References found in this work

The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
The runabout inference ticket.Arthur Prior - 1967 - In Peter Strawson (ed.), Analysis. Oxford University Press. pp. 38-9.
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.

View all 10 references / Add more references