Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'Later Letters to Dedekind' and 'The Architecture of Theories'

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 / a. Axioms for sets

17831

Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake]

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]

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

14802

Physical and psychical laws of mind are either independent, or derived in one or other direction [Peirce]

26. Natural Theory / D. Laws of Nature / 1. Laws of Nature

14800

The world is full of variety, but laws seem to produce uniformity [Peirce]

27. Natural Reality / G. Biology / 3. Evolution

14801

Darwinian evolution is chance, with the destruction of bad results [Peirce]