Kürbis, Nils (2016) Some comments on Ian Rumfitt's bilateralism. Journal of Philosophical Logic 45 (6), pp. 623-644. ISSN 0022-3611.
|
Text
RumfittComments.pdf - Author's Accepted Manuscript Download (261kB) | Preview |
Abstract
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.
Metadata
Item Type: | Article |
---|---|
Additional Information: | The final publication is available at Springer via http://dx.doi.org/10.1007/s10992-016-9395-9 |
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 |
URI: | https://eprints.bbk.ac.uk/id/eprint/14480 |
Statistics
Additional statistics are available via IRStats2.