back to ideas for this text


Single Idea 14984

[from 'Writing the Book of the World' by Theodore Sider, in 4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology ]

Full Idea

Should our fundamental theory of part and whole take 'part' or 'overlap' as primitive?

Gist of Idea

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

Source

Theodore Sider (Writing the Book of the World [2011], 02.3)

Book Reference

Sider,Theodore: 'Writing the Book of the World' [OUP 2011], p.13


Related Idea

Idea 12826 Sum: the sum of individuals is what is overlapped if either of them are, written 'x + y' [Simons]