  The correspondence theory is often traced back to Aristotle’s well-known definition of truth (Metaphysics 1011b25): “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”—but virtually identical formulations can be found in Plato (Cratylus 385b2, Sophist 263b). It is noteworthy that this definition does not highlight the basic correspondence intuition. Although it does allude to a relation (saying something of something) to reality (what is), the relation is not made very explicit, and there is no specification of what on the part of reality is responsible for the truth of a saying. As such, the definition offers a muted, relatively minimal version of a correspondence theory. (For this reason it has also been claimed as a precursor of deflationary theories of truth.) Aristotle sounds much more like a genuine correspondence theorist in the Categories (12b11, 14b14), where he talks of underlying things that make statements true and implies that these things (pragmata) are logically structured situations or facts (viz., his sitting and his not sitting are said to underlie the statements “He is sitting” and “He is not sitting”, respectively). Most influential is Aristotle’s claim in De Interpretatione (16a3) that thoughts are “likenesses” (homoiomata) of things. Although he nowhere defines truth in terms of a thought’s likeness to a thing or fact, it is clear that such a definition would fit well into his overall philosophy of mind. (Cf. Crivelli 2004; Szaif 2006.)