Combining Texts

Ideas for 'Natural Kinds and Biological Realism', 'Writing the Book of the World' and 'Concerning the Trinity'

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

display all the ideas for this combination of texts

---

3 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 / 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]