Overview

first-order language


Show Summary Details

Quick Reference

A language in which the quantifiers contain only variables ranging over individuals and the functions have as their arguments only individual variables or constants. In a second-order language the variables of the quantifiers may range over functions, properties, relations, and classes of objects, and in yet higher-order languages over properties of properties.

Subjects: Philosophy.


Reference entries

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