On the Equivalence Conjecture for Proof-Theoretic Harmony

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

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

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

Analytics

Added to PP
2012-12-15

Downloads
69 (#213,859)

6 months
2 (#658,980)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Florian Steinberger
Birkbeck, University of London

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