BIROn - Birkbeck Institutional Research Online

    On the equivalence conjecture for proof-theoretic harmony

    Steinberger, Florian (2013) On the equivalence conjecture for proof-theoretic harmony. Notre Dame Journal of Formal Logic 54 (1), pp. 79-86. ISSN 0029-4527.

    Full text not available from this repository.

    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.

    Metadata

    Item Type: Article
    School: School of Social Sciences, History and Philosophy > Philosophy
    Depositing User: Sarah Hall
    Date Deposited: 25 Nov 2014 11:28
    Last Modified: 25 Nov 2014 11:28
    URI: https://eprints.bbk.ac.uk/id/eprint/11108

    Statistics

    Downloads
    Activity Overview
    0Downloads
    173Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item