Search the lexicon


Predicate constant

SEMANTICS: a basic expression in predicate logic denoting properties of or relations between individuals. One-place predicate constants combine with one individual term: P(a), two-place predicates with two individual terms: R(b,c), etcetera. One-place predicates are interpreted as sets, n-place predicates with n > 1 as sets of ordered pairs. In 'higher-order' predicate logic and in type logic, it is also possible for a predicate to take another predicate as an argument. Predicates which take other predicates as their argument are called second-order predicates.
LIT. Gamut, L.T.F. (1991)