I wish first to motivate very briefly two points about the kind of context sensitive semantics needed for attitude reports, namely that reports are about referents and about mental representations; then I will compare two proposals for treating the attitudes, both of which capture the two points in question.

This paper develops — within an axiomatic theory of properties, relations, and propositions which accords them well-defined existence and identity conditions — a sententialist-functionalist account of belief as a symbolically mediated relation to a special kind of propositional entity, theproxy-encoding abstract proposition. It is then shown how, in terms of this account, the truth conditions of English belief reports may be captured in a formally precise and empirically adequate way that accords genuinely semantic status to familiar opacity data.