A Modal Logic of Information

• Authors: Krystyna Misiuna
• Languages of publication: EN

Abstracts

EN

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.

Keywords

EN

Information; Epistemic Logic; Doxastic Logic; Kripke Model; Completeness; Dynamic Logic

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2012
• Volume: 21
• Issue: 1
• Pages: 33-51

Dates

published

2012-03-01

online

2013-07-02

Contributors

author

Krystyna Misiuna

• University of Warsaw

References

• Bar-Hillel, Y., 1953-55, “Information and content: A semantic analysis”, Syn-these 9: 299-305.
• van Benthem, J., 2009, “Actions that make us know”, pages 129-146 in: NewEssays on the Knowability Paradox, J. Salerno (ed.), Oxford: Oxford Uni- versity Press. van Benthem, J., and M. Martinez, 2008, “The stories of logic and informa- tion”, 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: Philos-ophy of Information, P. Adriaans and J. van Benthem (eds.), Amsterdam: Elsevier.
• Dunn, J.M., 2008, “Information in computer science”, pages 581-608 in: Phi-losophy of Information, P. Adriaans and J. van Benthem (eds.), Amsterdam: Elsevier.
• Fetzer, J.H., 2004, “Information. Does it have to be true?”, Minds and Ma-chines 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 SystemTechnical Journal 27: 379-423 and 623-656.

Identifiers

DOI

10.12775/LLP.2012.003