Second-Order Logic
Home
>
Philosophy
>
Logic
>
Predicate Logic
>
Second-Order Logic
An extension of first-order logic that allows for quantification over predicates.