Figure 11-1 illustrates the relationship. Important
things to remember about aggregation are
• Nothing is a (proper
1
) part of itself.
• If B is a part of A, then A is not a part of B
(asymmetr y).
• If B is a part of A, and C is a part of B, then C is a
part of A (transitivity).
• If A has parts (is not atomic—in the original sense
of the word, i.e., not physics), then it has at least
two nonoverlapping parts (for example, B and D in
Figure 11-1).
• If there is a part of E that is not a part of A, then E is
not a part of A.
• In the sum of overlapping parts like D and F, any
overlapping parts only count once.
• If a part of F is a part of D, then D and F overlap.
Sometimes, the whole is more than the sum of its parts. The
parts compose something that has emergent properties that result
from the way that the parts are arranged—for example, a watch.
This I shall call composition. Finally, there is the case where the
part is the full spatial extent for a period in time; that is, the part is
a state of the whole. This I will call temporal composition.
The subject of mereology (the study of parts) is itself the
subject of whole books. I certainly do not intend to cover the
subject in such detail here.
2
11.2 Individuals and States
Figure 11-2 illustrates the key kinds of spatio-temporal
extent. State is something for a period of time. A state might be
a state of a car, or a state of a person, or a state of a factor y.
Now for some states, the period that they are for is the whole of
the life of something. These I shall call individuals. Examples of
individuals include cars, persons, atoms, activities, and brooms.
States are useful in two different ways. The y are the temporal
part of an individual to which some property applies, and they
Time
Space
A
C
E
BD
F
Figure 11-1 An example of an
aggregation relationship.
1
There are versions of mereology (the study of wholes and parts) where spatio-
temporal extents are (improper) parts of themselves. I will stay with the more
everyday understanding of being a part.
2
If you are interested in finding out more about mereology, an excellent text is
P. Simons, PartsA Study in Ontology, Oxford University Press, 2000. I have also
coauthored a paper on 4D mereotopology: J. G. Stell, M. West, A 4-Dimensionalist
Mereotopology, in A.C.Varzi, L. Vieu, (Eds), Formal Ontology in Information Systems,
IOS Press, 2004, 261272.
124 Chapter 11 SPATIO-TEMPORAL EXTENTS