What Is the Correspondence Theory of Truth?

Quick Answer

The correspondence theory of truth holds that a proposition is true if and only if it corresponds to the facts of reality. A statement such as "snow is white" is true precisely when snow is, in fact, white. This view, traceable to Aristotle and developed by Thomas Aquinas, Bertrand Russell, and Alfred Tarski, remains one of the most influential accounts of truth in Western philosophy because it ties truth to an independent world rather than to coherence, utility, or consensus. Its enduring appeal lies in its alignment with common sense: we ordinarily assume that what makes our beliefs true is the way the world actually is, not how well those beliefs hang together or how useful they prove to be.

Definition

The correspondence theory of truth can be stated in its barest form as follows: a proposition P is true if and only if P corresponds to a fact. The verb "corresponds to" denotes a structural relation between a representation (a statement, belief, sentence, or proposition) and something in the world (a state of affairs, event, or fact). The central intuition is that truth is a relational property: a representation is true when it accurately mirrors or maps onto the structure of reality.

Several distinctions sharpen the definition. First, the theory is typically framed at the level of propositions, which are the abstract content of declarative sentences, rather than at the level of sentences themselves. This allows the theory to handle the fact that the same proposition can be expressed in different languages. Second, "correspondence" need not be understood as pictorial resemblance; most contemporary defenders treat it as a structured isomorphism or a satisfaction relation, drawing on the resources of formal semantics. Third, the theory is metaphysically realist in spirit: it presupposes that there is a mind-independent reality to which true propositions correspond.

Historical Development

Aristotle

The earliest explicit formulation appears in Aristotle's Metaphysics, where he writes: "To say of what is that it is not, or of what is not that it is, is false, while to say of what is that it is, and of what is not that it is not, is true." This passage does not use the word "correspondence," but it clearly identifies truth with accurately reporting how things are. For Aristotle, truth is a property of thought and speech that depends on the way substances and their attributes actually stand in the world. His account embeds truth within a broader metaphysical framework in which reality has a determinate structure that the intellect can grasp.

Aquinas

Thomas Aquinas refined Aristotle's insight within a medieval Christian framework, famously stating that "truth is the adequation of things and the intellect" (veritas est adaequatio rei et intellectus). Aquinas emphasized that truth resides primarily in the intellect and only secondarily in things, because things are the cause of truth in the mind. This Thomistic formulation dominated scholastic philosophy and established correspondence as the default account of truth for centuries. It also introduced the idea that truth involves a kind of equality or fittingness between thought and being, a notion that would be debated by later philosophers.

Russell

Bertrand Russell revitalized the correspondence theory in the early twentieth century through his program of logical atomism. Russell held that the world consists of atomic facts, and that meaningful propositions are structured complexes whose constituents mirror the constituents of those facts. A proposition is true when its arrangement of constituents matches the arrangement of constituents in the corresponding fact. Russell's version was ambitious: he attempted to explain correspondence in terms of isomorphism between logical structure and worldly structure. Although he eventually abandoned the details of logical atomism, his work set the agenda for analytic philosophy's engagement with truth.

Tarski

Alfred Tarski provided the most rigorous modern formulation in his 1933 paper on the concept of truth in formalized languages. Tarski defined truth for a formal language L via Convention T, which requires that each instance of the schema "S is true in L if and only if p" hold, where "S" names a sentence of L and "p" translates that sentence into the metalanguage. For example, "Snow is white" is true if and only if snow is white. Tarski's achievement was to show that truth can be defined without circularity or contradiction for sufficiently rich formal languages, while preserving the correspondence intuition. Many philosophers treat Tarski's semantic conception as a sophisticated and defensible form of correspondence theory, though Tarski himself was cautious about its philosophical interpretation.

The Core Argument

The central argument for the correspondence theory rests on a simple and powerful observation. Consider the proposition "The cat is on the mat." What makes this proposition true? The natural answer is that the cat is, in reality, on the mat. The truth of the proposition is explained by the obtaining of a corresponding state of affairs, not by the proposition's coherence with other beliefs or by its practical utility. This "truthmaker" intuition suggests that truth is not a free-standing property but depends on how the world is.

The argument can be formalized as a modus ponens. Premise one: if a proposition is true, there must be something in virtue of which it is true, namely a fact or state of affairs. Premise two: the relation between a true proposition and the fact that makes it true is precisely one of correspondence. Conclusion: therefore, truth consists in correspondence to facts. Defenders argue that this account is the only one that respects the objectivity of truth, because it grounds truth in something external to the system of beliefs itself.

Challenges and Objections

The Facts Problem

A persistent objection asks: what are facts, and how do they differ from true propositions? If a fact is simply a true proposition, the correspondence theory becomes circular, defining truth in terms of truth. If facts are worldly entities distinct from propositions, it becomes difficult to specify their nature without lapsing into metaphysical obscurity. Russell struggled with this, and the question remains a live issue. Contemporary truthmaker theorists attempt to answer by identifying minimal ontological commitments, but no consensus exists.

The Slingshot Argument

The slingshot argument, associated with Frege, Church, and Davidson, purports to show that if truth corresponds to facts, then all true propositions correspond to one and the same fact, collapsing the theory into triviality. The argument relies on substitutions of co-referential terms and logical equivalences. While many philosophers reject the slingshot by challenging its premises about definite descriptions or logical equivalence, it remains a technical challenge that any sophisticated correspondence theorist must address.

Idealist and Coherence Objections

Idealists such as Hegel and Bradley argued that the notion of a bare fact independent of thought is incoherent, because reality is itself saturated with conceptual structure. On this view, truth cannot be a relation to something non-conceptual, and coherence among beliefs is the only viable criterion. Kant's critical philosophy also complicated correspondence by arguing that we know only appearances structured by the forms of intuition and the categories, not things in themselves. These objections push toward the coherence theory and away from naive realism.

Pragmatist Objections

Pragmatists such as William James and John Dewey objected that correspondence is either unattainable or explanatorily idle. We cannot step outside our beliefs to compare them with bare reality, so correspondence cannot function as a practical criterion of truth. Moreover, the pragmatists argued, what matters about truth is its role in guiding successful action, not its mirroring of an inaccessible world. These objections motivated the pragmatic theory of truth and remain influential in naturalized epistemology.

Contemporary Status

Despite these challenges, the correspondence theory remains the default intuitive account of truth and enjoys robust defense in contemporary analytic philosophy. Philosophers such as Marian David, Joshua Hoffman, and Kirkham have refined the theory to meet classical objections, often by distinguishing between the nature of truth (correspondence) and the criteria for recognizing truth (which may involve coherence or practical success). Truthmaker theory, developed by David Armstrong and others, provides a sophisticated metaphysical framework in which facts serve as the truthmakers for true propositions.

The theory's persistence reflects its deep alignment with scientific realism. When a physicist claims that the Higgs boson exists, the truth of that claim depends on whether the Higgs boson actually exists, not on whether the claim coheres with existing theory or proves useful. This realist commitment to a mind-independent world continues to underwrite the correspondence intuition. At the same time, philosophers recognize that correspondence may not be the whole story about truth; pluralist approaches suggest that different domains, such as mathematics, ethics, and empirical science, may require different truth predicates. Even so, for statements about the empirical world, the correspondence theory remains the account against which all others are measured.

---

This article draws on the Stanford Encyclopedia of Philosophy entries on the correspondence theory of truth, Aristotle on truth, and Tarski's truth definitions. Readers seeking deeper engagement are encouraged to consult those sources for full bibliographies and technical discussion.