  Authors of the modern period generally convey the impression that the correspondence theory of truth is far too obvious to merit much, or any, discussion. Brief statements of some version or other can be found in almost all major writers; see e.g.: Descartes 1639, ATII 597; Spinoza, Ethics, axiom vi; Locke, Essay, 4.5.1; Leibniz, New Essays, 4.5.2; Hume, Treatise, 3.1.1; and Kant 1787, B82. Berkeley, who does not seem to offer any account of truth, is a potentially significant exception. Due to the influence of Thomism, metaphysical versions of the theory are much more popular with the moderns than semantic versions. But since the moderns generally subscribe to a representational theory of the mind (the theory of ideas), they would seem to be ultimately committed to spelling out relations like correspondence or conformity in terms of a psycho-semantic representation relation holding between ideas, or sentential sequences of ideas (Locke’s “mental propositions”), and appropriate portions of reality, thereby effecting a merger between metaphysical and semantic versions of the correspondence theory.