Combining Texts

All the ideas for 'Works of Love', 'Mathematical Logic (revised)' and 'An Axiomatization of Set Theory'

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

---

5 ideas

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]

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

12221

'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine]

5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated

19321

We might do without names, by converting them into predicates [Quine, by Kirkham]

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]

22. Metaethics / B. Value / 2. Values / g. Love

15998

Perfect love is not in spite of imperfections; the imperfections must be loved as well [Kierkegaard]