The logic of a physical theory reflects the structure of the propositions referring to the behaviour of a physical system in the domain of the relevant theory. It is argued in relation to classical mechanics that the propositional structure of the theory allows truth-value assignment in conformity with the traditional conception of a correspondence theory of truth. Every proposition in classical mechanics is assigned a definite truth value, either ‘true’ or ‘false’, describing what is actually the (...) case at a certain moment of time. Truth-value assignment in quantum mechanics, however, differs; it is known, by means of a variety of ‘no go’ theorems, that it is not possible to assign definite truth values to all propositions pertaining to a quantum system without generating a Kochen–Specker contradiction. In this respect, the Bub–Clifton ‘uniqueness theorem’ is utilized for arguing that truth-value definiteness is consistently restored with respect to a determinate sublattice of propositions defined by the state of the quantum system concerned and a particular observable to be measured. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The conceptual implications of the resulting account are traced down and analyzed at length. In this light, the traditional conception of correspondence truth may be viewed as a species or as a limit case of the more generic proposed scheme of contextual correspondence when the non-explicit specification of a context of discourse poses no further consequences. (shrink)

I argue that one good reason for Scientific Realists to be interested in correspondence theories is the hope they offer us of being able to state and defend realistic theses in the face of well-known difficulties about modern physics: such theses as, that our theories are approximately true, or that they will tend to approach the truth. I go on to claim that this hope is unlikely to be fulfilled. I suggest that Realism can still survive in the (...) face of these difficulties, as a claim about the kind of theories we want to aim for. I relate this conception of Realism to various contemporary discussions, both by realists and antirealists. (shrink)

On the correspondence theory of truth, a proposition is true if and only if it corresponds to fact. Criticisms of the correspondence theory of truth have argued that such a strict interpretation of the correspondence relation will not be able to account for the truth of statements about fiction or mathematics. This challenge has resulted in the introduction of more permissive correspondence relations, such as Austin’s correspondence as correlation or Tarski’s correspondence (...) as reference satisfaction. Recently, some mediated correspondence theorists of truth have proposed that the correspondence relation holds not only between thought and world but also between thought and language. In this paper, I argue that correspondence truth, direct or mediated, is not a monistic theory of truth, the view that there is one and only way for a proposition to be true. To argue for this position, I will have to show that each of the correspondence theories accept direct and indirect ways of understanding the correspondence relation as well as address potential objections to the view that correspondence theory is not singular and monolithic. (shrink)

This paper argues for a conditional claim concerning a famous argument—developed by Church in elucidation of some remarks by Frege to the effect that the bedeutung of a sentence is the sentence’s truth-value—the Frege–Gödel–Church argument, or FGC for short. The point we make is this :if, and just to the extent that, Arthur Smullyan’s argument against Quine's use of FGC is sound, then essentially the same rejoinder disposes also of Davidson's use of FGC against ‘correspondence’ theories of (...) class='Hi'>truth. We thus dispute a contention by Professor Davidson that it is coherent to accept that Smullyan’s rejoinder takes away the force of Quine’s version of FGC, while still consistently using FGC to establish that if true sentences (or utterances) correspond to anything, they all correspond to the same thing. We show that the differences between the cases discussed by Smullyan and Davidson’s version of FGC on which Davidson relies for his contention are irrelevant to the point under dispute. (shrink)

This paper argues for a conditional claim concerning a famous argument—developed by Church in elucidation of some remarks by Frege to the effect that the bedeutung of a sentence is the sentence’s truth-value—the Frege–Gödel–Church argument, or FGC for short. The point we make is this :if, and just to the extent that, Arthur Smullyan’s argument against Quine's use of FGC is sound, then essentially the same rejoinder disposes also of Davidson's use of FGC against ‘correspondence’ theories of (...) class='Hi'>truth. We thus dispute a contention by Professor Davidson that it is coherent to accept that Smullyan’s rejoinder takes away the force of Quine’s version of FGC, while still consistently using FGC to establish that if true sentences (or utterances) correspond to anything, they all correspond to the same thing. We show that the differences between the cases discussed by Smullyan and Davidson’s version of FGC on which Davidson relies for his contention are irrelevant to the point under dispute. (shrink)

From the popular view that the property of truth adds nothing not already inherent in its bearers it has been inferred that classical theories of truth are thereby refuted. Taking as representative a version of deflationism based on a certain way of interpreting the Tarskian schema convention T–and popularly called "disquotational"–I argue that the view is beset by fatal difficulties. These include: an unavoidable awkwardness in handling indexicals; an inability to accept anything more than a too anemic notion (...) of a truth condition, leaving it defenseless against clearly inadequate alternatives; and an incapacity to show that its characteristic biconditional can support any acceptable dependency claims (made evident by replacing the biconditional with 'because'). Finally, were there no predicate on the order of 'is true', this would not annihilate the property of being true or the current grounds for philosophical inquiries about it. This is an important clue to why deflationary approaches in general are dead ends. (shrink)

Asay (2018) criticizes our contention that psychologists do best to adhere to a substantive theory of correspondence truth. He argues that deflationary theory can serve the same purposes as correspondence theory. In the present article we argue that (a) scientific realism, broadly construed, requires a version of correspondence theory and (b) contrary to Asay’s suggestion, correspondence theory does have important additional resources over deflationary accounts in its ability to support generalizations over classes of true sentences.

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)

An intuitive argument for scientific realism suggests that our successes in predicting and intervening would be inexplicable if the theories that generate them were not approximate y true. This argument faces many objections, some of which are briefly addressed in this paper, and one of which is treated in more detail. The focal criticism alleges that appeals to success cannot deliver conclusions that parts of science are true in the sense of truth-as-correspondence that realists prefer. The paper responds (...) to that criticism, in versions proposed by Michael Williams, Michael Levin, and, especiaIly, Paul Horwich, by arguing that critics typically stop at a shallow level of psychological explanation. If we probe more deeply we discover a genuine explanatory role for correspondence truth. (shrink)

An intuitive argument for scientific realism suggests that our successes in predicting and intervening would be inexplicable if the theories that generate them were not approximately true. This argument faces many objections, some of which are briefly addressed in this paper, and one of which is treated in more detail. The focal criticism alleges that appeals to success cannot deliver conclusions that parts of science are true in the sense of truth‐as‐correspondence that realists prefer. The paper responds to (...) that criticism, in versions proposed by Michael Williams, Michael Levin, and, especially, Paul Horwich, by arguing that critics typically stop at a shallow level of psychological explanation. If we probe more deeply we discover a genuine explanatory role for correspondence truth. (shrink)

The correspondence theory of truth is a precise and innovative account of how the truth of a proposition depends upon that proposition's connection to a piece of reality. Joshua Rasmussen refines and defends the correspondence theory of truth, proposing new accounts of facts, propositions, and the correspondence between them. With these theories in hand, he then offers original solutions to the toughest objections facing correspondence theorists. Addressing the Problem of Funny Facts, Liar Paradoxes, (...) and traditional epistemological questions concerning how our minds can access reality, he challenges recent objections, and defends what has traditionally been the most popular theory of truth. Written with clarity, precision, and sensitivity to a range of philosophical backgrounds, his book will appeal to advanced students and scholars seeking a deeper understanding of the relationship between truth and reality. (shrink)

This work presents a version of the correspondence theory of truth based on Wittgenstein's Tractatus and Russell's theory of truth and discusses related metaphysical issues such as predication, facts and propositions. Like Russell and one prominent interpretation of the Tractatus it assumes a realist view of universals. Part of the aim is to avoid Platonic propositions, and although sympathy with facts is maintained in the early chapters, the book argues that facts as real entities are not needed. (...) It includes discussion of contemporary philosophers such as David Armstrong, William Alston and Paul Horwich, as well as those who write about propositions and facts, and a number of students of Bertrand Russell. It will interest teachers and advanced students of philosophy who are interested in the realistic conception of truth and in issues in metaphysics related to the correspondence theory of truth, and those interested in Russell and the Tractatus. (shrink)

Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact -- a view that was advocated by Russell and Moore early in the 20 th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion of (...) reality (to be specified). During the last 2300 years this basic idea has been expressed in many ways, resulting in a rather extended family of views, theories, and theory sketches. The members of the family employ various concepts for the relevant relation (correspondence, conformity, congruence, agreement, accordance, copying, picturing, signification, representation, reference, satisfaction) and/or various concepts for the relevant portion of reality (facts, states of affairs, situations, events, objects, sequences of objects, sets, properties, tropes). The resulting multiplicity of versions and reformulations of the theory is due to a blend of substantive and terminological differences. (shrink)

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)

Philosophical theorizing about truth manifests a desire to conform to the ordinary or folk notion of truth. This practice often involves attempts to accommodate some form of correspondence. We discuss this accommodation project in light of two empirical projects intended to describe the content of the ordinary conception of truth. One, due to Arne Naess, claims that the ordinary conception of truth is not correspondence. Our more recent study is consistent with Naess’ result. Our (...) findings suggest that contextual factors and respondent gender affect whether the folk accept that correspondence is sufficient for truth. These findings seem to show that the project of accommodating the ordinary notion of truth is more difficult than philosophers had anticipated because it is fragmentary. (shrink)

The central claim of this essay is that many deflationary theories of truth are variants of the correspondence theory of truth. Essential to the correspondence theory of truth is the proposal that objective features of the world are the truthmakers of statements. Many advocates of deflationary theories (including F. P. Ramsay, P. F. Strawson and Paul Horwich) remain committed to this proposal. Although T-sentences (statements of the form “ s is true iff p ”) are (...) presented by advocates of deflationary theories of truth as truisms or analytic truths, T-sentences are often understood as entailing commitment to the central proposal of the correspondence theory. (shrink)

This paper elaborates on the following correspondence theorem (which has been defended and formally proved elsewhere): if theory T has been empirically successful in a domain of applications A, but was superseded later on by a different theory T* which was likewise successful in A, then under natural conditions T contains theoretical expressions which were responsible for T’s success and correspond (in A) to certain theoretical expressions of T*. I illustrate this theorem at hand of the phlogiston versus oxygen (...) theories of combustion, and the classical versus relativistic theories of mass. The ontological consequences of the theorem are worked out in terms of the indirect reference and partial truth. The final section explains how the correspondence theorem may justify a weak version of scientific realism without presupposing the no-miracles argument. (shrink)

The so-called “disquotational theory of truth” has not previously been developed much beyond the thesis that saying, for example, that ‘Snow is white’ is true amounts only to saying that snow is white. Marian David has set out to see what further sense can be made of the disquotational theory, and to compare its merits with those of correspondence theories of truth. His prognosis is that an intelligible disquotational theory of truth can be developed but will (...) suffer from drastic shortcomings that make it all but unusable. (shrink)

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.

First published in 1975, The Correspondence Theory of Truth examines the simplest statements of empirical fact and establishes what we can mean when we say that such statements are true. In particular, the author has considered whether any or all of beliefs, sentences, statements, or propositions are properly said to be true or false. He proceeds to examine what we mean by the term 'fact' and what possible relation between facts and beliefs could be meant by the term (...) 'correspondence'. The second part of the book is a critical survey of important contemporary accounts of truth. The author examines Tarski's semantic theory to see if it offers a satisfactory reconstruction of the essence of the traditional notion of correspondence, then J.L. Austin's recent and famous version of the correspondence theory and some criticisms of it by Professor P. E. Strawson. A final chapter summarizes the viable content of the correspondence theory and suggests what problems about truth still remain for discussion if the theory is accepted. This book will be an essential read for students and scholars of Philosophy. (shrink)

Two concepts of truth as correspondence of ideas with facts are analyzed. One of them is the thought-external fact relation, and the other is the fact-proposition one. The two maps are then composed, and the resulting map is assumed to formalize the concept of truth as adequacy or correspondence of ideas to facts. Besides, some desiderata for a correspondence theory of partial truth are proposed. Finally, the truth criteria employed in science and technology (...) are recalled. (shrink)

We will here describe a conception of truth that is robust rather than deflationist, and that differs in important ways from the most familiar robust conceptions.' We will argue that this approach to truth is intrinsically and intuitively plausible, and fares very well relative to other conceptions of truth in terms of comparative theoretical benefits and costs.

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)

This paper utilizes a logical correspondence theorem (which has been proved elsewhere) for the justification of weak conceptions of scientific realism and convergence to truth which do not presuppose Putnam's no-miracles-argument (NMA). After presenting arguments against the reliability of the unrestricted NMA in Sect. 1, the correspondence theorem is explained in Sect. 2. In Sect. 3, historical illustrations of the correspondence theorem are given, and its ontological consequences are worked out. Based on the transitivity of the (...) concept of correspondence, a correspondence-based notion of convergence to truth is developed in Sect. 4. In the final Sect. 5 it is argued that the correspondence theorem together with the assumption of ' minimal realism' yields a justification of a weak version of scientific realism, which is then compared to metaphysical realism and to instrumentalism. (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)

Ernst Cassirer claimed that Kant's notion of actual object presupposes the notion of truth. Therefore, Kant cannot define truth as the correspondence of a judgement with an actual object. In this paper, I discuss the relations between Kant's notions of truth, object, and actuality. I argue that's notion of actual object does not presuppose the notion of truth. I conclude that Kant can define truth as the correspondence of a judgement with an actual (...) object. (shrink)

Tarski's theory of truth brings out the question of whether he intended his theory to be a correspondence theory of truth and whether, whatever his intentions, his theory is in fact a correspondence theory. The aim of this paper is to answer both questions. The answer to the first question depends on Tarski's relevant assertions on semantics and his conception of truth. In order to answer the second question Popper's and Davidson's interpretations of Tarski's (...) class='Hi'>truth theory are examined; to this end both Tarski's definition of truth in terms of satisfaction and the T-sentences are taken into account. (shrink)

The present paper is intended to take up the basic issue in Marxist epistemology: does the development of human cognition include mechanisms that ensure the attainment of, or approximation to, the absolute truth?But to take up this issue we have to define the concept of absolute truth. This is why the paper begins with comment on the assumptions we adopt. This is followed by explanations of the concept of the absolute truth and that of relative truth (...) and some of derivative concepts, too. Section 3 is concerned with the problem of whether the absolute truth is attainable, and with the role played in the process by the correspondence principle, which is reconstructed in a specified way. (shrink)

The correspondence theory of truth provides standard semantics with a simple scheme for evaluating sentences. This scheme however depends on the existence of basic correspondences between singular terms and objects, And thus breaks down in the case of non-Denoting singular terms. An alternative to the correspondence theory is thus called for in dealing with such terms. The author criticizes various positions discussed in the literature in this regard, And then presents a solution of his own.

Koriat & Goldsmith raise important questions about memory, but there is need for caution: first, if we define accuracy by output measures, there is a danger that a perfectly accurate memory can be nearly useless. Second, when we focus on correspondence, there is a danger that syntactic correspondence will be mistaken for historical truth.

Tarski's theory of truth brings out the question of whether he intended his theory to be a correspondence theory of truth and whether, whatever his intentions, his theory is, in fact, a correspondence theory. The aim of this paper is to answer both questions. The answer to the first question depends on Tarski's relevant assertions on semantics and his conception of truth. In order to answer the second question Popper's and Davidson's interpretations of Tarski's (...) class='Hi'>truth theory are examined; to this end both Tarski's definition of truth in terms of satisfaction and the T-sentences are taken into account. (shrink)

Hegel, it has been claimed, conceives of truth as material. Such a conception of truth was far from dominant in the nineteenth century, and Hegel’s championing of it might be misinterpreted as indicating a willfully anachronistic, pre-Critical streak in his thought. I argue that this is not the case by exploring a principal motivating factor for Hegel’s position on truth. This factor is a problem concerning the general form of judgment—a problem that, for Hegel, precludes object-based (...) class='Hi'>correspondence from functioning as truth. Far from being willfully anachronistic or pre-Critical, Hegel’s conception of truth proves to be intimatelylinked to and informed by Kant’s Critical project. (shrink)

The semantics underlying the propositional structure of Hilbert space quantum mechanics involves an inherent ambiguity concerning the impossibility of assigning definite truth values to all propositions pertaining to a quantum system without generating a Kochen-Specker contradiction. Although the preceding Kochen-Specker result forbids a global, absolute assignment of truth values to quantum mechanical propositions, it does not exclude ones that are contextual. In this respect, the Bub-Clifton “uniqueness theorem” is utilized for arguing that truth-value definiteness is consistently restored (...) with respect to a determinate sublattice of propositions defined by the state of the quantum system concerned and a suitable “preferred” observable. It is suggested that the most natural choice of the latter, especially for confronting the problem of truth valuation in quantum mechanics, results in the determinateness of the observable to be measured. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The resulting account of truth is compatible with a realist conception of truth. Such an account essentially denies that there can be a universal context of reference or an Archimedean standpoint from which to evaluate logically the totality of facts of nature. (shrink)

Nearly every common theory of truth has been attributed to Nietzsche, while some commentators have argued that he simply has no theory of truth. This essay argues that Nietzsche's remarks on truth are best situated within either the coherence or pragmatist theories of truth rather than the correspondence theory. Nietzsche's thoughts on truth conflict with the correspondence framework because he believes that the truth conditions of propositions are constitutively dependent on our actions.

One of the most intuitive concepts of truth is the classical correspondence theory of truth. Aside from the theoretical cogency and plausibility, this truth theory has two fundamental problems. I shall explore both of these problems. This will not be to reveal the problematic nature of the classical correspondence theory of truth itself, but to demonstrate the implications it has on Islam. I shall establish that the problems of this truth theory contribute in (...) the failure to determine the truth of a particular notion of an Islamic God. Consequently this truth theory would prove inconsistent with a particular notion of God within the Islamic tradition. (shrink)