Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'De modo distinguendi phaenomena' and 'The Foundations of Mathematics'

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

---

5 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]

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle

18844

You would cripple mathematics if you denied Excluded Middle [Hilbert]

7. Existence / D. Theories of Reality / 2. Realism

12741

If experience is just a dream, it is still real enough if critical reason is never deceived [Leibniz]

12740

The strongest criterion that phenomena show reality is success in prediction [Leibniz]

12. Knowledge Sources / B. Perception / 2. Qualities in Perception / e. Primary/secondary critique

12721

Light, heat and colour are apparent qualities, and so are motion, figure and extension [Leibniz]