Semantic Information and the Correctness Theory of Truth

Erkenntnis 74 (2):147-175 (2011)
Abstract
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 No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 10,374
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

View all 28 references

Citations of this work BETA
Similar books and articles
Gustavo Cevolani (2011). Strongly Semantic Information and Verisimilitude. Etica and Politica / Ethics and Politics (2):159-179.
Luciano Floridi (2005). Is Semantic Information Meaningful Data? Philosophy and Phenomenological Research 70 (2):351-370.
Orlin Vakarelov (2010). Pre-Cognitive Semantic Information. Knowledge, Technology & Policy 23 (2):193-226.
Patrick Allo (2007). Logical Pluralism and Semantic Information. Journal of Philosophical Logic 36 (6):659 - 694.
Patrick Allo (2010). A Classical Prejudice? Knowledge, Technology and Policy 23 (1-2):25-40.
H. G. Callaway (1981). Semantic Theory and Language: A Perspective (Reprinted in Callaway 2008, Meaning Without Analyticity). Proceedings of the Southwestern Philosophical Association; Philosophical Topics 1981 (summer):93-103.
Analytics

Monthly downloads

Added to index

2010-11-18

Total downloads

42 ( #38,445 of 1,096,831 )

Recent downloads (6 months)

3 ( #106,677 of 1,096,831 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.