The strictest form of the theory defines truth as a structural correspondence between what is true (a belief, judgment, proposition, sentence, and so on) and what makes it true (an event, fact, state of affairs, and so on).
Because of 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.
Like the coherence theory, the correspondence theory may offer merely a criterion (rather than an analysis) of truth.
Also see: SEMANTICS, TRUTH-CONDITIONAL
D W Hamlyn, "The Correspondence Theory of Truth', Philosophical Quarterly (1962)