Semantic Information and the Correctness Theory of Truth

Erkenntnis 74 (2):147-175 (2011)
Luciano Floridi
Oxford University
Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained
Keywords Philosophy   Logic   Ethics   Ontology   Epistemology   Philosophy
Categories (categorize this paper)
DOI 10.1007/s10670-010-9249-8
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,423
Through your library

References found in this work BETA

Studies in the Way of Words.H. Paul Grice - 1989 - Cambridge: Harvard University Press.
The Philosophy of Information.Luciano Floridi - 2011 - Oxford University Press.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.

View all 35 references / Add more references

Citations of this work BETA

What is A Philosophical Question?Luciano Floridi - 2013 - Metaphilosophy 44 (3):195-221.

View all 9 citations / Add more citations

Similar books and articles

Strongly Semantic Information and Verisimilitude.Gustavo Cevolani - 2011 - Etica and Politica / Ethics and Politics (2):159-179.
A Critical Analysis of Floridi’s Theory of Semantic Information.Pieter Adriaans - 2010 - Knowledge, Technology & Policy 23 (1-2):41-56.
Is Semantic Information Meaningful Data?Luciano Floridi - 2005 - Philosophy and Phenomenological Research 70 (2):351-370.
On Quantifying Semantic Information.Simon D'Alfonso - 2011 - Information 2 (1):61-101.
Pre-Cognitive Semantic Information.Orlin Vakarelov - 2010 - Knowledge, Technology & Policy 23 (1-2):193-226.
Information: Does It Have to Be True? [REVIEW]James H. Fetzer - 2004 - Minds and Machines 14 (2):223-229.
Logical Pluralism and Semantic Information.Patrick Allo - 2007 - Journal of Philosophical Logic 36 (6):659 - 694.
Semantic Theory and Language: A Perspective (Reprinted in Callaway 2008, Meaning Without Analyticity).H. G. Callaway - 1981 - Proceedings of the Southwestern Philosophical Association; Philosophical Topics 1981 (summer):93-103.
From Symbolism to Information? – Decoding the Gene Code.Frode Kjosavik - 2007 - Biology and Philosophy 22 (3):333-349.
The Transmission Sense of Information.Carl T. Bergstrom & Martin Rosvall - 2011 - Biology and Philosophy 26 (2):159-176.


Added to PP index

Total downloads
97 ( #65,234 of 2,284,970 )

Recent downloads (6 months)
12 ( #36,431 of 2,284,970 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature