The special composition question is the question, ‘When do some things compose something?’ The answers to this question in the literature have largely been at odds with common sense, either by allowing that any two things compose something, or by denying the existence of most ordinary composite objects. I propose a new ‘series-style’ answer to the special composition question that accords much more closely with common sense, and I defend this answer from van Inwagen's objections. Specifically, I will argue that (...) the proposed answer entails the transitivity of parthood, that it is non-circular, and that it casts some light on the ancient puzzle about the Ship of Theseus. (shrink)

Let ‘monism’ be the view that there is only one basic object—the world. Monists face the question of whether there are also non-basic objects. This is in effect the question of whether the world decomposes into parts. Jonathan Schaffer maintains that it does, Terry Horgan and Matjaž Potrč that it does not. In this paper, I propose a compromise view, which I call ‘Kantian monism.’ According to Kantian monism, the world decomposes into parts insofar as an ideal subject under ideal (...) conditions would divide it into parts, but it does not decompose into parts in and of itself, that is, in an entirely mind-independent manner. After articulating Kantian monism more precisely (Section 1), I present a prima facie case for preferring it over more standard varieties of monism (Section 2). (shrink)

Universalism (the thesis that for any ys, those ys compose a further object) is an answer to the Special Composition Question. In the literature there are three arguments – what I call the arguments from elegance – that universalists often rely upon, but which are rarely examined in-depth. I argue that these motivations cannot be had by the perdurantist, for to avoid a commitment to badly behaved superluminal objects perdurantists must answer the ‘Proper Continuant Question’. Any answer to that question (...) necessarily ensures that there is a restricted answer to the Special Composition Question that is just as elegant as universalism. Thus, if you are a perdurantist, the arguments from elegance fail to motivate universalism for there will always be a restricted composition that is just as good. (shrink)

I am now typing on a computer I bought two years ago. The computer I bought is identical to the computer on which I type. My computer persists over time. Let us divide our subject matter in two. There is first the question of criteria of identity, the conditions governing when an object of a certain kind, a computer for instance, persists until some later time. There are secondly very general questions about the nature of persistence itself. Here I include (...) the question of temporal parts, as well as certain familiar paradoxes (e.g., the statue and the lump). Following John Perry (1975, Introduction), let us characterize a criterion of identity over time for F s as a way of filling in φ in the following schema: Stages S1 and S2 belong to some continuing F iff φ Defenders of temporal parts (see below) regard S1 and S2 as being temporal parts of the continuing F ; others regard S1 and S2 as different stages in the life history of the continuing F . Thus each camp can make use of Perry’s formula. It is traditional to divide such criteria into those governing persons and those governing anything else. It is further traditional to say that the criterion of identity over time for non-persons involves spatiotemporal continuity. An excellent discussion is Eli Hirsch’s The Concept of Identity1, which utilizes the notion of continuity under a sortal. Kind-terms, or sortals, are terms that specify what kind of or sort of thing an object is. Examples include ‘tree’, ‘car’, and ‘mountain’. Where F is a sortal, Hirsch’s analysis is roughly that stages belong to the same F iff they are connected by a spatiotemporally and qualitatively continuous sequence of F -stages. Unmodified, this analysis prohibits temporally discontinuous entities, such as a watch that is taken apart and then reassembled. Hirsch discusses the necessary modifications. Spatiotemporal continuity analyses face a problem when applied to the persistence of matter. The literature here has been dominated by discussion of examples provided by David Armstrong (1980) and Saul Kripke (unpublished.... (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View . The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

It seems to be a platitude of common sense that distinct ordinary objects cannot coincide, that they cannot fit into the same place or be composed of the same parts at the same time. The paradoxes of coincidence are instances of a breakdown of this platitude in light of counterexamples that are licensed by innocuous assumptions about particular kinds of ordinary object. Since both the anticoincidence principle and the assumptions driving the counterexamples flow from the folk conception of ordinary objects, (...) the paradoxes threaten this conception with inconsistency. Typical approaches to the paradoxes reject the anticoincidence principle or some portion of the assumptions driving the counterexamples, thereby partially revising our common conception of the world around us. This essay offers a compatibilist solution to the paradoxes that sustains the folk conception of ordinary objects in its entirety. According to this solution, the various cases of distinct coincidents do not clash with the anticoincidence principle since the cases and the principle manifest different yet compatible perspectives on the world. (shrink)

Many of those who accept the universalist thesis that mereological composition is unrestricted also maintain that the folk typically restrict their quantifiers in such a way as to exclude strange fusions when they say things that appear to conflict with universalism. Despite its prima facie implausibility, there are powerful arguments for universalism. By contrast, there is remarkably little evidence for the thesis that strange fusions are excluded from the ordinary domain of quantification. Furthermore, this reconciliatory strategy seems hopeless when applied (...) to the more fundamental conflict between universalism and the intuitions that tell against it. (shrink)

Particularists in material-object metaphysics hold that our intuitive judgments about which kinds of things there are and are not are largely correct. One common argument against particularism is the argument from arbitrariness, which turns on the claim that there is no ontologically significant difference between certain of the familiar kinds that we intuitively judge to exist (snowballs, islands, statues, solar systems) and certain of the strange kinds that we intuitively judge not to exist (snowdiscalls, incars, gollyswoggles, the fusion of the (...) my nose and the Eiffel Tower). Particularists frequently respond by conceding that there is no ontologically significant difference and embracing some sort of deflationary metaontology (relativism, constructivism, quantifier variance). I show -- by identifying ontologically significant differences -- that the argument can be resisted without retreating to any sort of deflationary metaontology. (shrink)

An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.

Considering topology as an extension of mereology, this paper analyses topological variants of mereological essentialism (the thesis that an object could not have different parts than the ones it has). In particular, we examine de dicto and de re versions of two theses: (i) that an object cannot change its external connections (e.g., adjacent objects cannot be separated), and (ii) that an object cannot change its topological genus (e.g., a doughnut cannot turn into a sphere). Stronger forms of structural essentialism, (...) such as morphological essentialism (an object cannot change shape) and locative essentialism (an object cannot change position) are also examined. (shrink)

When is there no fact of the matter about a metaphysical question? When multiple candidate meanings are equally eligible, in David Lewis's sense, and fit equally well with ordinary usage. Thus given certain ontological schemes, there is no fact of the matter whether the criterion of personal identity over time is physical or psychological. But given other ontological schemes there is a fact of the matter; and there is a fact of the matter about which ontological scheme is correct.

This paper compares the conception of substantial change put forth by Peter of Mantua (d. 1399) in his De primo et ultimo instanti with the one developed by Albert of Saxony (ca. 1320–1390). According to Albert, (i) each substantial form, save for the intellective soul, is a spatially-extended entity with actual quantitative parts that are co-located with the parts of matter they inform, and (ii) these quantitative parts are generated and corrupted one after another over an extended interval of time. (...) From (i) and (ii), Albert deduces that (iii) the substantial change of material substances as individuals (save for human beings) is a temporally extended process. This is what I call the ‘piecemeal’ conception of substantial change. I show that Peter of Mantua is significantly indebted to this conception. Indeed, he endorses both (i) and (ii). Moreover, he even extends this approach to the process by which the intellective soul informs matter and is separated from it. Nevertheless, I argue that, thanks to his peculiar doctrine of numerical sameness over time, Peter rejects (iii) and maintains, instead, that the substantial change of any material substance as an individual is an instantaneous event. (shrink)

Quantifier variantists accept multiple alternative ontological languages in which quantifiers obey the usual inference rules despite having different meanings. But collapse arguments seem to show that these quantifiers would be provably equivalent to one another. Cian Dorr has pushed this discussion forward by formulating the collapse argument in terms of an algebra of meanings that are common amongst the languages. I attempt to show that quantifier variantists can respond. But an important distinction between types of quantifier variance emerges, between those (...) in which quantifier meanings draw on a single objective backbone of “portions of reality,” and those (such as the type that is arguably associated with neo-Fregeanism) in which they do not. (shrink)

It is widely assumed that if ontological disputes turn out to be verbal they ought to be dismissed. I dissociate the semantic question concerning the verbalness of ontological disputes from the pragmatic question on whether they ought to be dismissed. I argue that in the context of ontological disputes ontologists ought to be taken to communicate views with conflicting ontological commitments even if it turns out that on the correct view of semantics they fail to literally-express their disagreement. I argue, (...) that is, against dismissing ontological disputes on grounds of verbalness. This serves to discharge the ongoing debate on the verbalness of ontological disputes from the metaontological consequences typically associated with it. (shrink)

The consensus among spacetime substantivalists is to respond to Leibniz's classic shift arguments, and their contemporary incarnation in the form of the hole argument, by pruning the allegedly problematic metaphysical possibilities that generate these arguments. Some substantivalists do so by directly appealing to a modal doctrine akin to anti-haecceitism. Other substantivalists do so by appealing to an underlying hyperintensional doctrine that implies some such modal doctrine. My first aim in this paper is to pose a challenge for all extant forms (...) of this consensus position. My second aim is to show what form substantivalism must take in order to uphold the consensus while addressing this challenge. The result is a novel "plenitudinous" substantivalist view, which predicts that certain modal facts about spacetime are vague or indeterminate. I then argue against this view on independent grounds, concluding that substantivalists should reject the consensus position. The paper also discusses the way forward for substantivalists in light of this conclusion. (shrink)

Radically permissive ontologies like mereological universalism and material plenitude are typically motivated by concerns about arbitrariness or anthropocentrism: it would be objectionably arbitrary, the thought goes, to countenance only those objects that we ordinarily take there to be. Despite the prevalence of this idea, it isn't at all clear what it is for a theory to be “objectionably arbitrary,” or what follows from a commitment to avoiding arbitrariness in metaphysics. This paper aims to clarify both questions, and examines whether arguments (...) from arbitrariness really are the proper foundations for one or both varieties of ontological permissivism. I argue that these considerations (even when made more precise) are far less successful at motivating radical forms of permissivism than we often take them to be. To do better, permissivists must either supply a much more developed metaphysics of material objects, or a controversial (but tempting) conception of what we're doing when we do metaphysics. (shrink)

Debates about material coincidence tend to start with common-sense intuitions but quickly leave them behind and lead to highly problematic conclusions. Reconciling the latter with common sense is the next stage in the process, which often requires revision of some of the initial beliefs and has been used to adjudicate many rather abstract and technical proposals in the metaphysics of composition and persistence, ranging from natural (constitutionalism) to radical (nihilism). -/- I have no disagreement with this overall strategy: theories do (...) need to turn abstract at some point, move beyond common sense, and eventually force upon us interesting, novel, and often counterintuitive revisions in our overall conceptual scheme. This applies to all theoretical areas, and contemporary metaphysics is no exception. But while the latter is widely regarded as being quite extreme in this respect, I want to argue that, in one sense, it is not extreme enough. I do it by developing a new case of material coincidence that is initially motivated not by common sense but by physical considerations, and is not susceptible to any of the standard solutions. -/- One lesson of science is its ability to expand our imagination beyond the limits of common sense. This may have importance for metaphysics too. (shrink)

A basic way of evaluating metaphysical theories is to ask whether they give satisfying answers to the questions they set out to resolve. I propose an account of “third-order” virtue that tells us what it takes for certain kinds of metaphysical theories to do so. We should think of these theories as recipes. I identify three good-making features of recipes and show that they translate to third-order theoretical virtues. I apply the view to two theories—mereological universalism and plenitudinous platonism—and draw (...) out their third-order virtues and vices. One lesson is that there is an important difference between essentially and non-essentially third-order vicious theories. I also argue that if a theory is essentially third-order vicious, it cannot be assessed for more standard “second-order” theoretical virtues and vices, like parsimony. This motivates the idea that third-order virtues are distinct from second-order ones. Finally, I suggest that the relationship between truth, progress, and third-order virtue is more complex than it seems. (shrink)

Revisionary ontologies seem to go against our common sense convictions about which material objects exist. These views face the so-called Problem of Reasonableness: they have to explain why reasonable people don’t seem to accept the true ontology. Most approaches to this problem treat the mismatch between the ontological truth and ordinary belief as superficial or not even real. By contrast, I propose what I call the “uncompromising solution”. First, I argue that our beliefs about material objects were influenced by evolutionary (...) forces that were independent of the ontological truth. Second, I draw an analogy between the Problem of Reasonableness and the New Evil Demon Problem and argue that the revisionary ontologist can always find a positive epistemic status to characterize ordinary people’s beliefs about material objects. Finally, I address the worry that the evolutionary component of my story also threatens to undermine the best arguments for revisionary ontologies. (shrink)

It is common to criticize a debate by alleging that it is a “merely verbal dispute.” But how conclusive would an argument based on such allegations be? This article takes the material‐composition debate as a case study and argues that the merely verbal dispute objection is less decisive than one might expect. While assessing the dialectical effectiveness of the mere‐verbality move, the article also tries to mark some progress in the philosophical understanding and appreciation of the phenomenon itself of merely (...) verbal disputes. Its contribution consists in shedding light on a distinction between the “faultlessness” and “faultiness” of a merely verbal dispute. (shrink)

It is a matter of continuing scholarly dispute whether Descartes offers a metaphysics of the material world that is “monist” or “pluralist.” One passage that has become crucial to this debate is from the Synopsis of the Meditations, in which Descartes argues that since “body taken in general” is a substance, and since all substances are “by their nature incorruptible,” this sort of body is incorruptible as well. In this article I defend a pluralist reading of this passage, according to (...) which there are indefinitely many bodies-taken-in-general, each of which counts as an incorruptible material substance. However, I also consider some surprising features of the argument in the Synopsis. One is that this argument conflicts with the implication in Descartes that any two “really distinct” substances can each exist without the other existing. Another is that the argument tends to undermine his suggestion that there is room at a fundamental metaphysical level for ordinary material objects. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

Don Marquis’s “future-like-ours” argument against the moral permissibility of abortion is widely considered the strongest anti-abortion argument in the philosophical literature. In this paper, I address the issue of whether the argument relies upon controversial metaphysical premises. It is widely thought that future-like-ours argument indeed relies upon controversial metaphysics, in that it must reject the psychological theory of personal identity. I argue that that thought is mistaken—the future-like-ours argument does not depend upon the rejection of such a theory. I suggest, (...) however, that given a widely-accepted view about contraception and abstinence, the argument is committed to contentious metaphysics after all, as it relies upon a highly controversial assumption about mereology. This commitment is not only relevant for those who are inclined to endorse the argument but reject the mereological view in question, but in addition entails dialectical and epistemological liabilities for the argument, which on some views will be fatal to the argument’s overall success. (shrink)

I defend mereological nihilism, the view that there are no composite objects, against a challenge from ontological emergence, the view that some things have properties that are ‘something over and above’ the properties of their parts. As the nihilist does not believe in composite wholes, there is nothing in the nihilist's ontology to instantiate emergent properties – or so the challenge goes. However, I argue that some simples can collectively instantiate an emergent property, so the nihilist's ontology can in fact (...) accommodate emergent properties. Furthermore, I show that employing plural instantiation does not bloat the nihilist's ontology or ideology. (shrink)

In “Tropes and Ordinary Physical Objects”, Kris McDaniel argues that ordinary physical objects are fusions of monadic and polyadic tropes. McDaniel calls his view “TOPO”—for “Theory of Ordinary Physical Objects”. He argues that we should accept TOPO because of the philosophical work that it allows us to do. Among other things, TOPO is supposed to allow endurantists to reply to Mark Heller’s argument for perdurantism. But, we argue in this paper, TOPO does not help endurantists do that; indeed, we argue (...) that anyone who accepts TOPO should reject endurantism. (shrink)

I argue that metaphysical views of material objects should be understood as 'packages', rather than individual claims, where the other parts of the package include how the theory addresses 'recalcitant data', and that when the packages meet certain general desiderata - which all of the currently competing views *can* meet - there is nothing in the world that could make one of the theories true as opposed to any of the others.

Mereological essentialists argue that mereological summations cannot change their parts. Mereological inessentialists argue that mereological summations can change some or all of their parts. In this paper I articulate and defend a position called Moderate Mereological Inessentialism, according to which certain mereological summations can change some, but not all, of their parts. Persistent mereological summations occur when the functional parts of mereological summations persist through alterations to its spatial parts.

When some objects are the parts of another object, they compose that object and that object is composite. This article is intended as an introduction to the central questions about composition and a highly selective overview of various answers to those questions. In §1, we review some formal features of parthood that are important for understanding the nature of composition. In §2, we consider some answers to the question: which pluralities of objects together compose something? As we will see, the (...) dominant answers are all of them and none of them. In §§3-4, we examine one of the main arguments that has driven philosophers to these extreme answers: the argument from vagueness. In §5, we turn to the question of whether composition is unique: is it sometimes the case that some things compose more than one thing? Finally, in §6, we turn from the question of which composites exist to the question of which composites exist fundamentally. (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full‐fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full‐fledged objects. But whatever one takes “full‐fledged object” to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers.In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View. The Minimalist View may be summarized in the slogan: “Count x as an object iff it does not overlap with any y you have already counted as an object”. The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all.We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting “conceptually salient” entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

Abstract: The 'special composition question' is this: given objects O1, . . . , On, under what conditions is there an object O, such that O1, . . . , On compose O? This paper explores a heterodox answer to this question, one that casts composition as a secondary quality. According to the approach I want to consider, there is an O that O1, . . . , On compose (roughly) just in case a normal intuiter would, under normal conditions, (...) intuit that there is. (shrink)

I argue that a solution to puzzles concerning the relationship ofobjects and their properties – a version of the `bundle' theory ofparticulars according to which ordinary objects are mereologicalfusions of monadic and relational tropes – is also a solution topuzzles of material constitution involving the allegedco-location of material objects. Additionally, two argumentsthat have played a prominent role in shaping the current debate,Mark Heller's argument for Four Dimensionalism and Peter vanInwagen's argument against Mereological Universalism, are shownto be unsound given this version (...) of the bundle theory. (shrink)

‘Restricted composition’ says that there are some composite objects. And it says that some objects jointly compose nothing at all. The main threat to restricted composition is the influential and widely defended Vagueness Argument. We shall see that the Vagueness Argument fails. In seeing how this argument fails, we shall discover a new focus for the debate over composition's extent.

Many philosophers think that, necessarily, any material objects have a fusion (let’s call that doctrine “Universalism”). In this paper I point out a couple of strange consequences of Universalism and related doctrines, and suggest that they are strange enough to constitute a powerful argument against those views.

In a series of publications, Eli Hirsch has presented a sustained defense of common-sense ontology. Hirsch's argument relies crucially on a meta-ontological position sometimes known as ‘superficialism’. Hirsch's argument from superficialism to common-sense ontology is typically resisted on the grounds that superficialism is implausible. In this paper, I present an alternative argument for common-sense ontology, one that relies on (what I argue is) a much more plausible meta-ontological position, which I call ‘constructivism’. Note well: I will not quite argue that (...) constructivism is true; merely that it is significantly more plausible than superficialism, and consequently affords a safer route to common-sense ontology. Thus my main goal in the paper is not quite to establish common-sense ontology, nor for that matter to refute Hirsch's argument for it. My goal is, in a way, more expressive than argumentative: I wish to articulate a novel meta-ontological position, one that I take to be in no way obviously less plausible than already familiar positions, and to point out that the position probably leads to common-sense ontology. I open, in section 1, with a discussion of Hirsch's argument and the main objection to it. I then develop, in section 2, a sketch of the alternative meta-ontology I have in mind. I close, in section 3, with the argument that this alternative meta-ontology, too, leads to common-sense ontology. (shrink)

Strict finitism posits a largest natural number. The view is usually thought to be objectionably arbitrary. After all, there seems to be no apparent reason as to why the natural numbers should ‘stop’ at a specific point and not a bit later on the natural line. Drawing on how arguments from arbitrariness are employed in mereology, I propose several ways of understanding this objection against strict finitism. No matter how it is understood, I argue that it is always found wanting.

The subject matter of this thesis is analytic ontology. Chapters II and III deal with two versions of trope theory, or moderate nominalism; these are defined as ontologies which recognise properties and relations but no (real) universals. The key notion of both theories, trope, is characterised as an abstract particular. What the abstractness amounts to differs between the two. Yet another difference is that simplicity is an essential trait of a trope according to one theory, but not according to the (...) other. Though exact similarity is said to play an important role in both theories, as it turns out, this does not seem to be the case. The ontology dealt with in chapter IV is a mixture of moderate nominalism concerning qualities and realism concerning relations. In it, quality instances (moments) and universal relations are the ultimate constituents of the universe. While relations and moments are considered to be constituents of states of affairs, which are characterised as objects of higher orders, complexes that are objects of the first order are made up of moments on their own. Among these complexes one finds the ordinary objects. Paradoxically, although relations are necessary for the existence of complex first order objects, relations are not thought to be among the contents of these objects. The main subject of chapter V is a particular version of moderate realism; it is an ontology which is realistic in its recognition of universals and moderate in its recognition of instances of these universals. Instances combine to form complex networks. A theoretically motivated claim is that although each instance has a predicational aspect as well as a universal one, it is simple in the sense of lacking internal predicative structure; though, this claim can be called into question. Keywords: analytic ontology, moderate nominalism, moderate realism, particular, universal, abstract, concrete, abstract particular, abstract universal, concrete particular, concrete universal, trope, moment, complex unity, collection, instance, unit attribute, intensional aspect, predicational aspect, continuous composite, articulated composite. (shrink)