Combining Texts

Ideas for 'fragments/reports', 'works' and 'Writing the Book of the World'

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

display all the ideas for this combination of texts

---

2 ideas

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

15004	'Gunk' is an object in which proper parts all endlessly have further proper parts [Sider]
	Full Idea: An object is 'gunky' if each of its parts has further proper parts; thus gunk involves infinite descent in the part-whole relation.
	From: Theodore Sider (Writing the Book of the World [2011], 07.11.2)

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

14984	Which should be primitive in mereology - part, or overlap? [Sider]
	Full Idea: Should our fundamental theory of part and whole take 'part' or 'overlap' as primitive?
	From: Theodore Sider (Writing the Book of the World [2011], 02.3)