Quantification and the language of thought