In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

This chapter discusses the distinction between natural kinds and natural properties. Some theorists deny the distinction, and claim that natural kinds can be identified with properties. For example, natural kinds might be understood as the perfectly natural properties, reducible to properties or the extensions of properties. Alternatively, one might argue that natural kinds and natural properties are distinct and that natural kinds could be considered as a sui generis type of entity. For example, one might hold that natural kinds require (...) a distinct kind of universal, substantival universal, or sortal. Alternatively, one might claim that properties themselves form natural kind groupings, in virtue of causal mechanisms. This chapter argues that classification into natural kinds can reflect real differences between natural groups, without the supplementary ontological distinction between properties and kinds. -/- . (shrink)

We articulate a view of natural kinds as complex universals. We do not attempt to argue for the existence of universals. Instead, we argue that, given the existence of universals, and of natural kinds, the latter can be understood in terms of the former, and that this provides a rich, flexible framework within which to discuss issues of indeterminacy, essentialism, induction, and reduction. Along the way, we develop a 'problem of the many' for universals.

A team of leading philosophers presents original work on theories of parthood and location. Topics covered include how we ought to axiomatise our mereology; whether we can reduce mereological relations to identity or to locative relations; whether Mereological Essentialism is true; and what mereology and propositions can tell us about one another.

According to the Weak Supplementation Principle (WSP)—a widely received principle of mereology—an object with a proper part, p , has another distinct proper part that doesn't overlap p . In a recent article in this journal, Nikk Effingham and Jon Robson employ WSP in an objection to endurantism. I defend endurantism in a way that bears on mereology in general. First, I argue that denying WSP can be motivated apart from the truth of endurantism. I then go on to offer (...) an explanation of WSP's initial appeal, argue that denying WSP fails to have untoward consequences for the rest of mereology, and show that the falsity of WSP is consistent with a primary guiding thought behind it. (shrink)

In this book, Linda Wetzel examines the distinction between types and tokens and argues that types exist (as abstract objects, since they lack a unique ...

The objects we encounter in ordinary life and scientific practice - cars, trees, people, houses, molecules, galaxies, and the like - have long been a fruitful source of perplexity for metaphysicians. The Structure of Objects gives an original analysis of those material objects to which we take ourselves to be committed in our ordinary, scientifically informed discourse. Koslicki focuses on material objects in particular, or, as metaphysicians like to call them "concrete particulars", i.e., objects which occupy a single region of (...) space-time at each time at which they exist and which have a certain range of properties that go along with space-occupancy, such as weight, shape, color, texture, and temperature. The Structure of Objects focuses in particular on the question of how the parts of such objects, assuming that they have parts, are related to the wholes which they compose. (shrink)

The distinction between a type and its tokens is auseful metaphysical distinction. In §1 it is explained what itis, and what it is not. Its importance and wide applicability inlinguistics, philosophy, science and everyday life are brieflysurveyed in §2. Whether types are universals is discussed in§3. §4 discusses some other suggestions for what types are,both generally and specifically. Is a type the sets of its tokens?What exactly is a word, a symphony, a species? §5 asks what atoken is. §6 considers (...) the relation between types and theirtokens. Do the type and all its tokens share the same properties? Mustall the tokens be alike in some or all respects? §7 explains someproblems for the view that types exist, and some problems for the viewthat they don’t. §8 elucidates a distinction often confused withthe type-token distinction, that between a type and anoccurrence of it. It also discusses some problems thatoccurrences might be thought to give rise to, and one way to resolvethem. (shrink)

Multilocation and Minimal Mereology do not mix well. It has been pointed out that Three-Dimensionalism, which can be construed as multilocation-friendly, runs into trouble with Weak Supplementation. But in fact, regardless of one’s theory of persistence, if someone posits the possibility of any one of several kinds of multilocation, he or she will not be able to maintain the necessity of any of the three axioms of Minimal Mereology: the Transitivity of Proper Parthood, the Asymmetry of Proper Parthood, and Weak (...) Supplementation. In fact, positing even the mere conceivability of cases involving multilocation will require the denial of the analyticity of Minimal Mereology. In response to this, some have claimed that we ought to relativise parthood, either to one region or to two. Unfortunately, if we replace the axioms of Minimal Mereology with region-relativised counterparts, we will not be able to capture the intuitions that supported the original axioms. The only adequate solution, I maintain, is to restrict multilocation to a domain outside the scope of the rules we intuitively take to govern the parthood relation. For those who take Minimal Mereology to be necessary and universal, that will mean relinquishing the possibility of multilocation. (shrink)

If the property _being a methane molecule_ is a universal, then it is a structural universal: objects instantiate _being a methane molecule_ just in case they have the right sorts of proper parts arranged in the right sort of way. Lewis argued that there can be no satisfactory account of structural universals; in this paper I provide a satisfactory account.

Lewis has objected to Armstrong's notion of a structural universal on the grounds that it violates the Principle of Uniqueness of Composition (PUC), which says that given some parts, there is only one whole that they compose. This paper reviews Armstrong's case for structural universals, and then attempts to reconcile structural universals with PUC by arguing for the existence of arrangement universals. The latter are not only a key to defending structural universals against Lewis' objection, but are in fact essential (...) to Armstrong's conception of structural universals in general. Three objections to my proposal are deflected, and two alternative proposals are shown to be inferior to it. (shrink)

Existing puzzles about coinciding objects can be divided into two types, corresponding to the manner in which they bear upon the endurantism v. perdurantism debate. Puzzles of the first type, which involve temporary spatial co-location, can be solved simply by abandoning endurantism in favor of perdurantism, whereas those of the second type, which involve career-long spatial co-location, remain equally puzzling on both views. I show that the possibility of backward time travel would give rise to a new type of puzzle. (...) The new puzzles confront perdurantists and can be solved just by shifting to endurantism. (shrink)

I argue that it is intuitive and useful to think about composition in the light of the familiar functionalist distinction between role and occupant. This involves factoring the standard notion of parthood into two related notions: being a parthood slot and occupying a parthood slot. One thing is part of another just in case it fills one of that thing's parthood slots. This move opens room to rethink mereology in various ways, and, in particular, to see the mereological structure of (...) a composite as potentially outreaching the individual entities that are its parts. I sketch one formal system that allows things to have individual entities as parts multiple times over. This is particularly useful to David Armstrong, given Lewis's charge that his structural universals must do exactly that. I close by reflecting upon the nature and point of formal mereology. (shrink)

Mereological principles are sometimes used to support general claims about the structure and arrangement of objects in the world. I focus initially on one such mereological principle, the weak supplementation principle (WSP). It is not obvious that (WSP) is prescribed by ordinary thinking about parthood. Further, (WSP) is not needed for a fairly strong formal characterization of the part–whole relation. For these reasons, some arguments relying on (WSP) might be countered by simply denying (WSP). I argue more generally that there (...) is no reason to assume that one core mereology functions as a common basis for all plausible metaphysical theories. (shrink)

This seems to me to be a metaphysically significant feature of CEM. If CEM is correct — if all its theorems are true, then metaphysicians have a choice to make in how we understand the mereological nature of the world. We may think of the mereological relation either as a relation of part to whole, or as a relation of overlap; for if we give a metaphysical theory about one, we thereby give a metaphysical theory about the other. We may (...) choose which we think of as more metaphysically fundamental, for the they are interdefinable. However, if CEM is not correct, then perhaps we do not have this choice. Perhaps part-whole cannot be defined in terms of overlap; in which case we must choose part-whole as the metaphysical fundamental mereological relation (if any relation is). (shrink)

I will consider Armstrong's problems in trying to account for structural universals, i.e., a kind of complex universal whose instantiation by particulars involves different parts of those particulars instantiating several basic properties and relations, such as the property of being a molecule of methane. I present and criticise Armstrong's most recent attempt to explain structural properties by means of the identification of universals with types of states of affairs and I state my own solution to the problem by appealing to (...) formal relations holding between particulars. (shrink)

In this paper, we argue that time travel is problematic for the endurantist. For it appears to be possible, given time travel, to construct a wall out of a single time travelling brick. This commits the endurantist to one of the following: (a) the wall is composed of the time travelling brick many times over; (b) the wall does not in fact exist at all; (c) the wall is identical to the brick. We argue that each of these options is (...) unsatisfactory. (shrink)

Despite heroic efforts, philosophers have found it increasingly difficult to evade discussion of metaphysical topics. Take the philosophy of mind. Take, in particular, the mind-body problem in its latest guise: the problem of causal relevance. If mental properties are not reducible to physical properties, how can we reconcile the role such properties seem to have in producing bodily motions that constitute actions with the apparent fact that the very same motions are entirely explicable on the basis of purely physical properties (...) of purely physical events in the nervous system? Familiar approaches to the problem include appeals to “supervenient causation,” to “higher-level” laws governing putatively higher-level entities and events, and to “realizing” relations that make room in objects for overlapping properties. (shrink)