AGM-Like Paraconsistent Belief Change

Logic Journal of the IGPL 25 (4):632-672 (2017)
  Copy   BIBTEX


Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations.

Similar books and articles

Paraconsistent dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
Infinitary belief revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
Negation and Paraconsistent Logics.Soma Dutta & Mihir K. Chakraborty - 2011 - Logica Universalis 5 (1):165-176.
Reversing the Levi identity.Sven Ove Hansson - 1993 - Journal of Philosophical Logic 22 (6):637 - 669.
Paraconsistent Logic.David Ripley - 2015 - Journal of Philosophical Logic 44 (6):771-780.
Belief revision.Hans Rott - 2008 - In Jonathan Eric Adler & Lance J. Rips (eds.), Reasoning: Studies of Human Inference and its Foundations. Cambridge University Press. pp. 514--534.
A paraconsistent theory of belief revision.Edwin D. Mares - 2002 - Erkenntnis 56 (2):229 - 246.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
Descriptor Revision.Sven Ove Hansson - 2014 - Studia Logica 102 (5):955-980.
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.


Added to PP

420 (#40,811)

6 months
120 (#24,854)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Marcelo E. Coniglio
University of Campinas
Rafael Testa
University of Campinas

References found in this work

Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Subjunctives, dispositions and chances.Isaac Levi - 1977 - Synthese 34 (4):423 - 455.
Belief contraction without recovery.Sven Ove Hansson - 1991 - Studia Logica 50 (2):251 - 260.
Reversing the Levi identity.Sven Ove Hansson - 1993 - Journal of Philosophical Logic 22 (6):637 - 669.

View all 13 references / Add more references