“the semantics of propositional attitudes”