Aristotle famously proclaims at Metaphysics Г.7, 1011b26–27: To men gar legein to on mê einai ê to mê on einai pseudos, to de to on einai kai to mê on mê einai alêthes, . . . Aristotle is inclined to think of this as a definition of truth and falsehood;1 we are inclined to wonder what he means by it. Perhaps a reasonable approximation in English would amount to something like: Tdf: For to state [of] that which is [that] it (...) is not or [of] that which is not [that] it is [is] false, and [to state of] that which is [that] it is and [of] that which is not [that] it is not [is] true. Many have considered this to be the expression of a correspondence theory of truth, and so it is tempting to .. (shrink)