Aristotle's Correspondence Theory of Truth and What Does Not Exist

While nowhere does he use the term to refer to his own theory, Aristotle is often thought to exemplify an early correspondence theory of truth. In the paper, I examine the textual evidence used to support the idea that Aristotle holds a correspondence theory of truth, and to infer the nuances of this theory. I hold that Aristotle’s theory of truth can account for terms that signify non-existent things, i.e., that on Aristotle’s account, an assertion is not automatically false given its subject term’s “failure to refer”. Terms do not refer for Aristotle, they signify (and his use of the concept of signification extends far beyond linguistic reference)