- quantifier, logical quantifier - (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition
--1 is a kind of word
--1 has particulars: existential quantifier, existential operator - quantifier - (grammar) a word that expresses a quantity (as `fifteen' or `many')
--2 is a kind of word
--2 has particulars: universal quantifier