William P. Alston formulates and defends a realist conception of truth, which he calls alethic realism (from "aletheia", Greek for "truth").

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. (shrink)

The aim of this paper is to provide an overview of various forms of alethic pluralism. Along the way we will draw a number of distinctions that, hopefully, will be useful in mapping the pluralist landscape. Finally, we will argue that a commitment to alethic disjunctivism, a certain brand of pluralism, might be difficult to avoid for adherents of the other pluralist views to be discussed. We will proceed as follows: Section 1 introduces alethic monism and alethic pluralism. Section 2 (...) presents a distinction between strong and moderate versions of monism and pluralism, understood as theses about the existence of truth properties. Section 3 introduces four pluralist positions: strong alethic pluralism, alethic disjunctivism, second-order functionalism and manifestation functionalism. These positions are classified using the basic framework from Section 2, and a further distinction between pure and mixed versions of pluralism is drawn. Interestingly, alethic disjunctivism and the two kinds of functionalism—i.e. three out of four positions— have a mixed character. They incorporate a monist thesis. The only pure form of pluralism is strong alethic pluralism. Section 4 adds another distinction to the stock: one-level and two-level views. Each of the mixed positions operates with two levels, locating certain “alethically potent”—or grounding—properties at a lower level and others at a higher level. We briefly discuss the nature of grounding. In Section 5, we answer a question about mixed, two-level views, viz. whether they are as much monist as pluralist in nature, or more. They are not. Section 6 is devoted to the task of arguing that the strong pluralist, the second-order functionalist, and the manifestation functionalist will find it hard to deny a commitment to alethic disjunctivism. (shrink)

Alston begins his exposition of the realist conception of truth in chapter 1 with a roughly Aristotelian formulation: “A statement is true if and only if what the statement says to be the case actually is the case”. This condition has the drawback that it defines truth via illocutionary acts; yet, as Alston argues, propositions are the most basic truth-bearers. Alston therefore turns to the universalized T-schema for a condition that characterizes the truth of propositions without mentioning illocutionary acts: “ (...) The proposition that p is true iff p”, where “” is a substitutional rather than objectual quantifier over propositions. Later Alston avers that this account of truth is equivalent to another that is overtly realist in characterizing truth in terms of facts, a minimalist correspondence theory: “ The proposition that p is true iff it is a fact that p”. (shrink)

Russian translation of Gettier E. L. Is Justified True Belief Knowledge? // Analysis, vol. 23, 1963. Translated by Lev Lamberov with kind permission of the author.

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. (shrink)

Survey of some recent literature on normativity, including nonreductionist, neo-Aristotelian, neo-Humean, expressivist, and constructivist views.

A correspondence theory of truth explains truth in terms of various correspondence relations (e.G., Reference) between words and the extralinguistic world. What are the consequences of quine's doctrine of indeterminacy for correspondence theories? in "ontological relativity" quine implicitly claims that correspondence theories are impossible; that is what the doctrine of 'relative reference' amounts to. But quine's doctrine of relative reference is incoherent. Those who think the indeterminacy thesis valid should not try to relativize reference, They should abandon the relation and (...) replace it by certain more general correspondence relations between words and extralinguistic objects. Doing so will not interfere with the task of defining truth in terms of correspondence relations. (shrink)

What is truth? What precisely is it that truths have that falsehoods lack? Pluralists about truth (or “alethic pluralists”) tend to answer these questions by saying that there is more than one way for a proposition, sentence, belief—or any chosen truth-bearer—to be true. In this paper, I argue that two of the most influential formations of alethic pluralism, those of Wright (1992, 2003a) and Lynch (2009), are subject to serious problems. I outline a new formulation, which I call “simple determination (...) pluralism,” that I claim offers better prospects for alethic pluralism, with the potential to have applications for pluralist theories beyond truth. (shrink)

[ES] La creencia es considerada como una especie de expresión, que alcanza un nivel de éxito si es verdadera, un segundo nivel si es competente, y un tercero si es verdadera por ser competente. El conocimiento a un nivel es una creencia apta. La normatividad epistémica que constituye tal conocimiento es, de esta manera, una especie de normatividad de la expresión. Un problema surge para esta explicación del hecho de que la suspensión de la creencia parece caer bajo la misma (...) especie de normatividad epistémica que la creencia misma; aunque suspender es, sin embargo, precisamente no actuar, en todo caso no teniendo como objetivo la verdad. El presente trabajo examina este problema, y propone una solución que distingue varios niveles de normatividad de expresión, incluyendo un primer orden donde la competencia de expresión está en juego, y un segundo orden en que el ejecutante tiene que evaluar el riesgo concomitante con la realización de una expresión de primer orden. Esto introduce un nivel de conocimiento reflexivo que se eleva encima del nivel animal. [EN] Belief is considered a kind of performance, which attains one level of success if it is true, a second level if competent, and a third if true because competent. Knowledge on one level is apt belief. The epistemic normativity constitutive of such knowledge is thus a kind of performance normativity. A problem is posed for this account by the fact that suspension of belief seems to fall under the same sort of epistemic normativity as does belief itself, yet to suspend is of course precisely not to perform, certainly not with the aim of truth. The paper takes up this problem, and proposes a solution that distinguishes levels of performance normativity, including a first order where execution competence is in play, and a second order where the performer must assess the risks attendant on issuing a first-order performance. This imports a level of reflective knowledge that ascends above the animal level. (shrink)

Belief is considered a kind of performance, which attains one level of success if it is true, a second level if competent, and a third if true because competent. Knowledge on one level is apt belief. The epistemic normativity constitutive of such knowledge is thus a kind of performance normativity. A problem is posed for this account by the fact that suspension of belief seems to fall under the same sort of epistemic normativity as does belief itself, yet to suspend (...) is of course precisely not to perform, certainly not with the aim of truth. The paper takes up this problem, and proposes a solution that distinguishes levels of performance normativity, including a first order where execution competence is in play, and a second order where the performer must assess the risks attendant on issuing a first-order performance. This imports a level of reflective knowledge that ascends above the animal level. (shrink)

This is one of the seminal articles of the pragmatist tradition where C.S. Peirce sets out his doctrine of doubt and belief --and their relationship to inquiry and clarity of our concepts. Originally published in the Popular Science Monthly; and widely available in reprints and collections of Peirce's writings.