A Logic for Using Information

Logics of information have abounded in the last two decades. A major point of conceptual and formal difference among various such logics has been represented by the interaction they model between information and truth. Floridi’s logic of “being informed” defines semantic information as the truthful basis for knowledge; Allo’s revisitation of it restraints this relation from the agent’s perspective; Primiero’s logic for “becoming informed” focuses on information as denoting assertibility conditions, whereas truth is only granted by their verification. The present article extends the debate to include aspects originating in semiotics and pragmatics to the study of information, in particular with respect to computational systems. We stress the role of the different informational users in exchanging and determining validity conditions for information and formalize a weighted multi-agent modal logic for “using information”. We present both a semantics and axiomatic systems, prove standard meta-theoretical results and show which fragments correspond to different interpretations of use of the computational systems under interpretation.