Minimally inconsistent LP

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


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.



    Upload a copy of this work     Papers currently archived: 83,836

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.


Added to PP

78 (#173,639)

6 months
6 (#144,844)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Graham Priest
CUNY Graduate Center

Citations of this work

Multiple-conclusion lp and default classicality.Jc Beall - 2011 - Review of Symbolic Logic 4 (2):326-336.
A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Ways Things Can't Be.Greg Restall - 1997 - Notre Dame Journal of Formal Logic 38 (4):583-596.
What If? The Exploration of an Idea.Graham Priest - 2017 - Australasian Journal of Logic 14 (1).

View all 59 citations / Add more citations

References found in this work

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