A correspondence theory of truth is sometimes presented as making sense of our intuition about the correspondence between true statements/beliefs/propositions and the world. However, Correspondence Theory(tm) holds more specifically that every true proposition corresponds to something in the world. And that is surely not intuitive. Certainly, Aristotle who said that to speak truly is to say of what is that it is and of what is not that it is not did not think that negative propositions corresponded to something that is. There is no widely held intuition that the proposition that there are no unicorns is made true by a thing. In fact, the idea that it is is counterintuitive, as are particular fleshings out of it. This is not a decisive count against it, but it seems that the Correspondence Theorist(tm) may have engaged in a bait and switch—done justice to the letter of the correspondence intuition but not in the way that that intuition called for, while committing us to a highly counterintuitive thesis.
Suppose Aristotle were right that all statements can be classified into the positive and the negative, and that the positive ones are made true by something that is, and the negative true are true because there is nothing that makes their negations true. Surely that would fully satisfy our correspondence intuition, though it would not be a Correspondence Theory(tm).
