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 ve ...
, 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 co ...
, without a self-referencing definition
*
Predicative programming Predicative programming is the original name of a formal method for program specification and refinement, more recently called a Practical Theory of Programming, invented by Eric Hehner. The central idea is that each specification is a binary (bool ...
, a methodology for program specification and refinement
{{disambiguation