Theories of Truth

Well over half a century before the development of contemporary experimental philosophy, the Norwegian philosopher Arne Næss conducted a number of empirical investigations intended to document non-philosophers’ convictions regarding a number of topics of philosophical interest. In the 1930s and 1950s, Næss collected data relevant to non-philosophers’ conceptions of truth. This research attracted the attention of Alfred Tarski at the time, and has recently been re-evaluated by Robert Barnard and Joseph Ulatowski. In this paper I return to Næss’s research on (...) truth in order to better develop an account of how such empirical data does or doesn’t bear on the philosophical study of truth. I examine Næss’s findings from his various studies on truth, and challenge the interpretation of those studies offered by Barnard and Ulatowski. (shrink)

According to Aristotle if a universal proposition (for example: “All men are white”) is true, its contrary proposition (“All men are not white”) must be false; and, according to Aristotle, if a universal proposition (for example: “All men are white”) is true, its contradictory proposition (“Not all men are white”) must be false. I agree with what Aristotle wrote about universal propositions, but there are universal propositions which have no contrary proposition and have no contradictory proposition. The proposition X “All (...) the propositions that contradict this proposition are true” does not have the contrary proposition and does not have the contradictory proposition. In fact: FEX “All the propositions that contradict this proposition are not true” has a different subject: the subject of the proposition X is constituted by all the propositions that contradict the proposition X; by contrast, the subject of the proposition FEX is constituted by all the propositions that contradict the proposition FEX. And FOX “Not all the propositions that contradict this proposition are true” has a different subject: the subject of the proposition X is constituted by the propositions that contradict the proposition X; by contrast, the subject of the proposition FOX is constituted by the propositions that contradict the proposition FOX. According to Aristotle, a singular proposition (in his example: "Socrates is white") which is true must have its negative proposition ("Socrates is not white") which is false. I agree with Aristotle, but there are singular propositions which do not have the corresponding negative proposition. The proposition (or, rather, the pseudo-proposition) L “This same statement is not true” does not have the negative proposition because the proposition FNL “This same statement is true” has a different subject from the subject of the proposition L: the subject of the proposition L is the proposition L; by contrast, the subject of the proposition FNL is the proposition FNL. L and FNL cannot have the same subject. By contrast, the proposition M “This mount is entirely in Swiss territory” and the proposition NM “This mount is not entirely in Swiss territory” can have the same subject (for example, the Mount Eiger): in case the subject of the proposition M and the subject of the proposition NM is the same, M and NM are opposite propositions, NM is the negative proposition of M. By contrast, the proposition (or, rather, the pseudo-proposition) L "This same statement is not true" cannot have the corresponding negative proposition because FNL "This same statement is true" has a different subject: the subject of L is L ; by contrast, the subject of FNL is FNL. Then the paper continues by analyzing some variants of the liar’s paradox: L1 “The statement L1 is not true”; the so-called liar cycle; and the so-called Yablo’s paradox. (shrink)

Philosophical theories of various sorts rely on there being robust boundaries between kinds of content. One way of drawing such boundaries is to place them between subject matters, like physics and aesthetics, and the domains of sentences falling within them. Yet contemporary literature exploring the nature of discourse domains is relatively sparse. The goal of this paper is to articulate the core features of discourse domains for them to provide the sought-after explanatory utility of establishing robust boundaries between discursive contents. (...) Analyzing the role that discourse domains have under alethic theories yields valuable information about the ways in which domains subject themselves to being defined and how alethic theories can explain the variability of truth-aptness or truth across sentences from distinct domains. The concluding argument is that because of certain issues with defining domains as unambiguous classes of sentences when individuated on the grounds of topical subject matters, philosophers should consider a commitment to indeterminism about the extensions of fundamental domains. According to this view, although domains can be defined as relatively well-individuated classes of sentences based on topical distinctions, the temporal development of our conceptual frameworks and the phenomenon of mixed content compromise our ability to definitively account for the domain membership of all truth-apt sentences. Such an indeterminacy argument is relevant for all who rely on there being robust boundaries between topically individuated discursive contents. (shrink)

This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counterarguments for various proposed solutions (“the revenge of the Liar”). This solution complements the classical procedure of determining the truth values of sentences by its own failure and, when the procedure fails, through an appropriate semantic shift allows us to express the failure in a classical two-valued language. (...) Formally speaking, the solution is a language with one meaning of symbols and two valuations of the truth values of sentences. The primary valuation is a classical valuation that is partial in the presence of the truth predicate. It enables us to determine the classical truth value of a sentence or leads to the failure of that determination. The language with the primary valuation is precisely the largest intrinsic fixed point of the strong Kleene three-valued semantics (LIFPSK3). The semantic shift that allows us to express the failure of the primary valuation is precisely the classical closure of LIFPSK3: it extends LIFPSK3 to a classical language in parts where LIFPSK3 is undetermined. Thus, this article provides an argumentation, which has not been present in contemporary debates so far, for the choice of LIFPSK3 and its classical closure as the right model for the truth predicate. In the end, an erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out. (shrink)

This paper presents four key results. Firstly, it distinguishes between _partial_ and _consistent_ assertion of a sentence, and introduces the concept of an _equivocal_ sentence, which is both partially asserted and partially denied. Secondly, it proposes a novel definition of truth, stating that _a true sentence is one that is consistently asserted_. This definition is immune from the Liar paradox, does not restrict classical logic, and can be applied to declarative sentences in the language used by any particular person. Thirdly, (...) the paper introduces an epistemic model of language, known as _assertional language_, which is used to formalize the definition of truth. Finally, it provides an argument for the falsity of so-called Liar sentences. The paper also discusses Tarski's solution to the Liar paradox and argues for the abandonment of the Tarski Scheme: _'p' is true if and only if p_, in the context of everyday language. The proposed definition of truth can be viewed as a formal account of the correspondence theory. The epistemic model is a powerful concept on its own that allows for combining different languages in a meaningful way. This model is uniquely capable of reflecting on epistemic inconsistencies, such as logical paradoxes, in a consistent manner. (shrink)

An old and well-known objection to non-classical logics is that they are too weak; in particular, they cannot prove a number of important mathematical results. A promising strategy to deal with this objection consists in proving so-called recapture results. Roughly, these results show that classical logic can be used in mathematics and other unproblematic contexts. However, the strategy faces some potential problems. First, typical recapture results are formulated in a purely logical language, and do not generalize nicely to languages containing (...) the kind of vocabulary that usually motivates non-classical theories—for example, a language containing a naïve truth predicate. Second, proofs of recapture results typically employ classical principles that are not valid in the targeted non-classical system; hence, non-classical theorists do not seem entitled to those results. In this paper, we analyze these problems and provide solutions on behalf of non-classical theorists. To address the first problem, we provide a novel kind of recapture result, which generalizes nicely to a truth-theoretic language. As for the second problem, we argue that it relies on an ambiguity and that, once the ambiguity is removed, there are no reasons to think that non-classical logicians are not entitled to their recapture results. (shrink)

This article is devoted to the philosophical study of the conditions under which knowledge can become a component or tool of education. The presentation of the contribution of epistemology to human development and education is based on addressing issues such as the nature of knowledge, sources of knowledge, theories, and criteria of truth. We proceed from the idea that knowledge is a condition of education. Particular attention is paid to the issue of distinguishing between such types of knowledge as 'knowing (...) how’ and ‘knowing that'. Educational practices open a common foundation that unites the life world of people, types of sociality, and hermeneutical practices. The epistemological approach to the question of the essence of knowledge assumes that knowledge meets three requirements, namely, knowledge must be objective, subjective, and evidentiary. Epistemology includes subjectivity as the basis of human existence in the natural world and the world with others. Intersubjectivity is considered a criterion for the reliability of knowledge about the world, which allows asserting the relationship of the objective with the subjective. (shrink)

Totuus on nykyisellään laaja-alaisen kritiikin kohteena niin akateemisessa, poliittisessa kuin vähemmän formaalissakin kontekstissa. Puolustan filosofisesti kestävää ja selitysvoimaista totuuskäsitettä tältä laaja-alaiselta kritiikiltä argumentoimalla sen arvon ja normatiivisuuden puolesta. Totuus on välineellisesti arvokas käsite, joka mahdollistaa todellisuuden erottamisen kuvitelmasta ja toiveajattelusta. Tämän lisäksi todet uskomukset ovat välineellisesti arvokkaita moninaisten hyötyjen, kuten onnistuneiden ennustusten ja navigoinnin saavuttamisessa. Toisaalta olemme joskus kiinnostuneita totuudesta pelkästään sen itsensä takia. Totuuden normatiivisuudesta kertoo taipumuksemme pitää sitä yleisenä tiedollisten pyrkimysten päämääränä ja yhtenä uskomuksen sekä väitettävyyden oikeellisuuden standardina, (...) johon suhteessa olemme eri mieltä ja jonka puhumista edellytämme luokka- ja oikeussaleissamme sekä parlamenteissamme. Edellisen nojalla totuus ei osoittaudu pelkästään mielenkiintoiseksi teoreettisen tarkastelun kohteeksi, vaan käsitteeksi, jolla on laaja-alaista tieteellistä ja yhteiskunnallista merkittävyyttä. (shrink)

Incluido a modo de prólogo en el libro Epistemología crítica de la violencia del capital. Verdad y violencia epistémica, el trabajo “Verdad y violencia epistémica. Desafíos al conocimiento humanista sobre lo universal” busca analizar críticamente esa forma particular de violencia que, utilizando herramientas epistemológicas, se basa en el control monopólico de la verdad y en el secuestro de la universalidad humana por parte de aquellos que encarnan los intereses asociados a la lógica del capital y que, precisamente gracias a ese (...) control y a ese secuestro, hacen pasar por verdadera y universal su propia visión del mundo. Al mismo tiempo, se devela la complicidad que con tal posición posee en los hechos, sea o no consciente de ello, aquella postura teórica que, para supuestamente enfrentar tal usurpación de la verdad y la universalidad, asume como salida la negación en abstracto de la existencia misma de la una y la otra. En contraste crítico con esta postura, el trabajo se propone mostrar las condiciones de posibilidad real y concreta del conocimiento verdadero sobre lo universal. (shrink)

Fascinated by the recent scientific progress, even some philosophers today claim that philosophy is dead and that natural sciences (quantum cosmology, cognitive sciences) can answer questions which were once considered a domain of metaphysics: is our universe finite? Do we have free will? etc. The essay tries to problematize this claims by raising a series of questions. First, it is easy to show that modern science itself relies on a series of philosophical propositions. Second, what accounts for the role of (...) science in our world is its link with capitalism. Third, we should distinguish between knowledge and truth: not only philosophy, other discourses (like Marxism or psychoanalysis) also practice a notion of truth which cannot be reduced to knowledge. -/- . (shrink)

La vérité est le degré d’exactitude d’une représentation de la réalité. Nous postulons trois étapes cognitives : le psychon, produit par la perception ; le construit, produit par intellection; et l’acte de parole, produit par la communication. La vérité se trouve à la seconde étape; seuls les construits sont aléthiques. La vérité est une qualité qui vient en degrés. La certitude est le point d’aboutissement parfait et inaccessible de cette gradation ; il s’agit donc d’un concept idéal. Une thèse est (...) réputée vraie si son degré aléthique est acceptablement efficace, sinon la thèse est considérée comme fausse. En d’autres termes, nous jugeons vraie toute thèse n’ayant pas assez d’échecs pour qu’elle soit considérée fausse. (shrink)

Las afirmaciones verdaderas reciben su justificación de creencias que tienen al conocimiento como base, por lo que para su formulación y comprensión se necesita asumir una posición fundacionalista. En este artículo se propone un fundacionalismo confiabilista, inspirado en Goldman, aunque con cambios importantes respecto a su teoría. A diferencia de Goldman, considero que no todas las creencias tienen que ser verdaderas, ni toda justificación de las creencias requiere de la verdad. Adicionalmente, las creencias verdaderas, expresadas mediante oraciones asertóricas, estarían fundadas (...) en creencias aún más básicas, cuya justificación proviene del uso del lenguaje. (shrink)

Le réalisme scientifique occupe une place centrale dans le système philosophique de Mario Bunge. Au cœur de cette thèse, on trouve l’affirmation selon laquelle nous pouvons connaître le monde partiellement. Il s’ensuit que les théories scientifiques ne sont pas totalement vraies ou totalement fausses, mais plutôt partiellement vraies et partiellement fausses. Ces énoncés sur la connaissance scientifique, à première vue plausible pour quiconque est familier avec la pratique scientifique, demandent néanmoins à être clarifiés, précisés et, ultimement, à être inclus dans (...) un cadre théorique plus large et rigoureux. Depuis ses toutes premières publications sur ces questions et jusqu’à récemment, Mario Bunge n’a cessé d’interpeller les philosophes afin qu’ils développent une théorie, au sens propre du terme, de la vérité partielle afin de clarifier les enjeux épistémologiques liés au réalisme scientifique. Bunge a lui-même proposé plusieurs parties de cette théorie au fil des années, mais aucune de ces propositions ne l’a satisfait pleinement et la construction de cette théorie demeure un problème entier. Dans ce texte, nous passerons rapidement en revue certaines des approches proposées par Bunge dans ses publications et nous esquisserons certaines pistes qui devraient servir à tout le moins de desiderata pour la construction d’une théorie de la vérité partielle. (shrink)

In his presidential address to the APA, Alvin Plantinga argues that the only sensible way to be an anti-realist is to be a theist. Anti-realism (AR) in this context is the epistemic analysis of truth that says, "(AR) necessarily, a statement is true if and only if it would be believed by an ideally [or sufficiently] rational agent/community in ideal [or sufficiently good] epistemic circumstances." Plantinga demonstrates, with modest modal resources, that AR entails that necessarily, ideal epistemic circumstances obtain. As (...) it is a contingent matter whether ideal epistemic circumstances obtain, Plantinga concludes that an anti-realist should be a theist. In this paper, we show that counterfactual analyses of truth as epistemic are instances of a more general problem of philosophical analysis. More specifically, without a radical revision of the logic, counterfactual analyses of truth as epistemic cannot avoid perpetrating some version of the conditional fallacy. Even so, we argue, anti-realists are not committed to the necessary existence of ideal epistemic circumstances and therefore need not be theists. (shrink)

Coherence considerations play an important role in science and in everyday reasoning. However, it is unclear what exactly is meant by coherence of information and why we prefer more coherent information over less coherent information. To answer these questions, we first explore how to explicate the dazzling notion of ``coherence'' and how to measure the coherence of an information set. To do so, we critique prima facie plausible proposals that incorporate normative principles such as ``Agreement'' or ``Dependence'' and then argue (...) that the coherence of an information set is best understood as an indicator of the truth of the set under certain conditions. Using computer simulations, we then show that a new probabilistic measure of coherence that combines aspects of the two principles above, but without strictly satisfying either principle, performs particularly well in this regard. (shrink)

Neurath (1932) suggests that in our quest for scientific knowledge “we are like sailors who have to rebuild their ship on the open sea, without ever being able to dismantle it in dry-dock and reconstruct it from its best components”. Neurath's boat features in discussions of various philosophical ideas, including the debate with foundationalism and coherentism about justification, the ethics literature on reflective equilibrium, and naturalistic approaches to metaphilosophy.

Truth pluralists say that the nature of truth varies between domains of discourse: while ordinary descriptive claims or those of the hard sciences might be true in virtue of corresponding to reality, those concerning ethics, mathematics, institutions might be true in some non-representational or “anti-realist” sense. Despite pluralism attracting increasing amounts of attention, the motivations for the view remain underdeveloped. This paper investigates whether pluralism is well-motivated on ontological grounds: that is, on the basis that different discourses are concerned with (...) different kinds of entities. Arguments that draw on six different ontological contrasts are examined: concrete versus abstract entities; mind-independent versus mind-dependent entities; sparse versus merely abundant properties; objective versus projected entities; natural versus non-natural entities; and ontological pluralism. I argue that the additional premises needed to move from such contrasts to truth pluralism are either implausible or unmotivated, often doing little more than to bifurcate the nature of truth when a more theoretically conservative option is available. If there is a compelling motivation for pluralism, I suggest, it’s likely to lie elsewhere. (shrink)

The concept of truth and competing philosophical theories on what truth amounts to have an important place in contemporary philosophy. The aim of this chapter is to give a synopsis of different theories of truth and the particular philosophical issues related to the concept of truth. The literature on this topic is vast, and we must necessarily be rather selective and very brief about complex questions of interpretation of various philosophers. The focus of the chapter is mainly on selected systematic (...) issues and the most influential and well-established philosophical theories and key concepts. (shrink)

Putnam and Davidson both defended coherence theories of justification from the early 1980s onward. There are interesting similarities between these theories, and Putnam’s philosophical development lead to further convergence in the 1990s. The most conspicuous difference between Putnam’s and Davidson’s theories is that they appear to fundamentally disagree on the role and nature of conceptual schemes, but a closer look reveals that they are not as far apart on this issue as usually assumed. The veridicality of perceptual beliefs is a (...) cornerstone of both Davidson’s and Putnam’s later (but not earlier) coherentism. However, this thesis introduces a form of weak foundationalism into their theories, and consequently, those are strictly speaking not pure coherence theories, but hybrids between coherentism and foundationalism. (shrink)

►JOHN CORCORAN AND IDRIS SAMAWI HAMID, Two-method errors: having it both ways. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] Philosophy, Colorado State University, Fort Collins, CO 80523-1781 USA E-mail: [email protected] Where two methods produce similar results, mixing the two sometimes creates errors we call two-method errors, TMEs: in style, syntax, semantics, pragmatics, implicature, logic, or action. This lecture analyzes examples found in technical and in non-technical contexts. One can say “Abe knows whether Ben draws” in two other (...) ways: ‘Abe knows whether or not Ben draws’ or ‘Abe knows whether Ben draws or not’. But a stylistic TME occurs in ‘Abe knows whether or not Ben draws or not’. One can say “Abe knows how Ben looks” using ‘Abe knows what Ben looks like’. But syntactical TMEs are in ‘Abe knows what Ben looks’ and in ‘Abe knows how Ben looks like’. One can deny that Abe knows Ben by prefixing ‘It isn’t that’ or by interpolating ‘doesn’t’. But a pragmatic TME occurs in trying to deny that Abe knows Ben by using ‘It isn’t that Abe doesn’t know Ben’. There are several standard ways of defining truth using sequences. Quine’s discussions in the 1970 first printing of Philosophy of logic [3] and in previous lectures were vitiated by mixing two [1, p. 98]. The logical TME in [3], which eluded Quine’s colleagues, was corrected in the 1978 sixth printing [2]. But Quine never explicitly acknowledged, described, or even mentioned the error. This lecture presents and analyses two-method errors in the logic literature. [1] JOHN CORCORAN, Review of Quine’s 1970 Philosophy of Logic. In Philosophy of Science, vol. 39 (1972), pp. 97–99. [2] JOHN CORCORAN, Review of sixth printing of Quine’s 1970 Philosophy of Logic. In Mathematical Reviews MR0469684 (1979): 57 #9465. [3] WILLARD VAN ORMAN QUINE, Philosophy of logic, Harvard, 1970/1986. (shrink)

Coherentists on epistemic justification claim that all justification is inferential, and that beliefs, when justified, get their justification together (not in isolation) as members of a coherent belief system. Some recent work in formal epistemology shows that “individual credibility” is needed for “witness agreement” to increase the probability of truth and generate a high probability of truth. It can seem that, from this result in formal epistemology, it follows that coherentist justification is not truth-conducive, that it is not the case (...) that, under the requisite conditions, coherentist justification increases the probability of truth and generates a high probability of truth. I argue that this does not follow. (shrink)

According to MODERATISM, perceptual justification requires that one independently takes for granted propositional hinges like <There is an external world>, <I am not a brain in a vat (BIV)>, and so on. This view faces the truth problem: to offer an account of truth for hinges that is not threatened by skepticism. Annalisa Coliva has tried to solve the truth problem by combining the claim that external world propositions have a substantive truth property like correspondence with the claim that hinges (...) have a deflationary truth property. I argue that the resulting view cannot offer a coherent characterization of ‘skeptical switch scenarios’ while providing an effective anti-skeptical strategy. In a more positive vein, I defend an approach that combines a correspondence conception of truth with epistemological disjunctivism. (shrink)

Pragmatists are usually very antagonistic toward the correspondence theory of truth. They contend that the evidence-transcendent standard entailed by the theory is antithetical to the pragmatist methodology of elucidating concepts by exposing their practical bearings. What use could truth be to us if it offers a target we cannot even see? After judging the correspondence theory to be in violation of the Pragmatic Maxim, the pragmatist is prone to banishing it to the wastelands of empty metaphysics, where nothing of practical (...) importance could ever grow. This article makes the case that this unjust condemnation must be appealed and overturned. The ground for my case is an argument to the effect that the correspondence conception of truth can be practically advantageous, which provides proof of the fact that, contrary to popular pragmatist belief, the correspondence theory does comply with the Pragmatic Maxim. (shrink)

An object-based correspondence theory of truth holds that a truth-bearer is true whenever its truth conditions are met by objects and their properties. In order to develop such a view, the principal task is to explain how truth-bearers become endowed with their truth conditions. Modern versions of the correspondence theory see this project as the synthesis of two theoretical endeavours: basic metasemantics and compositional semantics. Basic metasemantics is the theory of how simple, meaningful items (e.g. names and concepts) are endowed (...) with their contributions to truth conditions, and compositional semantics is the theory of how the meanings of simple items compose to generate (among other things) the truth conditions of sentences. Understanding truth along these broad lines was once popular; it was first championed by Field (1972). However, the once-popular conception of its tasks included an over-ambitious view of basic metasemantics. It was thought that reference needed to be analyzed (or reduced a posteriori) in terms of more fundamental, non-semantic relations (e.g. causal relations, indication, or teleological relations, in the case of mental representation). Obstacles in providing such an analysis engendered skepticism towards this understanding of truth and eventually gave way to its deflationary competitors. This dissertation aims to defend the modern, object-based correspondence theory against its rivals—especially deflationism. Chapter one provides a historically-grounded overview of the theory. Chapter two identifies two points of contrast between the correspondence theorist and the deflationist: they employ different orders of explanation for the variety of semantic phenomena, and they (traditionally) take different attitudes towards the prospects of reduction. Situating the dialectic in this way allows me to develop a middle ground: a moderate version of inflationism that takes the inflationary explanatory structure and combines it with a non-reductive, pluralist approach to basic metasemantics. Chapter three expands on the details of this pluralist account of reference. Chapter four contrasts the view with another rival approach to basic metasemantics: metasemantic interpretationism. And finally, chapter five applies the theory to answer another question of broad philosophical interest: what role does our conception of truth play in inquiry about the world? (shrink)

At the very beginning of On Interpretation (I, 1, 16a3-14) Aristotle distinguishes four levels and discusses their relationships. From this text, we can infer the following: 1. There are four levels: writing, speaking, mental experience and external world. Since writing and speaking can truly be taken as belonging to the same realm, we can reduce Aristotle’s distinction to three realms: language, thought and external world. 2. The realm of language, in both levels of writing and speaking, is different for different (...) people but both of the other realms of thought and external world are the same for them. By this Aristotle must mean that though people of different languages have different writings and speaking words, the things that are in the world and their affections on people’s thought are the same. 3. The relations both between language and thought and in language itself is symbolization: ‘Spoken words are the symbols of mental experience and written words are the symbols of spoken words.’ 4. The relation between external world and thought is similarity: ‘Those things of which our mental experiences are similarities (παθἠματα τῆς ψυχῆς ... ὁμοιώματα).’ (ΟΙ., 16a7) In de Anima (16a8-9; II, 5, 418a4-5; II, 4, 429a10-11; 429a13-16; 429a23) Aristotle describes thoughts as ‘likenesses of objects.’ Paolo Crivelli says that in these addresses Aristotle believe that ‘a thought is of an object just if it is a likeness of it’ and ‘to be a likeness of an object is to be the result of a process of likening of which that object is a cause.’ This, Crivelli believes, is indeed the basis of the sameness of the objects of thoughts: they are results of the same processes of likening by the same objects. 5. There is a correspondence between nouns and verbs on the one hand and objects of thought without co-positing and positing away on the other hand: ‘Nouns themselves and verbs are like objects of thought (νοἠματι) without co-positing and positing away.’ (OI, I, 1, 16a13-14) A. Relationship between external world and thought The following can be inferred from Aristotle’s works about the relationship between thought and external world: 1. ‘The soul is in a way all existing things; for existing things are either sensible or thinkable, and knowledge is in a way what is knowable, and sensation is in a way what is sensible.’ (So., Γ, 8, 431b21-23) In fact, ‘within the soul the faculties of knowledge and sensation are potentially these objects, the one what is knowable, the other what is sensible.’ (So., Γ, 8, 431b26-27) 2. It is the form of the external objects that are in thought (So., Γ, 8, 431b26-29) and the objects of thought are in the sensible forms, viz. both the abstract objects and all the states and affections of sensible things (ἐν τοῖς εἴδεσι τοῖς αἰσθητοῖς τὰ νοητὰ ἐστι, τά τε ἐν ἀφαιρέσει λεγόμενα, καὶ ὃσα τῶν αἰσθητῶν ἓξις καὶ πάθη). (So., Γ, 8, 432a3-6) 3. While external objects are perishable, objects of thought seem to be eternal. (PrA., A, 33, 47b21-22) B. Relationship between language and the external world 1. There is a correspondence between the external world and the true statements about them: ‘If it is true to say that a thing is white, it must necessarily be white; if the reverse proposition is true, it will of necessity not be white.’ (OI, I, 9, 18a39-b5) 2. While external objects ‘does seem in some way the cause of’ the truth or falsity of lingual statements, ‘the true statement is in no way the cause of the actual thing’s existence.’ (Cat., 12, 14b18-22; cf. OI, I, 9, 18b36-19a6) Thus, the external objects reciprocate as to implication of existence with the corresponding true statement about them and thus are prior to them.’ (Cat., 12, 14b11-23) 3. The opposition between an affirmation and negation corresponds to an opposition in the external world between the objects underlying those statements. (Cat., 10, 12b6-15) 4. The correspondence of the whole structure of the external world and language for Aristotle is so that in analyzing the language he shows himself as analyzing the external world. It is in fact a very crucial and controversial dispute whether Aristotle’s philosophy in its very decisive parts is theorizing about language or about external world. In most of his important theories, he begins with discussing language. In fact, language is where he enters the discussion and, in many cases, where he finishes it. In these cases, he either does not discuss external world at all or only derives some principles or conclusions about it. In some other cases he begins from language but ends in external world. a) Daniel W. Graham thinks that language is Aristotle’s ‘model of the world.’ He refers to ‘subjecthood’ as what formally characterizes primary substance and explains how it bases reality in Aristotle: while to be an absolute subject is equal to be fully real, to be a predicate of a subject is equal to be real. ‘Language is not merely a tool to get around in the world; it reveals the structure of the world … the deep structure of language is isomorphic with the world… In this word, logic can reveal connections between elements because language and the world have a form in common. He lists Trendelenburg (1846, 11-13), Gillespie (1925) and (Ackrill (1963, 78-81) as those who have the same idea. b) Emphasizing on the force of τί in Aristotle’s statement when he says that assertions affirm something (τί) of something (τί) makes Peter Simpson (p. 85) to stress, in his interpretation of Jacob’s theory, on the ontological aspect of Aristotle’s philosophy. Jacob says that in his theory of predication, Aristotle focuses on ‘things’ and not words or concepts and predication is a relationship between extralinguistic entities rather than merely linguistic ones; something extralinguistic and ontological. c) Quoting Ackrill ((1963, 73): ‘the categories classify things, not words’) and Kahn ((1978, 248): ‘Aristotle never regards predication as a grammatical or linguistic relation of word to word, nor does he ever speak of subject and predicate as concepts united in judgment’), Fabio Morales says that Aristotle is not classifying predication in Categories but the attributes or properties these stand for.’ d) Graham thinks that the theory of synonymity-homonimity is not purely linguistic, since it is things rather than words that have these properties. (shrink)

I want to show that truth is an important concept, and that it can be explained. However, we must deal with what are called ‘deflationist’ concepts of truth first. Deflationism is the view that there is nothing more to be said about truth once a semantic theory for the truth-predicate (such as Tarski's) has been provided.

Truth in a correspondence sense is objective in two ways. It is objective because the relation of correspondence is objective and because the facts to which truths correspond are objective. Truth about artifacts is problematic because artifacts are intentionally designed to perform certain functions, and so are not entirely mind independent. Against this, it is argued in this paper that truth about artifacts is perfectly objective despite the role played by intention and purpose in the production of artifacts.

Compared to the extensive amount of literature on various themes of W.V.O. Quine’s philosophy, his immanent concept of truth remains a relatively unexplored topic. This relative lack of research contributes to a persistent confusion on the deflationary and inflationary details of Quine’s truth. According to a popular reading, Quine’s disquotational definition of the truth predicate exhausts the content of truth, thus amounting to a deflationary view. Others promote opposing interpretations. I argue that by relying on Tarski’s semantic conception of truth, (...) Quine’s disquotational account inherits a commitment to classical correspondence intuitions. Based on this, Quine posits a firm constitution for truth as an intermediary between language and the world. From this constitution claim follows that the disquotational account proves incompatible with both the general deflationary thesis and, more specifically, the minimalist account, which deny any constitution for truth past what is given by the preferred deflationary schema. This reading is significant for refuting the widespread misrepresentations of Quine as a prominent deflationist. (shrink)

Pragmatism and the correspondence theory of truth are longtime foes. Nevertheless, there is an argument to be made that pragmatists must embrace truth as correspondence. I show that there is a distinctive pragmatic utility to taking truth to be correspondence, and I argue that it would be inconsistent for pragmatists to accept the utility of the belief that truth is correspondence while resisting the premise that this belief is correct. -/- In order to show how pragmatists can embrace truth as (...) correspondence, I develop a kind of alethic pluralism, which treats pragmatist truth as theoretically fundamental to truth as correspondence. This theoretical fundamentality of pragmatist truth allows the pragmatist to conditionally accept truth as correspondence for certain discourses without falling prey to the typical pragmatist objections to correspondence. This pluralist account of truth thus allows pragmatists to concede that, for certain domains of discourse, truth is correspondence, without thereby betraying their pragmatist principles. (shrink)

The present crisis of truth, the "post-truth" crisis, puts the philosophy of truth in a new light. It calls for a reexamination of the tasks of the philosophy of truth and sets a new adequacy condition on this philosophy. One of the central roles of the philosophy of truth is to explain the importance of truth for human life and civilization. Among other things, it has to explain what is, or will be, lost in a post-truth era. Clearly, the deflationist (...) answer that the role of truth is to serve as a tool of generalization and oblique endorsement will not do. My account of truth in this paper addresses this task. Truth, I argue, is first and foremost a human value. Its importance to our life/civilization lies, not exclusively, but principally, in the centrality of this value to our humanity. I investigate the ramifications of this answer to the issues discussed in the contemporary philosophy of truth, and I end with a comparison of the substantivist and deflationist approaches to truth in light of this new perspective. (shrink)

This article aims to analyze the theory of truth contained in Edmund Husserl’s Logical Investigations. In my analysis, I start from a detailed description of conditions of the possibility of truth based on Husserl’s alethiology. I show that his theory assumes correlation, the parallelism between subjective and objective conditions of the possibility of cognition as a condition of truth. Based on this, I explain Husserl’s interpretation of the correspondence definition of truth found in Logical Investigations. I also provide arguments that (...) this interpretation presupposes the ontological definition of truth and the idea of the infinite intellect as the ideal of a direct and exhaustive presentation of the object of cognition. Nonetheless, my conclusions don’t provide a complete interpretation of Husserl’s alethiology because I refrain from drawing metaphysical consequences from it. That is to say, I neither answer the question about realism/idealism in Logical Investigations nor the question of whether the idea of the infinite intellect should be understood in some metaphysical way (e.g. theistic one) or only as a regulative idea in the Kantian sense. (shrink)

Bolzano propôs uma teoria da verdade que se diferencia das restantes por defender que as proposições são objetivas (não são juízos nem frases) e, consequentemente, que também as proposições verdadeiras (e as falsas) são objetivas (não constituem a correspondência entre um juízo/uma frase e um facto objetivo nem uma qualquer relação entre juízos/frases). Para além disso, considero que propõe uma teoria metafísica da correspondência (à qual não adiro), de acordo com a qual a verdade consiste na correspondência entre uma proposição (...) objetiva e um facto. (shrink)

In texts such as “Richard Rorty’s Pragmatic Turn” Jürgen Habermas defends a theory that associates, on the one hand, the truth-claim raised by a speaker for a proposition p with, on the other hand, the requirement that p be “defendable on the basis of good reasons […] at any time and against anybody”. This, as is known, has been the target of criticisms by Rorty, who−in spite of agreeing with Habermas on the central tenet that the way of evaluating our (...) beliefs must be argumentative practice−declares that the only “ideal presupposed by discourse” is “that of being able to justify your beliefs to a competent audience”. We will consider two texts from 1971, -surprisingly neglected in most approaches to the debate-, in which Habermas did include such a “competence condition” to elucidate the notion of truth. We will discuss whether there are good reasons to relinquish such a condition and to refer, instead, only to the formal or procedural properties of argumentative exchanges, as Habermas does in presenting the notion of “ideal speech situation”. As we will try to argue, there are no such good reasons. (shrink)

The purpose of this essay is to look at whether Aquinas teaches in De veritate [DV], q. 1, a. 4, that truth is a form inherent in things. I take up this investigation because I am examining Lawrence Dewan's account of Aquinas's teaching on truth.1 On Dewan's account, a significant development occurs in Aquinas's teaching as regards truth as it is found in things. Before the Summa theologiae [ST], Aquinas thought that in addition to truth being in the intellect, it (...) was also in things. In ST, most explicitly in I, q. 16, a. 6, Aquinas no longer thinks that it is in things, but only in the mind. When Dewan says that before the ST truth is "in things" and in the ST it is not "in things," in both cases, by "in things," Dewan means "as a form inherent in things." What exactly this means for Dewan will be gradually brought out as I examine the text Dewan thinks most clearly teaches that truth is a form inherent in things: DV, q. 1, a. 4. (shrink)

Truth pluralists say that the nature of truth varies between domains of discourse: while ordinary descriptive claims or those of the hard sciences might be true in virtue of corresponding to reality, those concerning ethics, mathematics, institutions might be true in some non-representational or “anti-realist” sense. Despite pluralism attracting increasing amounts of attention, the motivations for the view remain underdeveloped. This paper investigates whether pluralism is well-motivated on ontological grounds: that is, on the basis that different discourses are concerned with (...) different kinds of entities. Arguments that draw on six different ontological contrasts are examined: concrete versus abstract entities; mind-independent versus mind-dependent entities; sparse versus merely abundant properties; objective versus projected entities; natural versus non-natural entities; and ontological pluralism. I argue that the additional premises needed to move from such contrasts to truth pluralism are either implausible or unmotivated, often doing little more than to bifurcate the nature of truth when a more theoretically conservative option is available. If there is a compelling motivation for pluralism, I suggest, it’s likely to lie elsewhere. (shrink)

The concept of truth and competing philosophical theories on what truth amounts to have an important place in contemporary philosophy. The aim of this chapter is to give a synopsis of different theories of truth and the particular philosophical issues related to the concept of truth. The literature on this topic is vast, and we must necessarily be rather selective and very brief about complex questions of interpretation of various philosophers. The focus of the chapter is mainly on selected systematic (...) issues and the most influential and well-established philosophical theories and key concepts. (shrink)

Russell wrote in 1918 in The Philosophy of Logical Atomism: -/- When I speak of a fact ... I mean the kind of thing that makes a proposition true or false. If I say 'It is raining', what I say is true in a certain condition of weather and is false in other conditions of the weather. The condition of weather that makes my state­ment true (or false as the case may be), is what I should call a 'fact'. If (...) I say, 'Socrates is dead', my statement will be true owing to a certain physiological occurrence which happened in Athens long ago. -/- This classic statement of Russell's version of the correspondence theory of truth is defective on one point only: Russell was unwise to use the word 'fact'. Objects which perform the semantic role Russell accords to facts I shall call simply truth-makers. (shrink)

Many philosophers think truthmaker theory offers a correspondence theory of truth. Despite the similarities, however, this identification cannot be correct. Truthmaker theory offers no theory of truth, nor can it be employed to offer an acceptable substantive theory of truth. Instead, truthmaker theory takes truth for granted. Though truthmaker theory is not a correspondence theory, it shares with it the same motivational basis—that truth is worldly—and better accounts for what is pre-theoretically compelling about correspondence theories. As a result, those at (...) all attracted to correspondence theory (including many deflationists) should reject it and accept truthmaker theory instead. (shrink)

Functionalism about truth, or alethic functionalism, is one of our most promising approaches to the study of truth. In this chapter, I chart a course for functionalist inquiry that centrally involves the empirical study of ordinary thought about truth. In doing so, I review some existing empirical data on the ways in which we think about truth and offer suggestions for future work on this issue. I also argue that some of our data lend support to two kinds of pluralism (...) regarding ordinary thought about truth. These pluralist views, as I show, can be straightforwardly integrated into the broader functionalist framework. The main result of this integration is that some unexplored metaphysical views about truth become visible. To close the chapter, I briefly respond to one of the most serious objections to functionalism, due to Cory Wright. (shrink)

In order to develop his pragmatist and inferentialist framework, Robert Brandom appropriates, reconstructs and revises key themes in German Idealism such as the self-legislation of norms, the social institution of concepts and facts, a norm-oriented account of being and the critique of representationalist accounts of meaning and truth. However, these themes have an essential ethical dimension, one that Brandom has not explicitly acknowledged. For Hegel, the determination of norms and facts and the institution of normative statuses take place in the (...) context of Sittlichkeit (‘ethical life’). By engaging with some of the more ontologically and ethically substantive points raised by Hegel, I argue that, from a Hegelian perspective, Brandom’s project regarding the social determination of truth and meaning cannot be divorced from ethics, specifically, the ethical dimension of social recognition. Furthermore, I argue that, in real situations (as opposed to ideal ones), claims to normative authority cannot be considered independently from the legitimacy of those claims, a legitimacy that Brandom is unable to reasonably explain. Finally, I argue that a Hegelian solution to the problems facing Brandom’s framework calls into question the unity of reason that is at the core of Brandom’s normative pragmatics and inferential semantics. (shrink)

In 'On the nature of truth and falsehood' Russell offers both a multiple relation theory of judgment and a correspondence theory of truth. It has been a prevailing understanding of the Tractatus that Wittgenstein rejects Russell’s multiple relation idea but endorses the correspondence theory. Ramsey took the opposite view. In his 'Facts and Propositions', Ramsey endorses Russell’s multiple relation idea, rejects the correspondence theory, and then asserts that these moves are both due to Wittgenstein. This chapter will argue that Ramsey’s (...) ascriptions are both correct. The extent of the agreement between Ramsey and Wittgenstein will be argued, moreover, to count definitively against standard understandings of Ramsey as a redundancy theorist of truth. Wittgenstein is no correspondence theorist and Ramsey is no redundancy theorist; rather, both philosophers offer identity theories of truth. (shrink)

Molnar argues that the problem of truthmakers for negative truths arises because we tend to accept four metaphysical principles that entail that all negative truths have positive truthmakers. This conclusion, however, already follows from only three of Molnar´s metaphysical principles. One purpose of this note is to set the record straight. I provide an alternative reading of two of Molnar´s principles on which they are all needed to derive the desired conclusion. Furthermore, according to Molnar, the four principles may be (...) inconsistent. By themselves, however, they are not. The other purpose of this note is to propose some plausible further principles that, when added to the four metaphysical theses, entail a contradiction. (shrink)

During the realist revival in the early years of this century, philosophers of various persuasions were concerned to investigate the ontology of truth. That is, whether or not they viewed truth as a correspondence, they were interested in the extent to which one needed to assume the existence of entities serving some role in accounting for the truth of sentences. Certain of these entities, such as the Sätze an sich of Bolzano, the Gedanken of Frege, or the propositions of Russell (...) and Moore, were conceived as the bearers of the properties of truth and falsehood. Some thinkers however, such as Russell, Wittgenstein in the Tractatus, and Husserl in the Logische Untersuchungen, argued that instead of, or in addition to, truth-bearers, one must assume the existence of certain entities in virtue of which sentences and/or propositions are true. Various names were used for these entities, notably 'fact', 'Sachverhalt', and 'state of affairs'. (1) In order not to prejudge the suitability of these words we shall initially employ a more neutral terminology, calling any entities which are candidates for this role truth-makers. (shrink)

In a recent paper, Haig and Borsboom explore the relevance of the theory of truth for psychological science. Although they conclude that correspondence theories of truth are best suited to offer the resources for making sense of scientific practice, they leave open the possibility that other theories might accomplish those same ends. I argue that deflationary theories of truth, which deny that there is any substantive property that unifies the class of truths, makes equally good sense of scientific practice as (...) the correspondence theory, but at lesser theoretical cost. I also argue that the considerations Haig and Borsboom draw on are better thought of as issues relevant to realism, and thus separate from the theory of truth. I conclude that while they are correct to engage questions about what makes true the various claims that arise in psychological research, they may do so without saddling themselves with a correspondence theory. (shrink)

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

Kant is known for having said relatively little about truth in Critique of Pure Reason. Nevertheless, there are important lessons to be learned from this work about truth, lessons that apply to the contemporary debate on the nature and structure of truth and its theory. In this paper I suggest two such lessons. The first lesson concerns the structure of a substantive theory of truth as contrasted with a deflationist theory; the second concerns the structure of a correspondence theory of (...) truth. The first lesson warns us against conceiving of a substantive theory of truth in a way that led Kant to conclude that such a theory is unviable. In so doing it indirectly suggests what a viable substantive theory of truth would be like. The second lesson teaches us that a correspondence theory of truth need not be as naive and overly simplistic as it is usually thought to be, but can, and should be, far more complex. This lesson is based on a correspondence theory of truth incipient in the Critique, one whose structure reflects the complexity of the relation between mind and world in Kant’s theory. (shrink)