Combining Texts

Ideas for 'works', 'Mathematics is Megethology' and 'Knowledge by Acquaintance and Description-1'

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

display all the ideas for this combination of texts

---

4 ideas

5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic

10816

We can use mereology to simulate quantification over relations [Lewis]

5. Theory of Logic / K. Features of Logics / 8. Enumerability

10082

There are infinite sets that are not enumerable [Cantor, by Smith,P]

5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / b. Cantor's paradox

13483

Cantor's Paradox: the power set of the universe must be bigger than the universe, yet a subset of it [Cantor, by Hart,WD]

5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / e. Mirimanoff's paradox

8710	The powerset of all the cardinal numbers is required to be greater than itself [Cantor, by Friend]