“The strictest form of the theory defines truth as a structural correspondence between what is true (a belief, judgement, proposition, sentence, and so on) and what makes it true (an event, fact, state of affairs, and so on). Because of the difficulties in defining such a relation (difficulties also facing the Picture Theory of Meaning), the theory is often weakened to saying simply that what is true is so because there is a relevant fact without any correspondence of structure. In an even weaker version (held by Aristotle) something is true if it simply “says things as they are,” a view which approaches the Redundancy Theory of Truth (see also Semantics, Truth-Conditional). Like the Coherence Theory, the correspondence theory may offer merel a criterion (rather than an analysis) of truth.”

D.W. Hamlyn, “The Correspondence Theory of Truth,” Philosophical Quarterly (1962).