21 ideas
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] |
10042 | Reference to a totality need not refer to a conjunction of all its elements [Gödel] |
10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |
9837 | 0 is not a number, as it answers 'how many?' negatively [Husserl, by Dummett] |
9576 | Multiplicity in general is just one and one and one, etc. [Husserl] |
17444 | Husserl said counting is more basic than Frege's one-one correspondence [Husserl, by Heck] |
10046 | The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel] |
10039 | Some arithmetical problems require assumptions which transcend arithmetic [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] |
16065 | Constitution is identity (being in the same place), or it isn't (having different possibilities) [Wasserman] |
16067 | Constitution is not identity, because it is an asymmetric dependence relation [Wasserman] |
16069 | There are three main objections to seeing constitution as different from identity [Wasserman] |
16068 | The weight of a wall is not the weight of its parts, since that would involve double-counting [Wasserman] |
16074 | Relative identity may reject transitivity, but that suggests that it isn't about 'identity' [Wasserman] |
9575 | Husserl identifies a positive mental act of unification, and a negative mental act for differences [Husserl, by Frege] |
21214 | We clarify concepts (e.g. numbers) by determining their psychological origin [Husserl, by Velarde-Mayol] |
9819 | Psychologism blunders in focusing on concept-formation instead of delineating the concepts [Dummett on Husserl] |
9851 | Husserl wanted to keep a shadowy remnant of abstracted objects, to correlate them [Dummett on Husserl] |