structure for 'Objects'    |     alphabetical list of themes    |     unexpand these ideas

9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates

[whether a mere assemblage of parts can be unified]

18 ideas
Democritus denies reality to large objects, because atomic entities can't combine to produce new ones [Benardete,JA on Democritus]
     Full Idea: Democritus appears to rule out from his austere ontology all so-called emergent entities - even mountains and rivers - on the ground that two or more entities can never combine to produce a new one.
     From: comment on Democritus (fragments/reports [c.431 BCE]) by José A. Benardete - Metaphysics: the logical approach Ch.24
Parts must belong to a created thing with a distinct form [Plato]
     Full Idea: The part would not be the part of many things or all, but of some one character ['ideas'] and of some one thing, which we call a 'whole', since it has come to be one complete [perfected] thing composed [created] of all.
     From: Plato (Parmenides [c.364 BCE], 157d)
     A reaction: A serious shot by Plato at what identity is. Harte quotes it (125) and shows that 'character' is Gk 'idea', and 'composed' will translate as 'created'. 'Form' links this Platonic passage to Aristotle's hylomorphism.
Things are one to the extent that they are indivisible [Aristotle]
     Full Idea: In general those things that do not admit of division [diairesis] are one insofar as they do not admit of it.
     From: Aristotle (Metaphysics [c.324 BCE], 1016b03)
     A reaction: Aristotle gives a man, an animal and a magnitude as examples. The interesting thing here is that being 'one' seems to come in degrees, where most metaphysicians long for oneness to be an absolute.
Indivisibility is the cause of unity, either in movement, or in the account or thought [Aristotle]
     Full Idea: The reason why all things are unities is indivisibility. In some, it is indivisibility with regard to movement, in others with regard to thought and the account.
     From: Aristotle (Metaphysics [c.324 BCE], 1052a35)
     A reaction: This is puzzling, since Aristotle wasn't an atomist, and therefore thought that everything was endlessly divisible. He might better have said that unified things 'strongly resist division'.
Things are unified by contact, mixture and position [Aristotle]
     Full Idea: Some things are one by contact, some by mixture, and some by position.
     From: Aristotle (Metaphysics [c.324 BCE], 1082a16)
     A reaction: So if several things are stuck together, or mixed together, or in the same location, that can unify them? They sound rather weak modes of unification.
A 'body' is a conception of an aggregate, with properties defined by application conditions [Epicurus]
     Full Idea: Properties are known by their peculiar forms of application and comprehension, in close accompaniment with the aggregate [of atoms], which is given the predicate 'body' by reference to the aggregate conception.
     From: Epicurus (Letter to Herodotus [c.293 BCE], 69)
     A reaction: There is an interesting hint here of how to think of properties (as both applying and comprehended in some distinctive way), and a suggestion that there is something conventional about bodies, depending on how we conceive them.
'One' can mean undivided and not a multitude, or it can add measurement, giving number [Aquinas]
     Full Idea: There are two sorts of one. There is the one which is convertible with being, which adds nothing to being except being undivided; and this deprives of multitude. Then there is the principle of number, which to the notion of being adds measurement.
     From: Thomas Aquinas (Quaestiones de Potentia Dei [1269], q3 a16 ad 3-um)
     A reaction: [From a lecture handout] I'm not sure I understand this. We might say, I suppose, that insofar as water is water, it is all one, but you can't count it. Perhaps being 'unified' and being a 'unity' are different?
It is absurd that there is no difference between a genuinely unified thing, and a mere aggregate [Duns Scotus]
     Full Idea: It seems absurd …that there should be no difference between a whole that is one thing per se, and a whole that is one thing by aggregation, like a cloud or a heap.
     From: John Duns Scotus (Ordinatio [1302], III.2.2), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 25.5
     A reaction: Leibniz invented monads because he was driven crazy by the quest for 'true unity' in things. Objective unity may be bogus, but I suspect that imposing plausible unity on things is the only way we can grasp the world.
If a whole body is moved, its parts must move with it [Hobbes]
     Full Idea: How can any whole body be moved, unless all its parts be moved together with it?
     From: Thomas Hobbes (De Corpore (Elements, First Section) [1655], 2.08.05)
     A reaction: This might be a distinguishing mark for a whole physical body. I think it is probably the main mark for ordinary folk. I've never found this idea in Aristotle.
A thing is unified if its parts produce a single effect [Spinoza]
     Full Idea: If a number of individuals so unite in one action that they are all simultaneously the cause of one effect, I consider them all, so far, as one individual thing.
     From: Baruch de Spinoza (The Ethics [1675], II Def 7)
     A reaction: Interesting. If a mob burn down a town, is that one effect, making the mob one thing? If a ball breaks a window, is that one effect, or a multitude of knock-on effects? Spinoza's view is very coarse-grained.
Particles mutually attract, and cohere at short distances [Newton]
     Full Idea: The particles of bodies attract one another at very small distances and cohere when they become contiguous.
     From: Isaac Newton (Principia Mathematica [1687], Bk 3 Gen Schol)
     A reaction: This is the sort of account of unity which has to be given in the corpuscular view of things, once substantial forms are given up. What is missing here is the structure of the thing. A lump of dirt is as unified as a cat in this story.
A body would be endless disunited parts, if it did not have a unifying form or soul [Leibniz]
     Full Idea: Without soul or form of some kind, a body would have no being, because no part of it can be designated which does not in turn consist of more parts. Thus nothing could be designated in a body which could be called 'this thing', or a unity.
     From: Gottfried Leibniz (Conspectus libelli (book outline) [1678], A6.4.1988), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 1
     A reaction: The locution 'soul or form' is disconcerting, and you have to spend some time with Leibniz to get the hang of it. The 'soul' is not intelligent, and is more like a source of action and response.
Accidental unity has degrees, from a mob to a society to a machine or organism [Leibniz]
     Full Idea: There are degrees of accidental unity, and an ordered society has more unity than a chaotic mob, and an organic body or a machine has more unity than a society.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30)
     A reaction: This immediately invites questions about the extremes. Why does the very highest degree of 'accidental unity' not achieve 'true unity'? And why cannot a very ununified aggregate have a bit of unity (as in unrestricted mereological composition)?
A set has some sort of unity, but not enough to be a 'whole' [Russell]
     Full Idea: In a class as many, the component terms, though they have some kind of unity, have less than is required for a whole.
     From: Bertrand Russell (The Principles of Mathematics [1903], §070)
     A reaction: This is interesting because (among many other things), sets are used to stand for numbers, but numbers are usually reqarded as wholes.
Every physical thing is either a living organism or a simple [Inwagen]
     Full Idea: The thesis about composition and parthood that I am advocating has far-reaching ontological consequences: that every physical thing is either a living organism or a simple.
     From: Peter van Inwagen (Material Beings [1990], 10)
     A reaction: A 'simple' is a placeholder for anything considered to be a fundamental unit of existence (such as an electron or a quark). This amazingly sharp distinction strikes me as utterly implausible. There is too much in the middle ground.
'The rock' either refers to an object, or to a collection of parts, or to some stuff [Burke,M, by Wasserman]
     Full Idea: Burke distinguishes three different readings of 'the rock'. It can be a singular description denoting an object, or a plural description denoting all the little pieces of rock, or a mass description the relevant rocky stuff.
     From: report of Michael Burke (Dion and Theon: an essentialist solution [1994]) by Ryan Wasserman - Material Constitution 5
     A reaction: Idea 16068 is an objection to the second reading. Only the first reading seems plausible, so we must just get over all the difficulties philosophers have unearthed about knowing exactly what an 'object' is. I offer you essentialism. Rocks have unity.
Things can't be fusions of universals, because two things could then be one thing [Oliver]
     Full Idea: If a particular thing is a bundle of located universals, we might say it is a mereological fusion of them, but if two universals can be instantiated by more than one particular, then two particulars can have the same universals, and be the same thing.
     From: Alex Oliver (The Metaphysics of Properties [1996], §11)
     A reaction: This and Idea 10725 pretty thoroughly demolish the idea that objects could be just bundles of universals. The problem pushes some philosophers back to the idea of 'substance', or some sort of 'substratum' which has the universals.
Abstract sets of universals can't be bundled to make concrete things [Oliver]
     Full Idea: If a particular thing is a bundle of located universals, we might say that it is the set of its universals, but this won't work because the thing can be concrete but sets are abstract.
     From: Alex Oliver (The Metaphysics of Properties [1996], §11)
     A reaction: This objection applies just as much to tropes (abstract particulars) as it does to universals.