- quantifying only over individuals and not over predicates or clauses: first-order predicate calculus studies the logical properties of such quantification
First-order (noun) Definition, Meaning & Examples
