Akademik
higher-order logic
One in which the
variables
of the
quantifiers
are permitted to range over properties and functions as well as individuals (see also
first-order language
).
Philosophy dictionary
.
Academic
.
2011
.