more on this theme | more from this thinker
Full Idea
With a basic parthood relation, we can formally define various mereological predicates, such as overlap, underlap, proper part, over-crossing, under-crossing, proper overlap, and proper underlap.
Clarification
See Idea 10649 for the parthood relation
Gist of Idea
The parthood relation will help to define at least seven basic predicates
Source
Achille Varzi (Mereology [2003], 2.2)
Book Ref
'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.6
A Reaction
[Varzi offers some diagrams, but they need interpretation]
Related Idea
Idea 10649 'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi]
| 10648 | Mereology need not be nominalist, though it is often taken to be so [Varzi] |
| 10647 | Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [Varzi] |
| 10651 | If 'part' is reflexive, then identity is a limit case of parthood [Varzi] |
| 10649 | 'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi] |
| 10653 | Maybe set theory need not be well-founded [Varzi] |
| 10652 | Conceivability may indicate possibility, but literary fantasy does not [Varzi] |
| 10654 | The parthood relation will help to define at least seven basic predicates [Varzi] |
| 10655 | Are there mereological atoms, and are all objects made of them? [Varzi] |
| 10658 | Sameness of parts won't guarantee identity if their arrangement matters [Varzi] |
| 10659 | There is something of which everything is part, but no null-thing which is part of everything [Varzi] |
| 10661 | 'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi] |