higher-order logic

Show Summary Details

Quick Reference

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).

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.