2011
DOI: 10.1017/s1755020311000074
|View full text |Cite
|
Sign up to set email alerts
|

Multiple-Conclusion Lp and Default Classicality

Abstract: Philosophical applications of familiar paracomplete and paraconsistent logics often rely on an idea of ‘default classicality’. With respect to the paraconsistent logic LP (the dual of Strong Kleene or K3), such ‘default classicality’ is standardly cashed out via an LP-based nonmonotonic logic due to Priest (1991, 2006a). In this paper, I offer an alternative approach via a monotonic multiple-conclusion version of LP.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

1
76
0

Year Published

2014
2014
2019
2019

Publication Types

Select...
4
2

Relationship

0
6

Authors

Journals

citations
Cited by 79 publications
(77 citation statements)
references
References 17 publications
(14 reference statements)
1
76
0
Order By: Relevance
“…Begin with the assumption that truth naïvely plays capture and release (Beall 2007a(Beall , 2009, in the following minimal sense:…”
Section: Liars and Comentioning
confidence: 99%
See 4 more Smart Citations
“…Begin with the assumption that truth naïvely plays capture and release (Beall 2007a(Beall , 2009, in the following minimal sense:…”
Section: Liars and Comentioning
confidence: 99%
“…'paradoxical' sentences are glutty, and ECQ must be given up. 4 But, unless a new conditional is added to the language (about which more in a moment), :-E, and indeed !-E (modus ponens) must be given up too: these rules fail to preserve truth for any / that is both true and false (Priest 2006b;Beall 2009). Kripke (1975) famously showed how to construct models for languages in which the truth-predicate is fully transparent, provided LEM and :-I (among other rules) are suitably restricted.…”
Section: Paracomplete and Paraconsistentmentioning
confidence: 99%
See 3 more Smart Citations