more from this thinker     |     more from this text


Single Idea 10564

[filed under theme 4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology ]

Full Idea

We might combine the standard axioms of set theory with the standard axioms of mereology.

Gist of Idea

We might combine the axioms of set theory with the axioms of mereology

Source

Kit Fine (Replies on 'Limits of Abstraction' [2005], 1)

Book Ref

-: 'Philosophical Studies' [-], p.371


The 9 ideas with the same theme [basic principles for reasoning about parts and wholes]:

A part of a part is a part of a whole [Hobbes]
y is only a proper part of x if there is a z which 'makes up the difference' between them [Yablo]
We might combine the axioms of set theory with the axioms of mereology [Fine,K]
Which should be primitive in mereology - part, or overlap? [Sider]
Two standard formalisations of part-whole theory are the Calculus of Individuals, and Mereology [Simons]
Classical mereology doesn't handle temporal or modal notions very well [Simons]
The part-relation is transitive and asymmetric (and thus irreflexive) [Simons]
Each wheel is part of a car, but the four wheels are not a further part [Simons]
Extensional mereology needs two definitions and two axioms [Hossack]