Paraconsistency Everywhere

Notre Dame Journal of Formal Logic 43 (3):147-156 (2002)

Authors
Abstract
“Paraconsistent” means “beyond the consistent” [3, 15]. Paraconsistent logics tolerate inconsistencies in a way that traditional logics do not. In a paraconsistent logic, the inference of explosion A, ∼AB is rejected. This may be for any of a number of reasons [16]. For proponents of relevance [1, 2] the argument has gone awry when we infer an irrelevant B from the inconsistent premises. Those who argue that inconsistent theories may have some logical content but do not commit us to everything, have reason to think that these theories are closed under a relation of paraconsistent logical consequence [12, 18]. Another reason to adopt a paraconsistent logic is more extreme. You may take the world to be inconsistent [14], and a true theory incorporating this inconsistency must be governed by a paraconsistent logic.
Keywords paraconsistent logic   intuitionistic logic   quantum logic
Categories (categorize this paper)
DOI 10.1305/ndjfl/1074290713
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,566
Through your library

References found in this work BETA

The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Semantic Analysis of Orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
71 ( #103,107 of 2,325,888 )

Recent downloads (6 months)
1 ( #927,055 of 2,325,888 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature