Predicate
Predicate
The four traditional kinds of categorical propositions (see Logic, formal, 4) areall S is P, no S is P, some S is P, some S is not P. In each of these the concept denoted by S is the subject and that denoted by P is the predicate.
Hilbert and Ackermann use the word predicate for a propositional function of one or more variables, Carnap uses it for the corresponding syntactical entity, the name or designation of such a propositional function (i.e., of a property or relation). — A.C.