An Etymological Dictionary of Astronomy and Astrophysics

1. 1. A word that indicates the quantity of something.
      

2. Math.: A phrase in a logical expression that somehow specifies the quantity of variables. In particular either of the phrases “for all” (written symbolically as ∀) and “there exists” (∃).
   

3. In → predicate logic, a symbol that applies to, or binds, → variables which represent the → arguments of → predicates. See also → existential quantifier and → universal quantifier. In → first-order logic theses variables must range over → individuals. In higher-order logics they may range over predicates.

See also: Agent noun of → quantify