Combining Texts

All the ideas for 'poems', 'works' and 'Laudatio: Prof Ruth Barcan Marcus'

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


4 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
If a property is possible, there is something which can have it [Williamson]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara]
For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
Nomos is king [Pindar]