Combining Texts

Ideas for 'Writing the Book of the World', 'Mathematical logic and theory of types' and 'Introspection'

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 / D. Modal Logic ML / 7. Barcan Formula

15023

The Barcan schema implies if X might have fathered something, there is something X might have fathered [Sider]

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory

11064

Classes can be reduced to propositional functions [Russell, by Hanna]

4. Formal Logic / G. Formal Mereology / 1. Mereology

15004

'Gunk' is an object in which proper parts all endlessly have further proper parts [Sider]

4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology

14984

Which should be primitive in mereology - part, or overlap? [Sider]