A modal logic of information
DOI:
https://doi.org/10.12775/LLP.2012.003Keywords
information, epistemic logic, doxastic logic, Kripke model, completeness, dynamic logicAbstract
We consider modal epistemic and doxastic logics as intuitively inadequate logics of information, and we outline a modal system of the operator being informed that which avoids inconsistency with our intuitive concept of information. The system has modal structure of the normal modal logic K4, and is sound and complete on the class of all transitive frames. We compare this logic with Floridi’s KTB information logic, and we consider a possibility of extending our system to a dynamic logic.References
Bar-Hillel, Y., 1953–55, “Information and content: A semantic analysis”, Synthese 9: 299–305.
van Benthem, J., 2009, “Actions that make us know”, pages 129–146 in: New Essays on the Knowability Paradox, J. Salerno (ed.), Oxford: Oxford University Press.
van Benthem, J., and M. Martinez, 2008, “The stories of logic and information”, pages 217–280 in: Philosophy of Information, P. Adriaans and J. van Benthem (eds.), Amsterdam: Elsevier.
Dretske, F., 1981, Knowledge and the Flow of Information, Cambridge, MA: MIT Press.
Dretske, F., 2008, “Epistemology and information”, pages 29–47 in: Philosophy of Information, P. Adriaans and J. van Benthem (eds.), Amsterdam: Elsevier.
Dunn, J.M., 2008, “Information in computer science”, pages 581–608 in: Philosophy of Information, P. Adriaans and J. van Benthem (eds.), Amsterdam: Elsevier.
Fetzer, J.H., 2004, “Information. Does it have to be true?”, Minds and Machines 14: 223–229.
Floridi, L., 2006, “The logic of being informed”, Logique et Analyse 196: 433–460.
Hintikka, J., 1962, Knowledge and Belief, Ithaca: Cornel University Press.
Misiuna, K., 2010, “O wartości prawdy” (“On the value of truth” in Polish), Przegląd Filozoficzny 73: 197–216.
Shannon, C.E., 1948, “A mathematical theory of communication”, Bell System Technical Journal 27: 379–423 and 623–656.
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 730
Number of citations: 1
