more on this theme | more from this thinker
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
| 10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
| 21716 | In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B] |
| 10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |
| 10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |
| 10039 | Some arithmetical problems require assumptions which transcend arithmetic [Gödel] |
| 10042 | Reference to a totality need not refer to a conjunction of all its elements [Gödel] |
| 10043 | Mathematical objects are as essential as physical objects are for perception [Gödel] |
| 10045 | Impredicative definitions are admitted into ordinary mathematics [Gödel] |
| 10046 | The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel] |