Abstract
AbstractThis paper offers a logico-algebraic investigation of AGM belief revision based on the logic of paradox ($$\mathrm {LP}$$
LP
). First, we define a concrete belief revision operator for $$\mathrm {LP}$$
LP
, proving that it satisfies a generalised version of the traditional AGM postulates. Moreover, we investigate to what extent the Levi and Harper identities, in their classical formulation, can be applied to a paraconsistent account of revision. We show that a generalised Levi-type identity still yields paraconsistent-based revisions that are fully compatible with the AGM postulates. The main outcome is that, once the classical AGM framework is lifted up to an appropriate level of generality, it still appears as a regulative ideal for treating of paraconsistent-based epistemic operators.
Publisher
Springer Science and Business Media LLC
Reference22 articles.
1. Albuquerque, H., Přenosil, A., & Rivieccio, U. (2017). An algebraic view of super-Belnap logics. Studia Logica, 105(6), 1051–1086.
2. Alchourrón, C. E., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic logic, 50(2), 510–530.
3. Alchourrón, C., & Makinson, D. (1982). On the logic of theory change: Contraction functions and their associated revision functions. Theoria, 48(1), 14–37.
4. Bueno, O., & da Costa, N. (1998). Belief change and inconsistency. Logique et analyse, 50(2), 41.161/163, 31–56.
5. Burris, S., & Sankappanavar, H. P. (1981). A course in universal algebra. Springer.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献