A simple approach towards recapturing consistent theories in paraconsistent settings

J. C. Beall*

*Corresponding author for this work

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

I believe that, for reasons elaborated elsewhere (Beall, 2009; Priest, 2006a, 2006b), the logic LP (Asenjo, 1966; Asenjo & Tamburino, 1975; Priest, 1979) is roughly right as far as logic goes.(1) But logic cannot go everywhere; we need to provide nonlogical axioms to specify our (axiomatic) theories. This is uncontroversial, but it has also been the source of discomfort for LP-based theorists, particularly with respect to true mathematical theories which we take to be consistent. My example, throughout, is arithmetic; but the more general case is also considered.

Original languageEnglish
Pages (from-to)755-764
Number of pages10
JournalReview of Symbolic Logic
Volume6
Issue number4
Early online date7 Aug 2013
DOIs
Publication statusPublished - Dec 2013

Cite this

A simple approach towards recapturing consistent theories in paraconsistent settings. / Beall, J. C.

In: Review of Symbolic Logic, Vol. 6, No. 4, 12.2013, p. 755-764.

Research output: Contribution to journalArticle

@article{b8ad7d9b54764e72bcd812d6caf07e3a,
title = "A simple approach towards recapturing consistent theories in paraconsistent settings",
abstract = "I believe that, for reasons elaborated elsewhere (Beall, 2009; Priest, 2006a, 2006b), the logic LP (Asenjo, 1966; Asenjo & Tamburino, 1975; Priest, 1979) is roughly right as far as logic goes.(1) But logic cannot go everywhere; we need to provide nonlogical axioms to specify our (axiomatic) theories. This is uncontroversial, but it has also been the source of discomfort for LP-based theorists, particularly with respect to true mathematical theories which we take to be consistent. My example, throughout, is arithmetic; but the more general case is also considered.",
author = "Beall, {J. C.}",
year = "2013",
month = "12",
doi = "10.1017/S1755020313000208",
language = "English",
volume = "6",
pages = "755--764",
journal = "Review of Symbolic Logic",
issn = "1755-0203",
publisher = "Cambridge University Press",
number = "4",

}

TY - JOUR

T1 - A simple approach towards recapturing consistent theories in paraconsistent settings

AU - Beall, J. C.

PY - 2013/12

Y1 - 2013/12

N2 - I believe that, for reasons elaborated elsewhere (Beall, 2009; Priest, 2006a, 2006b), the logic LP (Asenjo, 1966; Asenjo & Tamburino, 1975; Priest, 1979) is roughly right as far as logic goes.(1) But logic cannot go everywhere; we need to provide nonlogical axioms to specify our (axiomatic) theories. This is uncontroversial, but it has also been the source of discomfort for LP-based theorists, particularly with respect to true mathematical theories which we take to be consistent. My example, throughout, is arithmetic; but the more general case is also considered.

AB - I believe that, for reasons elaborated elsewhere (Beall, 2009; Priest, 2006a, 2006b), the logic LP (Asenjo, 1966; Asenjo & Tamburino, 1975; Priest, 1979) is roughly right as far as logic goes.(1) But logic cannot go everywhere; we need to provide nonlogical axioms to specify our (axiomatic) theories. This is uncontroversial, but it has also been the source of discomfort for LP-based theorists, particularly with respect to true mathematical theories which we take to be consistent. My example, throughout, is arithmetic; but the more general case is also considered.

U2 - 10.1017/S1755020313000208

DO - 10.1017/S1755020313000208

M3 - Article

VL - 6

SP - 755

EP - 764

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

SN - 1755-0203

IS - 4

ER -