Quantifiers, Propositions and Identity