CPsyne: Correspondence theory of truth

The correspondence theory of truth states that the truth or falsity of a statement is determined only by how it relates to the world, and whether it accurately describes (i.e., corresponds with) that world. The theory is opposed to the coherence theory of truth which holds that the truth or falsity of a statement is determined by its relations to other statements rather than its relation to the world.
Correspondence theories claim that true beliefs and true statements correspond to the actual state of affairs. This type of theory attempts to posit a relationship between thoughts or statements on the one hand, and things or facts on the other. It is a traditional model which goes back at least to some of the classical Greek philosophers such as Socrates, Plato, and Aristotle. This class of theories holds that the truth or the falsity of a representation is determined solely by how it relates to a reality; that is, by whether it accurately describes that reality. As Aristotle claims in his Metaphysics: "To say that [either] that which is is not or that which is not is, is a falsehood; and to say that that which is is and that which is not is not, is true".

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 20th 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).

This basic idea has been expressed in many ways, giving rise to an extended family of theories and, more often, theory sketches. 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, conditions, 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.

The correspondence theory of truth is often associated with metaphysical realism. Its traditional competitors, coherentist, pragmatist, and verificationist theories of truth, are often associated with idealism, anti-realism, or relativism. In recent years, the traditional competitors have been virtually replaced (at least from publication-space) by deflationary theories of truth and, to a lesser extent, by the identity theory: they now lead the attack against correspondence theories. Another approach to truth that has recently received considerable attention is truthmaker theory; it is sometimes viewed as a competitor to, sometimes as a more liberal version of, the correspondence theory.

Historically, most advocates of correspondence theories have been ontological realists; that is, they believe that there is a world external to the minds of all humans. This is in contrast to metaphysical idealists who hold that everything that exists is, in the end, just an idea in some mind. However, it is not strictly necessary that a correspondence theory be married to ontological realism. It is possible to hold, for example, that the facts of the world determine which statements are true and to also hold that the world (and its facts) is but a collection of ideas in the mind of some supreme being. For more information about correspondence theories that are not linked to ontological realism.

Correspondence theory practically operates on the assumption that truth is a matter of accurately copying what was much later called "objective reality" and then representing it in thoughts, words and other symbols.

Some alternatives theories include: