Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'On the Introduction of Transfinite Numbers' and 'Essentialists and Essentialism'

expand these ideas     |    start again     |     specify just one area for these texts

7 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
18170 The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
13489 Von Neumann treated cardinals as a special sort of ordinal [Neumann, by Hart,WD]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
12336 A von Neumann ordinal is a transitive set with transitive elements [Neumann, by Badiou]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / g. Von Neumann numbers
18179 For Von Neumann the successor of n is n U {n} (rather than {n}) [Neumann, by Maddy]
18180 Von Neumann numbers are preferred, because they continue into the transfinite [Maddy on Neumann]
15925 Each Von Neumann ordinal number is the set of its predecessors [Neumann, by Lavine]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
14380 The distinction between necessary and essential properties can be ignored [Rocca]