Combining Texts

Ideas for 'Stipulation, Meaning and Apriority', 'Knowledge and the Philosophy of Number' and 'Later Letters to Dedekind'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

4 ideas

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

17831

Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake]

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets

23623

Predicativism says only predicated sets exist [Hossack]

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets

23624

The iterative conception has to appropriate Replacement, to justify the ordinals [Hossack]

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

23625

Limitation of Size justifies Replacement, but then has to appropriate Power Set [Hossack]