Abstract
It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.
Similar content being viewed by others
Notes
Cf. Brown and Priest (2004) for a discussion of contradictions in the history of science and a paraconsistent logic dealing with some of those contradictions.
Cf. Priest (2006) chaps. 7 and 8.
Mares took expansion and contraction operations as primitive and defined them using the relevant logic R. He then defined revision in terms of expansion and contraction via Levi Identity. As Tanaka (2005) shows, however, some of the AGM revision postulates fail if we define revision in terms of the Levi Identity in paraconsistent logics. It is thus not clear to what extent Mares has succeeded in defining revision paraconsistently.
For a summary of paraconsistent approaches to AGM operations, see Wassermann (2011).
LP was introduced by Priest (1979).
Complete so as to guarantee the existence of greatest and least bounds which we require for the semantics of modalities, as we will see below.
Cf. Fagin et al. (1995).
For special cases of many-valued epistemic logic, for instance LP, defining knowledge in this way allows \(K\varphi \) to be evaluated as both true and false at some world. We acknowledge that there are other plausible definitions of knowledge in many-valued settings. For example, one can impose a classical definition of knowledge such that \(K\varphi \) is 1 (the top value) if it is 1 in all epistemically equivalent worlds. But this would make the logic non-paraconsistent: \(Kp\) would entail everything when \(\nu _w(p) = b\) for all \(w \in W\).
The logic we develop in this section may best be described as an ‘epistemic doxastic logic’ since \(B\varphi \) supplements rather than replaces knowledge operator. For simplicity, however, we refer to it as a ‘doxastic logic’ rather than ‘epistemic doxastic logic’.
For the concerned reader, well-foundedness guarantees the limit assumption which simplifies technical and conceptual details that are not critical in the context of this paper.
This approach was further explored in a multi-agent system in Baltag and Smets (2008).
That the end-result is a logically equivalent formula follows from the fact that every step in the transformation produces an equivalent formula, pushing the dynamic modality inside until it is attached to a propositional variable and then eliminated. Take the following simple example to illustrate the point: \([!p](q\vee r) \equiv [!p]q \vee [!q]\equiv p \rightarrow q \vee [!p]r \equiv p \rightarrow q \vee p \rightarrow r\).
Our choice of conditional is fully dictated by the semantics of \([!p]q\). For instance, the \(\mathrm{RM3}\) conditional would not suffice. The \(\mathrm{RM3}\) table for \(\rightarrow \) is given by:
Consider \([!p]q\) and take \(p = 1\) and \(q = b\). Then \([!p]q = b\), but \(p\rightarrow q = 0\). Nevertheless, one could define a belief revision \([!\varphi ]\psi \) that reduces to the RM3 arrow in the special case \([!p]q\). We leave this as an open problem.
That is, extending \(\mathrm{LP}^\rightarrow \) with any axiom or rule that produce new theorems yields a non-paraconsistent logic.
That is, adding any non-provable classical tautologies as axioms yields a non-paraconsistent logic.
References
Arieli, O., Avron, A., & Zamansky, A. (2011). Ideal paraconsistent logics. Studia Logica, 99, 31–60.
Avron, A. (1986). On an implication connective of RM. Notre Dame Journal of Formal Logic, 27, 201–209.
Baltag, A., & Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. Text in Logic and Games, 3, 9–58.
Beall, J., Forster, T., & Seligman, J. (2013). A mote on freedom from detachment in the logic of paradox. Notre Dame Journal of Formal Logic, 54(1), 15–20.
Brown, B., & Priest, G. (2004). Chunk and permeate—part I: The infinitesimal calculus. Journal of Philosophical Logic, 33, 379–388.
D’Ottaviano, I. M. L., & da Costa, N. (1970). Sur un problème de Jaśkowski. Comptes Rendus de l’Académie des Sciences de Paris, 270, 1349–1353.
Fagin, R., Halpern, J., Moses, Y., & Vardi, M. (1995). Reasoning about knowledge. Cambridge: MIT Press.
Girard, P., & Rott, H. (2014). Belief revision and dynamic logic. In A. Baltag & S. Smets (Eds.), Johan van Benthem on logic and information dynamics. Dordrecht: Springer.
Kooi, B. (2007). Expressivity and completeness for public update logics via reductions axioms. Journal of Applied Non-Classical Logics, 17(2), 231–253.
Mares, E. (2002). A paraconsistent theory of belief revision. Erkenntnis, 56, 229–246.
Priest, G. (1979). Logic of paradox. Journal of Philosophical Logic, 8, 219–241.
Priest, G. (1987). In contradiction. Dordrecht: Martinus Nijhoff Publishers.
Priest, G. (2002). Paraconsistent logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., pp. 287–393). Dordrecht: Kluwer Academic Publishers.
Priest, G. (2006). Doubt truth to be a liar. Oxford: Oxford University Press.
Priest, G. (2008). An introduction to non-classical logic (2nd ed.). Cambridge: Cambridge University Press.
Priest, G., Tanaka, K., & Weber, Z. (2013). Paraconsistent logic. In N. Z. Edward (Ed.), Stanford encyclopedia of philosophy. Stanford: Stanford University.
Plaza, J. (2007). Logics of public communications. Synthese, 158(2), 165–179.
Pratt VR. (1976). Semantical considerations on Floyd-Hoare Logic. Proceedings of the 17th Annual IEEE symposium on foundations of computer science, pp. 109–121.
Restall G, & Slaney J. (1995). Realistic belief revision, Proceedings of the second world conference on foundations of artificial intelligence, pp. 367–378.
Rott, H. (2009). Towards mathematical philosophy. Shifting priorities: Simple representations for twenty-seven iterated theory change operators (pp. 269–296). Dordrecht: Springer.
Tanaka, K. (2005). The AGM theory and inconsistent belief change. Logique et Analyse, 48, 113–150.
van Benthem J. (2006). One is a lonely number: On the logic of communication. In Z. Chatzidakis, P. Koepke, W. Pohlers (Eds.), Logic colloquium ‘02, vol. 27 of lecture notes in logic. Association for Symbolic Logic: Poughkeepsie.
van Benthem, J. (2007). Dynamic logic for belief revision. Journal of Applied Non-Classical Logics, 17, 1–27.
Wassermann, R. (2011). On AGM for non-classical logics. Journal of Philosophical Logic, 40, 271–294.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Girard, P., Tanaka, K. Paraconsistent dynamics. Synthese 193, 1–14 (2016). https://doi.org/10.1007/s11229-015-0740-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-015-0740-2