Predicative (other)
   HOME

TheInfoList



OR:

Predicative may refer to: * Something having the properties of a grammatical predicate **
Predicative expression A predicative expression (or just predicative) is part of a clause predicate, and is an expression that typically follows a copula or linking verb, e.g. ''be'', ''seem'', ''appear'', or that appears as a second complement (object complement) of ...
, part of a clause that typically follows a copula (linking verb) ** Predicative verb, 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