Quantifiers in Language and Logic