Predicative (other)
   HOME

TheInfoList



OR:

Predicative may refer to: * Something having the properties of a grammatical predicate ** Predicative expression, part of a clause that typically follows a copula (linking verb) **
Predicative verb A predicative verb is a verb that behaves as a grammatical adjective; that is, it predicates (qualifies or informs about the properties of its argument). It is a special kind of stative verb. Many languages do not use the present forms of the ver ...
, a verb that behaves as a grammatical adjective * In mathematics and logic something without
impredicativity In mathematics, logic and philosophy of mathematics, something that is impredicative is a self-referencing definition. Roughly speaking, a definition is impredicative if it invokes (mentions or quantifies over) the set being defined, or (more com ...
, without a self-referencing definition * Predicative programming, a methodology for program specification and refinement {{disambiguation