Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', '75: Is 'Live Unknown' a Wise Precept?' and 'Building Blocks of Mathematical Logic'

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]

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic

17699

Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]

15. Nature of Minds / A. Nature of Mind / 2. Psuche

5959	Some philosophers say the soul is light [Plutarch]