Combining Texts

All the ideas for 'Alcibiades', 'Introduction to Russell's Theory of Types' and 'The Architecture of Mathematics'

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

---

3 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 / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism

10190

From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki]

17. Mind and Body / A. Mind-Body Dualism / 1. Dualism

3519	Man uses his body, so must be separate from it [Anon (Plat), by Maslin]