more from this thinker | more from this text
Full Idea
Extensional mereology defs: 'distinct' things have no parts in common; a 'fusion' has some things all of which are parts, with no further parts. Axioms: (transitivity) a part of a part is part of the whole; (sums) any things have a unique fusion.
Gist of Idea
Extensional mereology needs two definitions and two axioms
Source
Keith Hossack (Plurals and Complexes [2000], 5)
Book Ref
-: 'British Soc for the Philosophy of Science' [-], p.423
17245 | A part of a part is a part of a whole [Hobbes] |
18999 | y is only a proper part of x if there is a z which 'makes up the difference' between them [Yablo] |
10564 | We might combine the axioms of set theory with the axioms of mereology [Fine,K] |
14984 | Which should be primitive in mereology - part, or overlap? [Sider] |
12813 | Two standard formalisations of part-whole theory are the Calculus of Individuals, and Mereology [Simons] |
12816 | Classical mereology doesn't handle temporal or modal notions very well [Simons] |
12821 | The part-relation is transitive and asymmetric (and thus irreflexive) [Simons] |
18847 | Each wheel is part of a car, but the four wheels are not a further part [Simons] |
10677 | Extensional mereology needs two definitions and two axioms [Hossack] |