In a decisive move for German Idealism, Schelling parallels the idea of nature as an absolute producing subject, whose predicates are appearing objective nature, with the spontaneity of the thinking subject, which is the condition of the syntheses required for the constitution of objectivity, thus for the possibility of predication in judgements.
The language is a first-order language with individual constants, whose basic predicates express relations and whose variables range over individuals, which verifies the following two conditions: (i) every relation is expressed by some basic predicate of the language, and (ii) every individual (taken from any world) is designated by some constant of the language.
Indeed, ψ is presumably logically consistent with T, the set of necessarily true sentences each of which contains at most one non-logical predicate, and each of whose non-logical predicates expresses a fundamental property or relation; that is, the union of and T presumably has a model.
And I think of the predicate, whose key component is a verb, as the sail or motor, the part that makes the boat move.
At least, we cannot understand it, if it is construed as a descriptive predicate whose function it is to denote a property (whether real or non-existent).
A strict contextualist theory would claim that this adjective is a unary predicate whose content in any context is a unary property.
In particular, a formula consisting of a predicate whose argument is a non-singular constant is true just in case the constant is interpreted as one or more individuals that jointly satisfy the predicate (cf. Linnebo 2012[20]).
("You want a predicate whose applicability to what is happening in or to me is made clear to me by the very fact of that thing's happening", Hinton 1967, 224).
On such views, 'rich' is a binary predicate whose content in all contexts is the previously mentioned binary relation rich for, but the word is never accompanied by a hidden indexical.
Medievals refer to the predicates in question as 'relative terms' (ad aliquid or relativa),[9] and understand them, roughly speaking, as those terms whose true predication requires a comparison to something other than the subject of which they are predicated.
