Source: p 268 Middle, Introducing Philosophy for Canadians: A Text with Integrated Readings (2011 1 ed).
Second, the theory doesn't satisfactorily explain what true beliefs correspond to. With what kind of thing or entity are they supposed to 'agree' or 'correspond'? To many philosophers, the answer has seemed obvious: true beliefs correspond to 'the facts'. But what, exactly, are facts? Here we need to be careful. Sometimes when we speak of 'facts', We are simply using that word as a synonym for truths, meaning 'true propositions or beliefs'. However. a defender of the correspondence theory had better not be using the word fact in this sense; for then all she would be saying is that true beliefs correspond to true belief s— and that certainly isn't very helpful. Perhaps what is meant by fact is something like an actual state of affairs in the world, such as the cat being on the mat in the kitchen. This suggestion sounds more promising; but it, too, faces problems. For what are we to say about beliefs such as 'There is no cat on the mat', or 'There is no milk in the refrigerator', or 'I do not have a brother'? If beliefs of this sort can be true—and they obviously can— doesn't this mean that there must be lots of shadowy 'negative' facts out there in the world, as well as positive ones? And here is another problem: How are we to identify facts? How do we count them or distinguish them? For instance, is the fact that makes the man's belief [1.] 'My cat is on the mat' [End of 1.] true the same fact as the fact that makes his belief [2.]' There is an animal in my house' true? [End of 2.] Questions like these have kept the defenders of facts busy.
I do not understand the difficulty in deducing 2 from 1; so what have I neglected? 2 is really a Conclusion from 1, if we add the following Hidden Premises:
A cat is an animal.
The mat is in my house.