The logic of being informed

L. Floridi

Research output: Contribution to journalArticlepeer-review

48 Citations (Scopus)
78 Downloads (Pure)


One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistemic (EL) and doxastic logic (DL), which formalises the relation a is informed--that p (Iap) satisfactorily. In this paper, the problem is--solved by arguing that the axiom schemata of the normal modal logic (NML) KTB (also known as B or Br or Brouwer's system) are well suited to formalise the relation of being informed . After having shown that IL can be constructed as an informational reading--of KTB, four consequences of a KTB-based IL are explored: information overload; the veridicality thesis (Iap ! p); the relation between IL and EL; and theKp ! Bp principle or entailment property, according to which knowledge implies belief. Although these issues are discussed later in the article, they are the motivations behind the development of IL.
Original languageEnglish
Pages (from-to)433-460
JournalLogique et Analyse
Issue number196
Publication statusPublished - 2006


Dive into the research topics of 'The logic of being informed'. Together they form a unique fingerprint.

Cite this