A modal logic of information

Krystyna Misiuna

DOI: http://dx.doi.org/10.12775/LLP.2012.003

Abstract


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


information; epistemic logic; doxastic logic; Kripke model; completeness; dynamic logic

Full Text:

PDF

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.








Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism