 As we have seen, the type view reverses the traditional order of explanation concerning the nature of predication, representation, and truth-conditions.  On the traditional, Fregean picture, propositions exist as objective, mind-independent entities “waiting” to be entertained, judged or asserted, so to speak.  On this view, for a subject S to predicate F of o is for S to entertain the proposition that o is F; for S to represent o as F in thought or language is to have have a thought or utterance with the primarily representational proposition that o is F as its content, etc.  On the type view, a proposition’s representational and predicative properties are derived from the fundamentally representational and predicative acts of agents.