Combining Texts

All the ideas for 'Laches', 'An Axiomatization of Set Theory' and 'works'

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

---

6 ideas

1. Philosophy / A. Wisdom / 3. Wisdom Deflated

291	Don't assume that wisdom is the automatic consequence of old age [Plato]

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5

7791	The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle]

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size

15943

Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann]

6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory

13672

All the axioms for mathematics presuppose set theory [Neumann]

10. Modality / A. Necessity / 2. Nature of Necessity

11002

Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read]

23. Ethics / C. Virtue Theory / 3. Virtues / d. Courage

293	Being unafraid (perhaps through ignorance) and being brave are two different things [Plato]