 The type view is motivated by its answers to otherwise puzzling features of traditional Platonist views of propositions (e.g. Frege (1984)).  On this view, belief and other attitudes are understood as relations to already-existing propositions which represent things as being a certain way.  The truth or falsity of an individual’s belief or other cognitive state is explained by the truth or falsity of the proposition which is the object of that state.  If truth consists in a representation’s being accurate, then a proposition is true just in case it accurately represents things as being a certain way.  Thus, on the traditional view, thinking subjects represent things as being a certain way (either in thought or language) by standing in appropriate relations to propositions which fundamentally represent things as being a certain way.