An inferentialist approach to paraconsistency

Trafford, James (2014) An inferentialist approach to paraconsistency. Abstracta, 8 (1). pp. 55-73. ISSN 1807-9792

Creators:
Trafford, James
Description/Abstract:

This paper develops and motivates a paraconsistent approach to semantic paradox from within a modest inferentialist framework. I begin from the bilateralist theory developed by Greg Restall, which uses constraints on assertions and denials to motivate a multiple-conclusion sequent calculus for classical logic, and, via which, classical semantics can be determined. I then use the addition of a transparent truth-predicate to motivate an intermediate speech-act. On this approach, a liar-like sentence should be "weakly asserted", involving a commitment to the sentence and its negation, without rejecting the sentence. From this, I develop a proof-theory, which both determines a typical paraconsistent model theory, and also gives us a nice way to understand classical recapture.

Item Type:
Article
Official URL:
http://abstracta.oa.hhu.de/index.php/abstracta/art...
Date:
2014
Uncontrolled Keywords or tags :
bilateralism, inferentialism, paraconsistent logic, recapture, multiple-conclusion
Schools:
School of Communications
Depositing User:
Dr James Trafford
Date Deposited:
17 Dec 2014 11:41
Last Modified:
05 Mar 2022 04:31
Trafford, James:
ORCID iD: https://orcid.org/0000-0002-6762-2918
URI:
https://research.uca.ac.uk/id/eprint/1992

Actions (login required)

Edit View Edit View
University Staff: Request a correction | UCA Research Online Editors: Update this record