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.


    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.


    Item Type: Article
    School: Birkbeck Faculties and Schools > Faculty of Humanities and Social Sciences > School of Historical Studies
    Depositing User: Sarah Hall
    Date Deposited: 25 Nov 2014 11:28
    Last Modified: 02 Aug 2023 17:14


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item