AGM-Like Paraconsistent Belief Change

Logic Journal of the IGPL 25 (4):632-672 (2017)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
PhilPapers/Archive ID
CONAPB
Revision history
Archival date: 2017-07-20
View upload history
References found in this work BETA
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Alchourrón, Carlos E.; Gärdenfors, Peter & Makinson, David
Paraconsistent Dynamics.Girard, Patrick & Tanaka, Koji

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2017-07-20

Total downloads
25 ( #32,802 of 37,122 )

Recent downloads (6 months)
6 ( #31,448 of 37,122 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.