Combining Texts

All the ideas for 'Good and Evil', 'Introduction to Russell's Theory of Types' and 'New Foundations for 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 / a. Axioms for sets

9879	NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]

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]

22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good

22489

'Good' is an attributive adjective like 'large', not predicative like 'red' [Geach, by Foot]