impredicative


Also found in: Wikipedia.

impredicative

(ˌɪmprəˈdɪkətɪv)
adj
(Logic) logic (of a definition) given in terms that require quantification over a range that includes that which is to be defined, as having all the properties of a great general where one of the properties as ascribed must be that property itself. Compare predicative2
Mentioned in ?
References in periodicals archive ?
The question of the admissibility of impredicative or circular identity criteria is investigated in the light of the view that is articulated.