The context, or more precisely, the added significative term, can be of three kinds: the added significative term can be a predicate of a proposition in which the term at issue occurs, the added significative term can be an adjective, or the context can be of a social nature (De Rijk 1971. See also de Rijk 1985, pp. 183 203).
Of course, "hardworking" – whether it is a predicate of "families" or "people" – is one of those glittering generalities that features regularly in political communications.
This means that for any predicate of any order, there is a predicate of the first-order level which is equivalent to it.
Moreover, the first sentence contains what might be called an individuating predicate — it is a predicate of the form, a such and such, rather than of the form, such and such.
According to Kant, truth is a predicate of whole judgments, and not a predicate of the representational proper parts of judgments, i.e., intuitions/non-conceptual cognitions and concepts (A293/B350).
On this view, the logical form of "God exists" is not Exists (God)—where Exists is a predicate of individuals, but rather: The concept God applies to something, or Something possesses the property of being God).
If (p) is a predicate of type (P(T_1 times cdots times T_k)), and for (1 le i le k), (t_i) is a term of type (T_i), then (p(t_1,ldots,t_k)) is an atomic formula (also called an atom).
Formally, this consistency is a predicate of type ORCID × PTCRIS → Bool, that given two user profiles returns a boolean indicating whether they are consistent with each other.
An atom is an expression p (t 1, …, t n ), where p is a predicate of arity n ≥ 0 and each t i is either a variable or an element from U.
