more from this thinker     |     more from this text


Single Idea 9928

[filed under theme 4. Formal Logic / G. Formal Mereology / 1. Mereology ]

Full Idea

Mereology has ontological implications. The acceptance of some initial entities involves the acceptance of many further entities, arbitrary wholes having the entities as parts. It must accept conglomerates. Geometric points imply geometric regions.

Gist of Idea

Mereology implies that acceptance of entities entails acceptance of conglomerates

Source

JP Burgess / G Rosen (A Subject with No Object [1997], II.C.1.b)

Book Ref

Burgess,J/Rosen,G: 'A Subject with No Object' [OUP 1997], p.156


A Reaction

Presumably without the wholes being entailed by the parts, there is no subject called 'mereology'. But if the conglomeration is unrestricted, there is not much left to be said. 'Restricted' composition (by nature?) sounds a nice line.


The 23 ideas with the same theme [formalised general theory of how parts relate to wholes]:

It seems absurd that seeing a person's limbs, the one is many, and yet the many are one [Plato]
Are a part and whole one or many? Either way, what is the cause? [Aristotle]
Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]
Abelard's mereology involves privileged and natural divisions, and principal parts [Abelard, by King,P]
Dedekind originally thought more in terms of mereology than of sets [Dedekind, by Potter]
The part-whole relation is ultimate and indefinable [Russell]
The counties of Utah, and the state, and its acres, are in no way different [Goodman]
Megethology is the result of adding plural quantification to mereology [Lewis]
Mereology is 'nihilistic' (just atoms) or 'universal' (no restrictions on what is 'whole') [Inwagen, by Varzi]
Part and whole contribute asymmetrically to one another, so must differ [Fine,K]
Mereology implies that acceptance of entities entails acceptance of conglomerates [Burgess/Rosen]
'Gunk' is an object in which proper parts all endlessly have further proper parts [Sider]
Mereology began as a nominalist revolt against the commitments of set theory [Harte,V]
Mereology has been exploited by some nominalists to achieve the effects of set theory [Orenstein]
Mereology need not be nominalist, though it is often taken to be so [Varzi]
Are there mereological atoms, and are all objects made of them? [Varzi]
There is something of which everything is part, but no null-thing which is part of everything [Varzi]
A 'part' has different meanings for individuals, classes, and masses [Simons]
Classical mereology doesn't apply well to the objects around us [Simons]
Complement: the rest of the Universe apart from some individual, written x-bar [Simons]
Criticisms of mereology: parts? transitivity? sums? identity? four-dimensional? [Simons]
Mereology elides the distinction between the cards in a pack and the suits [Potter]
The 'aggregative' objections says mereology gets existence and location of objects wrong [Koslicki]