  Definitions like (1) and (2) from Section 3 assume, naturally, that truthbearers are true because they, the truthbearers themselves, correspond to facts. There are however views that reject this natural assumption. They propose to account for the truth of truthbearers of certain kinds, propositions, not by way of their correspondence to facts, but by way of the correspondence to facts of other items, the ones that have propositions as their contents. Consider the state of believing that p (or the activity of judging that p). The state (the activity) is not, strictly speaking, true or false; rather, what is true or false is its content, the proposition that p. Nevertheless, on the present view, it is the state of believing that p that corresponds or fails to correspond to a fact. So truth/falsehood for propositions can be defined in the following manner: x is a true/false proposition iff there is a belief state B such that x is the content of B and B corresponds/fails to correspond to a fact.