Combining Texts

All the ideas for 'Wiener Logik', 'The Theory of Transfinite Numbers' and 'Sources of Knowledge of Mathematics'

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

6 ideas

2. Reason / D. Definition / 2. Aims of Definition
18261 A simplification which is complete constitutes a definition [Kant]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
9616 A set is a collection into a whole of distinct objects of our intuition or thought [Cantor]
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
22275 Logic gives us the necessary rules which show us how we ought to think [Kant]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities
15896 Cantor needed Power Set for the reals, but then couldn't count the new collections [Cantor, by Lavine]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
9545 Late in life Frege abandoned logicism, and saw the source of arithmetic as geometrical [Frege, by Chihara]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / b. Pro-externalism
18260 If we knew what we know, we would be astonished [Kant]