Contradiction and contrariety. Priest on negation
Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):81-93 (2006)
| Abstract | Although it is not younger than other areas of non-classical logic, paraconsistent logic has received full recognition only in recent years, largely due to the work of, among others, Newton da Costa, Graham Priest, Diderik Batens, and Jerzy Perzanowski. A logical system Λ is paraconsistent if there is a set of Λ-formulas Δ ∪ { A } such that (i) in Λ one may derive from Δ both A and its negation, and (ii) the deductive closure of Δ with respect to Λ is different from the set of all formulas. If from Δ one may derive a formula and its negation, Δ is said to be syntactically inconsistent. But is every syntactically inconsistent set of formulas contradictory? In classical logic and many non-classical logics, every syntactically inconsistent set is unsatisfiable, that is, semantically inconsistent. If contradictoriness means semantical inconsistency, there is, up to logical equivalence, only one contradiction. In paraconsistent logics, there are usually many non-equivalent formulas representing the semantically unique contradiction in a non-paraconsistent logic. So when is a formula the contradiction of another formula, and, moreover, how does the notion of contradiction relate to the notions of contrariety and negation? | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesBryson Brown (1999). Yes, Virginia, There Really Are Paraconsistent Logics. Journal of Philosophical Logic 28 (5):489-500.
Graham Priest (2006). Doubt Truth to Be a Liar. Oxford University Press.
M. W. Bunder (1984). Some Definitions of Negation Leading to Paraconsistent Logics. Studia Logica 43 (1-2):75 - 78.
Greg Restall (2002). Paraconsistency Everywhere. Notre Dame Journal of Formal Logic 43 (3):147-156.
Tuomas E. Tahko (2009). The Law of Non-Contradiction as a Metaphysical Principle. Australasian Journal of Logic 7:32-47.
Carlos A. OLLER (2004). Measuring Coherence Using LP-Models. Journal of Applied Logic 2 (4):451-455.
Sergei P. Odintsov (2006). Absurdity as Unary Operator. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):225-242.
Graham Priest (1991). Minimally Inconsistent LP. Studia Logica 50 (2):321 - 331.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads47 ( #23,073 of 549,007 )Recent downloads (6 months)2 ( #37,272 of 549,007 )How can I increase my downloads? |
My notes
Discussion
