Abstract
Epistemic logics based on normal modal logic are notoriously bad at handling inconsistent and yet non-trivial information. This fact motivates epistemic logics based on paraconsistent logic, examples of which can be traced back at least to the 1980s. These logics handle inconsistent and non-trivial information, but they usually do not articulate sources of the inconsistency. Yet, making the origin of an inconsistency present in a body of information explicit is important to assess the body—can we trace the mutually conflicting pieces of information to sources of information relevant to the body or is the inconsistency a result of an error unrelated to any outside sources? Is the inconsistency derived from various equally trustworthy sources or from a single inconsistent source? In this article we show that a paraconsistent modal logic, namely, the logic B K introduced by Odintsov and Wansing, is a first step toward a formalism capable of making these distinctions explicit. We interpret the accessibility relation between states in a model as a source relation—states accessible from a given state are seen as sources of potential justification of the information contained in the original state. This interpretation also motivates the study of a number of extensions of B K. We focus here on extensions of B K able to articulate the relation of compatibility between bodies of information and extensions working with labels explicitly differentiating between bodies of information. In the case of compatibility-based extensions a more detailed technical study including a completeness proof is provided; technical features of the simpler case of label-based extensions, on the other hand, are discussed without going into details.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
O. Arieli and A. Avron. Reasoning with logical bilattices. Journal of Logic, Language and Information, 5(1):25–63, 1996.
S. Artemov. The logic of justification. The Review of Symbolic Logic, 1(4):477–513, 2008.
N. Belnap. A useful four-valued logic. In J. M. Dunn and G. Epstein, editors, Modern Uses of Multiple-Valued Logic, pages 5–37. Springer Netherlands, Dordrecht, 1977.
N. Belnap. How a computer should think. In G. Ryle, editor, Contemporary Aspects of Philosophy. Oriel Press Ltd., 1977.
M. Bílková, O. Majer, and M. Peliš. Epistemic logics for sceptical agents. Journal of Logic and Computation, 26(6):1815–1841, 2016.
P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2001.
C. Boutilier. Toward a logic for qualitative decision theory. In J. Doyle, E. Sandewall, and P. Torasso, editors, Principles of Knowledge Representation and Reasoning, pages 75–86. 1994.
J. M. Dunn. The Algebra of Intensional Logics. PhD Thesis, University of Pittsburgh, 1966.
J. M. Dunn. Intuitive semantics for first-degree entailments and ‘coupled trees’. Philosophical Studies, 29(3):149–168, 1976.
J. M. Dunn. Star and perp: Two treatments of negation. Philosophical Perspectives, 7(1):331–357, 1993.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995.
J. Hintikka. Knowledge and Belief. An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca, NY, 1962.
G. E. Hughes and M. Cresswell. A New Introduction to Modal Logic. Routledge, London and New York, 1996.
H. Levesque. A logic of implicit and explicit belief. In Proceedings of AAAI 1984, pages 198–202, 1984.
J.-J. C. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science. Cambridge University Press, 1995.
S. P. Odintsov and E. I. Latkin. BK-lattices. Algebraic semantics for Belnapian modal logics. Studia Logica, 100(1):319–338, 2012.
S. P. Odintsov and S. O. Speranski. The lattice of Belnapian modal logics: Special extensions and counterparts. Logic and Logical Philosophy, 25(1):3–33, 2016.
S. P. Odintsov and S. O. Speranski. Belnap-Dunn modal logics: truth constants vs. truth values. Sumbitted, 2018.
S. P. Odintsov and H. Wansing. Modal logics with Belnapian truth values. Journal of Applied Non-Classical Logics, 20(3):279–301, 2010.
S. P. Odintsov and H. Wansing. Disentangling FDE-based paraconsistent modal logics. Studia Logica, 105(6):1221–1254, 2017.
G. Restall. An Introduction to Substrucutral Logics. Routledge, London, 2000.
I. Sedlár. Propositional dynamic logic with Belnapian truth values. In Advances in Modal Logic. Vol. 11, London, 2016. College Publications.
J. van Benthem, P. Girard, and O. Roy. Everything else being equal: A modal logic for ceteris paribus preferences. Journal of Philosophical Logic, 38(1):83–125, 2009.
J. van Benthem and M. Martinez. The stories of logic and information. In P. Adriaans and J. van Benthem, editors, Philosophy of Information, pages 217–280. Elsevier, 2008.
J. van Benthem, S. van Otterloo, and O. Roy. Preference logic, conditionals, and solution concepts in games. In H. Lagerlund, S. Lindström, and R. Sliwinski, editors, Modality matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies, 2006.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Sedlár, I., Majer, O. (2019). Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic. In: Omori, H., Wansing, H. (eds) New Essays on Belnap-Dunn Logic. Synthese Library, vol 418. Springer, Cham. https://doi.org/10.1007/978-3-030-31136-0_17
Download citation
DOI: https://doi.org/10.1007/978-3-030-31136-0_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-31135-3
Online ISBN: 978-3-030-31136-0
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)