Minimally inconsistent LP

Studia Logica 50 (2):321 - 331 (1991)
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
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,150
Through your library
References found in this work BETA
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.
Inconsistent Models of Arithmetic Part I: Finite Models. [REVIEW]Graham Priest - 1997 - Journal of Philosophical Logic 26 (2):223-235.
On Dialethism.Laura Goodship - 1996 - Australasian Journal of Philosophy 74 (1):153 – 161.

View all 16 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.

Monthly downloads

Added to index

2009-01-28

Total downloads

35 ( #143,261 of 2,152,224 )

Recent downloads (6 months)

3 ( #226,015 of 2,152,224 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums