BIROn - Birkbeck Institutional Research Online

    Harmony in a sequent setting: a reply to Tennant

    Steinberger, Florian (2011) Harmony in a sequent setting: a reply to Tennant. Analysis 71 (2), pp. 273-280. ISSN 0003-2638.

    Full text not available from this repository.

    Abstract

    In my Steinberger 2009 I argued that Neil Tennant’s Harmony requirement is untenable because of its failure to account for the standard quantifier rules.1 Instead of justifying the customary rules for the existential and universal quantifiers, Tennant’s account appears to sanction only wholly unrestricted – and so patently disharmonious – quantifier rules. In his characteristically thoughtful response Tennant 2010, Tennant offers a sequent calculus version of his Harmony requirement that rules out such pathological would-be quantifiers. While I agree with Tennant that recasting his Harmony requirement in the sequent format as he proposes blocks the said disharmonious quantifier rules, I submit that Tennant’s revamped Harmony requirement nevertheless misses the mark. I present two objections to substantiate my claim. First, I show that the crucial additional assumption underlying Tennant’s sequent calculus-based account – what I call the admissibility assumption – is excessively strong: so strong, in fact, that it renders otiose the core of Tennant’s original account. Second, I argue that the admissibility assumption, as a global requirement on deductive systems, is ill-suited for the purposes of codifying the intuitive notion of harmony. Fortunately, though, as I will demonstrate, we can dispense with the admissibility assumption altogether.

    Metadata

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

    Statistics

    Downloads
    Activity Overview
    0Downloads
    191Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item