Correspondence Theory of Truth

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...) categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (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)

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?

Confronting the Liar Paradox is commonly viewed as a prerequisite for developing a theory of truth. In this paper I turn the tables on this traditional conception of the relation between the two. The theorist of truth need not constrain his search for a “material” theory of truth, i.e., a theory of the philosophical nature of truth, by committing himself to one solution or another to the Liar Paradox. If he focuses on the nature of truth (leaving issues of formal (...) consistency for a later stage), he can arrive at material principles that prevent the Liar Paradox from arising in the first place. I argue for this point both on general methodological grounds and by example. The example is based on a substantivist theory of truth that emphasizes the role of truth in human cognition. The key point is that truth requires a certain complementarity of “immanence” and “transcendence”, and this means that some hierarchical structure is inherent in truth. Approaching the Liar Paradox from this perspective throws new light on its existent solutions: their differences and commonalities, their purported ad-hocness, and the relevance of natural language and bivalence to truth and the Liar. (shrink)

Minimalists about truth contend that traditional inflationary theories systematically fail to explain certain facts about truth, and that this failure licenses a ‘reversal of explanatory direction’. Once reversed, they purport that their own minimal theory adequately explains all of the facts involving truth. But minimalists’ main objection to inflationism seems to misfire, and the subsequent reversal of explanatory direction, if it can be made sense of, leaves minimalism in no better explanatory position; and even if the objection were serviceable and (...) the reversal legitimate, minimalists’ adequacy thesis is still implausible. (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)

Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints on a metaphysics of (...) truth. Monistic theories are not guaranteed to satisfy these constraints, and there is a pluralistic theory that does so. (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)

In one of his key texts, the Mūlamadhyamakakārikā, Nāgārjuna famously sets out to refute the ontology of essence.1 He presents numerous arguments to show that things don’t exist essentially—that is, that things are empty of essence or inherent existence. The doctrine of emptiness has been variously understood by traditional and contemporary commentators. Most radical is the recent interpretation presented by Garfield and Priest. They have rationally reconstructed Nāgārjuna’s doctrine of emptiness as an endorsement of the contradictory nature of reality. According (...) to them, Nāgārjuna can be seen to be arguing that the way in which things exist in reality and what we can truly say about them must be... (shrink)

La teoría de los hacedores de verdad, como la vieja teoría correspondentista, intenta comprender la relación que, ligando proposiciones y hechos, resulta en la verdad (o falsedad) de las primeras. Esta teoría presenta una versión débil, que da cuenta de dicha relación en términos de la noción de implicación, y una fuerte, fundada en la relación de "ser verdadero en virtud de". La diferencia fundamental entre ambas es la adhesión y el rechazo, respectivamente, del Principio de Implicación, según el cual (...) dos proposiciones ligadas por implicación serán hechas verdaderas por el mismo hecho. El presente trabajo muestra cómo esta adhesión conduce a las versiones débiles al colapso, por lo cual sólo las versiones fuertes tienen oportunidades de prosperar. (shrink)

Our commonsense notion of reality is supported by two critical assumptions for which we have little understanding: The conscious experience which underpins the observations integral to the scientific method and language, which is the method by which all theories, scientific or otherwise, are communicated. This book examines both of these matters in detail and arrives at a new theoretical foundation for understanding how nature undertakes the task of building the universe. -/- Creating Reality is a synthesis of Darwin’s The Origin (...) of Species and Douglas Hofstadter’s Gödel, Escher, Bach (GEB). It is an intellectual journey that addresses the most profound questions facing science and philosophy today and delivers the greatest transformation in the way we view the world since Darwin’s masterpiece. The book is targeted at anyone up for the cerebral challenge of thinking deeply about how we make sense of the world and our existence. The book is thoroughly researched and referenced, drawing from the most highly credential sources. -/- When we take stock of where we are in our understanding of nature, it seems that three important questions stand out for which we have few answers. More than just questions, they represent gaps in our comprehension of what makes the universe tick. These are the thematic focal points of this book: -/- • What is the nature of belief? (An examination of truth as a function of language). • What is consciousness? • What is the relationship between mathematics and the physical world? -/- The exploration of these three questions unravels the mystery behind the principal means by which we come to have knowledge of the world. So our journey begins by asking the more generic question: How do we come to know the world? The book makes no assumptions about this thing called ‘reality’ and takes a fresh look at the presuppositions underlying commonsense notions of reality. (shrink)

Inflationists have argued that truth is a causal-explanatory property on the grounds that true belief facilitates practical success: we must postulate truth to explain the practical success of certain actions performed by rational agents. Deflationists, however, have a seductive response. Rather than deny that true belief facilitates practical success, the deflationist maintains that the sole role for truth here is as a device for generalisation. In particular, each individual instance of practical success can be explained only by reference to a (...) relevant instance of a T-schema; the role of truth is just to generalise over these individualised explanations. I present a critical problem for this strategy. Analogues of the deflationist’s individualised explanations can be produced by way of explanation of coincidental instances of practical success where the agent merely has the right false beliefs. By deflationary lights, there is no substantive explanatory difference between such coincidental and non-coincidental instances of practical success. But the non-/coincidental distinction just is an explanatory distinction. The deflationist’s individualised explanations of non-coincidental instances of practical success must therefore be inadequate. However, I argue that the deflationist’s prospects for establishing an explanatory contrast between these cases by supplementing her individualised explanations are, at best, bleak. The inflationist, by contrast, is entitled to the obvious further explanatory premise needed to make sense of the distinction. As such, pending some future deflationary rejoinder, the deflationary construal of the principle that true belief facilitates practical success must be rejected; and with it the deflationary conception of truth. (shrink)

The paper delineates a new approach to truth that falls under the category of “Pluralism within the bounds of correspondence”, and illustrates it with respect to mathematical truth. Mathematical truth, like all other truths, is based on correspondence, but the route of mathematical correspondence differs from other routes of correspondence in (i) connecting mathematical truths to a special aspect of reality, namely, its formal aspect, and (ii) doing so in a complex, indirect way, rather than in a simple and direct (...) way. The underlying idea is that an intricate mind is capable of creating intricate routes from language to reality, and this enables it to apply correspondence principles in areas for which correspondence is traditionally thought to be problematic. (shrink)

This article surveys different philosophical theories about the nature of truth. We give much importance to truth; some demand to know it, some fear it, and others would even die for it. But what exactly is truth? What is its nature? Does it even have a nature in the first place? When do we say that some truth-bearers are true? Philosophers offer varying answers to these questions. In this article, some of these answers are explored and some of the problems (...) raised against them are presented. (shrink)

Alethic functionalism, as propounded by Michael Lynch, is the view that there are different ways to be true, but that these differences nevertheless contain enough unity to forestall outright pluralism. This view has many virtues. Yet, since one could conceivably apply Lynch’s “one and many” strategy to other debates, I try to show how his argumentative steps can be used to solve — not just the controversy pertaining to truth — but any controversy that surrounds a “What is X?” question.

In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax of (...) the object language is specified exactly enough, and that the metatheory has a certain amount of set theoretic power,2 one can explicitly define truth in the object language. And what can be explicitly defined can be eliminated. It follows that the defined concept cannot give rise to any inconsistencies (that is, paradoxes). This gave new respectability to the concept of truth and related notions. Nevertheless, philosophers’ judgements on the nature and philosophical relevance of Tarski’s work have varied. It is my aim here to review and evaluate some threads in this debate. (shrink)

The title of this paper reflects the fact truthmaking is quite frequently considered to be expressive of realism. What this means, exactly, will become clearer in the course of our discussion, but since we are interested in Armstrong’s work on truthmaking in particular, it is natural to start from a brief discussion of how truthmaking and realism appear to be associated in his work. In this paper, special attention is given to the supposed link between truthmaking and realism, but it (...) is argued that this link should not be taken too seriously, as truthmaking turns out to be, to a large extent, ontologically neutral. Some consequences of this are studied. (shrink)

Scientific Realism (SR) has three crucial aspects: 1) the centrality of the concept of truth, 2) the idea that success is a reliable indicator of truth, and 3) the idea that the Inference to the Best Explanation is a reliable inference rule. It will be outlined how some realists try to overcome the difficulties which arise in justifying such crucial aspects relying on an adaptationist view of evolutionism, and why such attempts are inadequate. Finally, we will briefly sketch some of (...) the main difficulties the realist has to face in defending those crucial aspects, and how such difficulties are deeply related: they derive from the inability of SR to satisfyingly avoid the sceptical challenge of the criterion of truth. Indeed, SR seems not to be able to fill the so-called ‘epistemic gap’ (Sankey 2008). In fact, the epistemic gap cannot be filled in no way other than obtaining a criterion of truth, but such a criterion cannot be obtained if the epistemic gap obtains. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories meets the correspondence (...) intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

The problem that motivates me arises from a constellation of factors pulling in different, sometimes opposing directions. Simplifying, they are: (1) The complexity of the world; (2) Humans’ ambitious project of theoretical knowledge of the world; (3) The severe limitations of humans’ cognitive capacities; (4) The considerable intricacy of humans’ cognitive capacities . Given these circumstances, the question arises whether a serious notion of truth is applicable to human theories of the world. In particular, I am interested in the questions: (...) (a) Is a substantive standard of truth for human theories of the world possible? (b) What kind of standard would that be? (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...) of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

Per Husserl, come per Bolzano, la logica e una dottrina della sdenza. Husserl prende pero piu sul serio l'idea che le teorie scientifiche siano costituite dagli atti mentali di soggetti conoscenti. Quella che segue e un' esposizione della concezione husserliana della logica e della scienza, fondata appunto sugli atti; essa approdera a una delineazione dell'idea husserliana di «ontologia formale».

When talking about truth, we ordinarily take ourselves to be talking about one-and-the-same thing. Alethic monists suggest that theorizing about truth ought to begin with this default or pre-reflective stance, and, subsequently, parlay it into a set of theoretical principles that are aptly summarized by the thesis that truth is one. Foremost among them is the invariance principle.

It is often taken for granted that truth is mind-independent, i.e. that, necessarily, if the world is objectively speaking in a certain way, then it is true that it is that way, independently of anyone thinking that it is that way. I argue that proponents of correspondence-truth, in particular immanent realists, should not take the mind-independence of truth for granted. The assumption that the mind-independent features of the world, i.e. ‘facts’, determine the truth of propositions, does not entail that truth (...) is independent of minds. This follows only on the further assumption that there exist propositions about every feature of reality independent of minds, which is something the immanent realist can and should deny. (shrink)

German translation of Mulligan, Simons and Smith, "Truth-Makers" (1984) A realist theory of truth for a class of sentence holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects (...) of perception. The core of our theory is the account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. The authors uphold the mutual independence of logical and ontological complexity. The theory is compared with that of Wittgenstein’s Tractatus, and the authors outline formal principles of truthmaking taking account of both kinds of complexity and suggesting how to overcome Wittgenstein’s problem of negation. (shrink)

In this paper I present what I call the 'Metaphysical Problem of Truth', which consists in explaining in virtue of what all true sentences are true, and argue that a version of the Correspondence Theory of Truth is the most plausible solution to this problem.

In this paper, we show how an internal tension in Wilfrid Sellars’s understanding of truth, as well as an external tension in his account of meaning attribution, can be resolved while adhering to a Sellarsian spirit, by appealing to the particular fictionalist accounts of truth-talk and proposition-talk that we have developed elsewhere.

My aim is to lay down some constraints on a correspondence theory of truth for empirical sentences of a natural language on the basis of a theory according to which that to which a true empirical sentence of such a language corresponds is a part of the natural world. The problem is to find some means of delineating those portions of the world which serve as correspondents, portions of reality otherwise called ‘truthmakers’.

The theory of speech acts put forward by Adolf Reinach in his "The A Priori Foundations of the Civil Law" of 1913 rests on a systematic account of the ontological structures associated with various different sorts of language use. One of the most original features of Reinach's account lies in hIs demonstration of how the ontological structure of, say, an action of promising or of commanding, may be modified in different ways, yielding different sorts of non-standard instances of the corresponding (...) speech act varieties. The present paper is an attempt to apply this idea of standard and modified instances of ontological structures to the realm of judgement and cognition, and thereby to develop a Reinachian theory of how intentionality is mediated through language in acts of thinking and speaking. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

This thesis develops a hermeneutic philosophy of science to provide insights into physics education. -/- Modernity cloaks the authentic character of modern physics whenever discoveries entertain us or we judge theory by its use. Those who justify physics education through an appeal to its utility, or who reject truth as an aspect of physics, relativists and constructivists, misunderstand the nature of physics. Demonstrations, not experiments, reveal the essence of physics as two characteristic engagements with truth. First, truth in its guise (...) as correspondence enables a human being to prepare for the distinctive event of physics. -/- Second, the event of physics occurs in human perception when someone forces a hidden reality to disclose an aspect of itself. Thus, the ground of physics is our human involvement with reality achieved by way of truth. -/- To support this account of physics, the thesis reports phenomenological investigations into Isaac Newton’s involvement with optics and a secondary school physics laboratory. These involve interpretations of Heidegger’s theory of beings, schema and signification. The project draws upon, and contributes to, the hermeneutic phenomenology of modern physics, a tradition in continental philosophy that begins with Immanuel Kant, and advances particularly from Martin Heidegger to Patrick Heelan. -/- The thesis advocates an ontological pedagogy for modern physics which has as its purpose each individual student’s engagement with reality and truth. Students may achieve this through demonstrations of phenomena that will enable them to dwell with physics, an experience that contrasts with their embroilment in modernity, and which perpetuates nature’s own science. (shrink)

Philip Kitcher has argued for a causal correspondence view of truth, as against a deflationary view, on the grounds that the former is better poised than the latter to explain systematically successful patterns of action. Though Kitcher is right to focus on systematically successful action, rather than singular practical successes, he is wrong to conclude that causal correspondence theories are capable of explaining systematic success. Rather, I argue, truth bears no explanatory relation to systematic practical success. Consequently, the causal correspondence (...) view is not in a better position to explain success than the deflationary view; theories of truth are the wrong place to look for explanations of systematic practical success. (shrink)