Saying that a proposition is true just if it is identical with a fact does not say much of substance about truth.

This line of argument can be strengthened by noting the following point about explanation. Correspondence theorists have typically wanted the relation of correspondence to explain truth: they have usually wanted to say that it is because the proposition that Socrates is wise corresponds to a fact that it is true, and because the proposition that Socrates is foolish—or rather: It is not the case that Socrates is wise (after all, his merely being foolish is not enough to guarantee that he is not w