Combining Texts

All the ideas for '67: Platonic Questions', 'On the Frame of Reference' and 'works'

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

---

4 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

9565	Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara]

3339	For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn]

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification

10009

Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin]

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

5960	When the soul is intelligent and harmonious, it is part of god and derives from god [Plutarch]