Higher-order logic
Home
>
Philosophy
>
Logic
>
Predicate Logic
>
Higher-order logic
Allows quantification over functions and predicates, in addition to individual variables.