BIROn - Birkbeck Institutional Research Online

    Some comments on Ian Rumfitt's bilateralism

    Kürbis, Nils (2016) Some comments on Ian Rumfitt's bilateralism. Journal of Philosophical Logic 45 (6), pp. 623-644. ISSN 0022-3611.

    RumfittComments.pdf - Author's Accepted Manuscript

    Download (261kB) | Preview


    Ian Rumfitt has proposed systems of bilateral logic for primitive speech acts of assertion and denial, with the purpose of `exploring the possibility of specifying the classically intended senses for the connectives in terms of their deductive use' (Rumfitt (2000): 810f). Rumfitt formalises two systems of bilateral logic and gives two arguments for their classical nature. I assess both arguments and conclude that only one system satisfies the meaning-theoretical requirements Rumfitt imposes in his arguments. I then formalise an intuitionist system of bilateral logic which also meets those requirements. Thus Rumfitt cannot claim that only classical bilateral rules of inference succeed in imparting a coherent sense onto the connectives. My system can be extended to classical logic by adding the intuitionistically unacceptable half of a structural rule Rumfitt uses to codify the relation between assertion and denial. Thus there is a clear sense in which, in the bilateral framework, the difference between classicism and intuitionism is not one of the rules of inference governing negation, but rather one of the relation between assertion and denial.


    Item Type: Article
    Additional Information: The final publication is available at Springer via
    Keyword(s) / Subject(s): Negation Denial, Classical logic, Intuitionist logic, Harmony, Proof-theoretic semantics
    School: Birkbeck Faculties and Schools > Faculty of Humanities and Social Sciences > School of Historical Studies
    Depositing User: Nils Kurbis
    Date Deposited: 26 Feb 2016 12:28
    Last Modified: 02 Aug 2023 17:22


    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