Minimally inconsistent LP

Studia Logica 50 (2):321 - 331 (1991)

Authors
Graham Priest
CUNY Graduate Center
Abstract
The paper explains how a paraconsistent logician can appropriate all classical reasoning. This is to take consistency as a default assumption, and hence to work within those models of the theory at hand which are minimally inconsistent. The paper spells out the formal application of this strategy to one paraconsistent logic, first-order LP. (See, Ch. 5 of: G. Priest, In Contradiction, Nijhoff, 1987.) The result is a strong non-monotonic paraconsistent logic agreeing with classical logic in consistent situations. It is shown that the logical closure of a theory under this logic is trivial only if its closure under LP is trivial.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370190
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: 41,583
Through your library

References found in this work BETA

The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219-241.
Dialectical dynamics within formal logics.D. Batens - 1986 - Logique Et Analyse 29 (14):161.

Add more references

Citations of this work BETA

Multiple-Conclusion Lp and Default Classicality.Jc Beall - 2011 - Review of Symbolic Logic 4 (2):326-336.
What If? The Exploration of an Idea.Graham Priest - 2017 - Australasian Journal of Logic 14 (1).

View all 31 citations / Add more citations

Similar books and articles

Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.
Old Quantum Theory: A Paraconsistent Approach.Bryson Brown - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:397 - 411.
Logic and Aggregation.Bryson Brown & Peter Schotch - 1999 - Journal of Philosophical Logic 28 (3):265-288.
Inconsistent Models of Arithmetic Part I: Finite Models. [REVIEW]Graham Priest - 1997 - Journal of Philosophical Logic 26 (2):223-235.
Scientific Reasoning or Damage Control: Alternative Proposals for Reasoning with Inconsistent Representations of the World.Joel M. Smith - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:241 - 248.
Contradiction and Contrariety. Priest on Negation.Heinrich Wansing - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):81-93.

Analytics

Added to PP index
2009-01-28

Total views
54 ( #146,027 of 2,249,160 )

Recent downloads (6 months)
4 ( #483,924 of 2,249,160 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature