Conceivability, intensionality, and the logic of Anselm's modal argument for the existence of God