100098_JC Beall_Review of Symbolic Logic.pdf (1.77 MB)
A Simple Approach Towards Recapturing Consistent Theories In Paraconsistent Settings
journal contribution
posted on 2023-05-18, 09:29 authored by Beall, JcAbstract. 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 forLP-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.
History
Publication title
Review of Symbolic LogicVolume
6Issue
4Pagination
1-10ISSN
1755-0203Department/School
School of HumanitiesPublisher
Cambridge University PressPlace of publication
United KingdomRights statement
Copyright 2013 Association for Symbolic LogicRepository Status
- Open