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.








logo
 
 
 
Financed by MNiSW on the basis of agreement no. 706/P-DUN/2018 (dated 10/05/18). Project 1: “Preparation of articles in English for eight editions of the journal Logic and Logical Philosophy over the period 2018–19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 64800 zł. Project 4: “Digitalisation of eight editions of the journal Logic and Logical Philosophy over the period 2018-19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 18600 zł.


ISSN: 1425-3305 (print version)
ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism