Combining Texts

Ideas for 'On the Question of Absolute Undecidability', 'Lectures on Jurisprudence' and 'Knowledge and the Philosophy of Number'

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

display all the ideas for this combination of texts

---

5 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory

17884

Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]

17893

'Reflection principles' say the whole truth about sets can't be captured [Koellner]

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]