Quantification and the logic of generalized propositions