more on this theme     |     more from this thinker     |     more from this text


Single Idea 10041

[filed under theme 2. Reason / D. Definition / 8. Impredicative Definition ]

Full Idea

Impredicative Definitions are definitions of an object by reference to the totality to which the object itself (and perhaps also things definable only in terms of that object) belong.

Gist of Idea

Impredicative Definitions refer to the totality to which the object itself belongs

Source

Kurt Gödel (Russell's Mathematical Logic [1944], n 13)

Book Ref

'Philosophy of Mathematics: readings (2nd)', ed/tr. Benacerraf/Putnam [CUP 1983], p.455