Mereological Universalism

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)

On many currently popular ontologies of material objects, we share our place with numerous shorter-lived things (“subpeople”, to borrow a term from Eric Olson) that came into existence after we did or will go out of existence before we will. Subpeople are intrinsically indistinguishable from possible people, and as several authors (Eric Olson, Mark Johnston, A.P. Taylor) pointed out, this raises grave ethical concerns: it threatens to make any sacrifice for long-term goals impermissible, as well as to undermine our standard (...) practices of punishment, reward, grief, and utility calculation. The aim in this paper is to offer a unified set of solutions to these problems. The paper’s starting point is the “self-making view”, according to which our de se beliefs help determine our own spatiotemporal boundaries. This paper argues that the self-making view also plays a key role in the best treatment of the moral problems of subpeople. (shrink)

Thomas Aquinas embraces a controversial claim about the way in which parts of a substance depend on the substance’s substantial form. On his metaphysics, a ‘substantial form’ is not merely a relation among already existing things, in virtue of which (for example) the arrangement or configuration of those things would count as a substance. The substantial form is rather responsible for the identity or nature of the parts of the substance such a form constitutes. Aquinas’ controversial claim can be roughly (...) put as the view that things are members of their kind in virtue of their substantial form. To put it simply, Aquinas’ claim results in the implication that, every time the xs come to compose a y, those xs have to undergo a change in kind membership. -/- This has been called the “homonymy principle,” and it follows from Aquinas’ view of substantial forms, and specifically from the position that substantial forms inform prime matter, rather than substance-parts. The aim of this paper will be to defend that the Thomistic claim that substantial forms account for the determinate actuality of every part of a substance is plausible and coherent. After defending the Thomistic account, I propose that approaching problems of material composition as a Thomist has a significant, oft-overlooked advantage of involving a thorough-going naturalistic methodology that resolves such problems by appeal to empirical considerations. (shrink)

The Discourse of Universalism , Moral Relativism & Utilitarianism Table of Contents: Chapter 1. Moral relativism: history and theory of moral relativism: Ancient Greece and Early Modern Era Chapter 2. Universalism and Relativism Chapter 3. Hume's Universalism Chapter 4. Plato's Universalism Chapter 5. Problems with Rawls Theory Chapter 6. Aristotle's Relativism Chapter 7. Is Aristotle an ethical relativist? Chapter 8. John Stuart Mill's Utilitarianism Chapter 9. Mill and Principle of Utility Chapter 10. Kant and Moral Theory The historian Herodotus gives (...) the anecdote of Darius, King of Persia, who summoned the Greeks and asked them if they would be willing to eat the bodies of their dead fathers. They replied they would not for any money in the world. Later, Darius asked some Indians of the tribe called Callatiae, who do eat their dead parents’ bodies, if they would ever consider burning the bodies, as was the custom among Greeks. “One can see by this what custom can do” writes Herodotus. He draws the conclusion that this story vindicates the view some acts may be right for some and wrong for others, depending on their individual conceptions of morality. The Sophists were also associated with relativistic thinking, notably Protagoras who asserts that “man is the measure of all things”. However, this view was quite uncommon and moral relativism hardly flourished, as Plato and Aristotle both defended forms of moral absolutism. Ancient Greek philosophers acknowledged moral diversity, but more often under the form of moral scepticism, which states that there is no moral knowledge (rather than moral truth is relative to a culture). (shrink)

The interactive theorem prover Isabelle/HOL is used to verify elementary theorems of classical extensional mereology.

If two self-connected individuals are connected, it follows in classical extensional mereotopology that the sum of those individuals is self-connected too. Since mainland Europe and mainland Asia, for example, are both self-connected and connected to each other, mainland Eurasia is also self-connected. In contrast, in non-extensional mereotopologies, two individuals may have more than one sum, in which case it does not follow from their being self-connected and connected that the sum of those individuals is self-connected too. Nevertheless, one would still (...) expect it to follow that a sum of connected self-connected individuals is self-connected too. In this paper, we present some surprising countermodels which show that this conjecture is incorrect. (shrink)

Ned Markosian has recently defended a new theory of composition, which he calls regionalism : some material objects xx compose something if and only if there is a material object located at the fusion of the locations of xx. Markosian argues that regionalism follows from what he calls the subregion theory of parthood. Korman and Carmichael agree. We provide countermodels to show that regionalism does not follow from, even together with fourteen potentially implicit background principles. We then show that regionalism (...) does follow from five of those background principles together with and two additional principles connecting parthood and location, which we call and. While the additional principles are not uncontroversial, our conjecture is that many will find them attractive. We conclude by mentioning that fills a previously unnoticed gap in the formal theory of location presented in Parsons. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

A symposium on my *Objects: Nothing Out of the Ordinary* (2015). In response to Wallace, I attempt to clarify the dialectical and epistemic role that my arguments from counterexamples were meant to play, I provide a limited defense of the comparison to the Gettier examples, and I embrace the comparison to Moorean anti-skeptical arguments. In response to deRosset, I provide a clearer formulation of conservatism, explain how a conservative should think about the interaction between intuition and science, and discuss what (...) conservatives should say about scattered territories, clonal colonies, and arbitrary systems. In response to Tillman and Spencer, I fortify my original presentation of the debunking arguments by clarifying why, even while trees (if they exist) are paradigmatically causal, conservatives are meant to be rationally obstructed from believing that it is trees that are causing our tree beliefs. (shrink)

Mereological universalists, according to whom every plurality of entities has a fusion, usually claim that most quantifications are restricted to ordinary entities. However, there is no evidence that our usual quantifications over ordinary objects are restricted. In this article I explore an alternative way of reconciling Mereological Universalism with our usual quantifications. I resort to a modest form of ontological expansionism and to the so-called interpretational modalities. Quantifications over ordinary objects are the initial stages of the expansion. From these initial (...) stages, expansions can proceed upwards (fusions of entities in the domain of quantification are added), downwards (parts of entities in the domain are added), and sidewards (entities which are mereologically disjoint from the entities in the domain are added). These expansions are driven by a variety of epistemic and pragmatic reasons and raise different kinds of problems. At each stage, a modalized version of Mereological Universalism is true. By contrast, only at some especially rich stages, standard, non-modalized Mereological Universalism is true as well. Among these especially rich stages, there is a final, metaphysically pre-eminent stage of mereological plenitude. In the last part of the article I discuss some problems and limitations of expansionism. (shrink)

There has been a growing charge that perdurantism—with its bloated ontology of very person-like objects that coincide persons—implies the repugnant conclusion that we are morally obliged to be feckless. I argue that this charge critically overlooks the epistemic situation—what I call the ‘veil of ignorance’—that perdurantists find themselves in. Though the veil of ignorance still requires an alteration of our commonsense understanding of the demands on action, I argue for two conclusions. The first is that the alteration that is required (...) isn’t a moral one, but rather an alteration of prudential reasoning. Second, and more importantly, this alteration isn’t necessarily a repugnant one. In fact, given that it prudentially pushes one towards greater impartiality, it may be seen as a point in favor of perdurantism. (shrink)

U knjizi Pisanje knjige sveta (2011) Teodor Sajder tvrdi da na fundamentalnom nivou stvarnosti ne postoje objekti sastavljeni od delova, što njegovo gledište čini verzijom mereološkog nihilizma. Međutim, u prethodnoj knjizi pod naslovom Četvorodimenzionalizam (2001) Sajder zastupa mereološki univerzalizam, tezu da svaka klasa objekata ima mereološku fuziju, odnosno da postoji dodatni objekat koji sadrži date objekta kao svoje delove, koji igra suštinsku ulogu u njegovoj argumentu na osnovu nejasnosti u prilog perdurantizma, odnosno postojanja temporalnih delova materijalnih objekata. U ovom radu (...) pokušaću da odgovorim na pitanje da li Sajder može i dalje biti perdurantista uprkos njegovom najnovijem prihvatanju mereološkog nihilizma. (shrink)

The vagueness objection seems to block any moderate answer to the Special Composition Question leaving us with the two extreme alternatives that there either is no composite object or that any set of things compose an object. In this technical paper I introduce the notion of causal objects and a definition of a predicate that permits the set of all parts to be divided into equivalence classes. On this view we can use equivalence classes of parts to define the notion (...) of composite objects why vagueness is blocked. The block works in a hypothetical domain where all parts have a cause so the aim is not to suggest empirically detectable parts and composites, nor to claim any kind of existence of the things being defined, but to present a consistent account of a possible moderate answer to the Special Composition Question that avoids the vagueness objection. The underlying idea is that an object, as such, is not caused whereas its parts are. For example, if we have three caused parts A, B and C constituting the composite D, we have three things that are caused whereas the composite D has no cause over and above the three causes of A, B and C. (shrink)

We do not fully understand Hume’s account of space if we do not understand his view of determinations of extension, which is too much ignored a topic. In this paper, I argue for an interpretation that determinations of extension are unities in Hume’s view: single beings in addition to their components. This realist reading is reasonable on both textual and philosophical grounds. There is strong textual evidence for it and no textual reason to reject it. Realism makes perfect sense of (...) the metaphysics of determinations of extension along Humean lines and Hume’s view of spatial relations. (shrink)

Noël Blas Saenz has recently argued for a counterfactual condition on grounding called Sensitivity, with which he tries to show that there are no mereological sums and that universalism abo...

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)

Take any putative ordinary object which is divisible into a finite number of small units and tolerant to the loss of one of them. We can remove these units one at a time, and since our object definitely doesn’t exist when there are zero units, and since we cannot pinpoint which removal brings about this destruction, the Sorites Puzzle threatens common sense. We can rescue ordinary objects from its grip, but since independently motivated linguistic explanations of vagueness depend on there (...) being multiple candidate contents of vague terms, these efforts succeed only if there are multiple candidates that can be meant by ordinary object terms. Thus, many more objects than common sense accepts have to exist. The 'arguments from vagueness' also offer soritical reasons for object proliferation. Problematising the categories composite object and persisting thing (rather than specific object concepts), these show that either there are none of these (except simples) or every candidate for making up one, does. The latter, less revisionary alternative is plenitudinism. I defend Modally Full Plenitude, because it is three-dimensionalist and non-reductivist about de re modality – a distinct persisting object in any region, and for every modal profile satisfied by the matter in that region. (shrink)

Philosophers disagree whether composition as identity entails mereological universalism. Bricker :264–294, 2016) has recently considered an argument which concludes that composition as identity supports universalism. The key step in this argument is the thesis that any objects are identical to some object, which Bricker justifies with the principle of the universality of identity. I will spell out this principle in more detail and argue that it has an unexpected consequence. If the universality of identity holds, then composition as identity not (...) only leads us to universalism, but also leads to the view that there are no mereological atoms. (shrink)

The debate about the ontological innocence of mereology has generally been framed as a debate about the plausibility of Universal Fusion. Ontologically loaded fusions must be more than the sum of their parts, and this seems to violate parsimony if fusion is universal. Less attention has been paid to the question of what sort of emergence mereological fusions must exhibit if they are irreducible to their parts. The philosophy of science literature provides several models of such strong emergence. Examining those (...) models suggests that the difficulty with emergent fusions has at least as much to do with extensionality as it does with Universal Fusion. Some accounts of emergence fail to ensure irreducibility when combined with extensional mereologies. The most promising model for the strong emergence of ontologically loaded fusions fails to validate Anti-Symmetry, which naturally leads to failures of extensionality. These results suggest that the focus on Universal Fusion may have been misplaced. (shrink)

For Anaxagoras, both before the beginning of the world and in the present, “all is together” and “everything is in everything.” Various modern interpretations abound regarding the identity of this “mixture.” It has been explained as an aggregation of particles or as a continuous “fusion” of different sorts of ingredients. However—even though they are not usually recognized as a distinct group—there are a number of other scholars who, without seemingly knowing each other, have offered a different interpreta- tion: Anaxagoras’ mixture (...) as an “interpenetration” of different ingredients, which are as far-extended as the whole mixture is. As a result, there are different entities occupying the same place at the same time. This explanation assigns to Anaxagoras the same model of mixture which was later used by the Stoics. A new book by Marmodoro helps us to clarify this position. (shrink)

Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the model brings clarity (...) to a debate in which opponents frequently talk past one another. With the two views stated precisely, our investigation reveals the dependence of the mereologists’ ontological commitments on the semantics of plural quantifiers. Though we discuss the debate with respect to a simplified and idealized model, the insights provided will make more complex debates on composition more productive and deflationist criticisms of the debate less substantial. (shrink)

As I will use the term, an object is a mereological sum of some things just in case those things compose it simply in virtue of existing. In the first half of this paper, I argue that there are no sums. The key premise for this conclusion relies on a constraint on what, in certain cases, it takes for something to ground, or metaphysically explain, something else. In the second half, I argue that in light of my argument against sums, (...) Universalism, which is perhaps the most widely accepted answer to the Special Composition Question, is false. (shrink)

Which metaphysical theories are involved—whether presupposed or implied—in Marquis’ future-like-ours argument against abortion? Vogelstein has recently argued that the supporter of the FLO argument faces a problematic dilemma; in particular, Marquis, the main supporter of the argument, seems to have to either abandon diachronic universalism or acquiesce and declare that contraception is morally wrong. I argue that the premises of Marquis’ argument can be reasonably combined with a form of unrestricted composition and that the FLO argument is better viewed as (...) including animalism, i.e., the thesis that we are animals. (shrink)

_ Source: _Page Count 28 This paper develops four proposals for explicating the notion of an ersatz part. It then evaluates each proposal with respect to a number of jobs for which ersatz parts are posited. We argue that each of the four notions of ersatz parthood do better with respect to some jobs, and worse with respect to others. Thus, we think, it’s horses for courses: which notion of ersatz part one chooses will be sensitive to which metaphysical project (...) one is pursuing. (shrink)

The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.

Strong Composition as Identity is the thesis that necessarily, for any xs and any y, those xs compose y iff those xs are non-distributively identical to y. Some have argued against this view as follows: if some many things are non-distributively identical to one thing, then what’s true of the many must be true of the one. But since the many are many in number whereas the one is not, the many cannot be identical to the one. Hence is mistaken. (...) Although I am sympathetic to this objection, in this paper, I present two responses on behalf of the theorist. I also show that once the defender of accepts one of these two responses, that defender will be able to answer The Special Composition Question. (shrink)

(Mereological) nihilism states that there are no composite objects—there are only sub-atomic particles such as quarks. Nihilism’s biggest rival, (mereological) universalism, posits vast numbers of composite objects in addition to the sub-atomic particles, and so nihilism appears to be the more ontologically parsimonious of the two theories. If this is the case, it’s a significant result for the nihilist: ontological parsimony is almost always thought to be a theoretical virtue, so a nihilist victory in the parsimony stakes gives us a (...) defeasible reason to be nihilists. But things aren’t so straightforward. Karen Bennett (2009) has argued that nihilism is no more quantitatively parsimonious than universalism. Furthermore, her argument can be redirected so that it threatens the nihilist’s perceived advantage over universalism in the qualitative parsimony stakes too. I here argue that these arguments are flawed and that nihilism is indeed more quantitatively and qualitatively parsimonious than universalism. (shrink)

Some strange cases have gripped philosophers of mind. They have been deployed against materialism about human persons, functionalism about mentality, the possibility of artificial intelligence, and more. In this paper, I cry “foul”. It’s not hard to think that there’s something wrong with the cases. But what? My proposal: their proponents ignore questions about composition. And ignoring composition is a mistake. Indeed, materialists about human persons, functionalists about mentality, and believers in the possibility of artificial intelligence can plausibly deploy moderate (...) theories of composition in defense of their views. And as it turns out, these strange cases are an interesting source of evidence for moderate theories of composition. (shrink)

I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.

Composition as identity, as I understand it, is a theory of the composite structure of reality. The theory’s underlying logic is irreducibly plural; its fundamental primitive is a generalized identity relation that takes either plural or singular arguments. Strong versions of the theory that incorporate a generalized version of the indiscernibility of identicals are incompatible with the framework of plural logic, and should be rejected. Weak versions of the theory that are based on the idea that composition is merely analogous (...) to identity are too weak to be interesting, lacking in metaphysical consequence. I defend a moderate version according to which composition is a kind of identity, and argue that the difference is metaphysically substantial, not merely terminological. I then consider whether the notion of generalized identity, though fundamental, can be elucidated in modal terms by reverse engineering Hume’s Dictum. Unfortunately, for realists about possible worlds, such as myself,... (shrink)

Does a commitment to mereological universalism automatically bring along a commitment to the controversial doctrine of mereological extensionalism—the view that objects with the same proper parts are identical? A recent argument suggests the answer is ‘yes’. This paper attempts a systematic response to the argument, considering nearly every available line of reply. It argues that only one approach—the mutual parts view—can yield a viable mereology where universalism does not entail extensionalism.

I reply to Hawthorne and Uzquiano’s arguments for the incompatibility between mereological universalism and plenitudinous co-location. I argue that a mereology in which antisymmetry for parthood fails is independently motivated, and allows for both universalism and plenitudinous co-location. There can be as many angels in a place as there are cardinalities.

The Problem of Overlappers is a puzzle about what makes it the case, and how we can know, that we have the parts we intuitively think we have. In this paper, I develop and motivate an overlooked solution to this puzzle. According to what I call the self-making view it is within our power to decide what we refer to with the personal pronoun ‘I’, so the truth of most of our beliefs about our parts is ensured by the very (...) mechanism of self-reference. Other than providing an elegant solution to the Problem of Overlappers, the view can be motivated on independent grounds. It also has wide-ranging consequences for how we should be thinking about persons. Among other things, it can help undermine an influential line of argument against the permissibility of elective amputation. After a detailed discussion and defence of the self-making view, I consider some objections to it. I conclude that none of these objections is persuasive and we should at the very least take seriously the idea that we are to some extent self-made. (shrink)

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

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)

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)

A mereological structure is junky if and only if each of its elements is a proper part of some other. The young literature on junk has focused on junky worlds and whether they are counterexamples to unrestricted composition. The present note defends the possibility of junky structures that are not worlds. This possibility complicates a recent attempt in the literature to render junk consistent with a weakened form of unrestricted composition. The upshot is that junky non-worlds threaten the weakened form (...) of unrestricted composition as much as junky worlds threaten the traditional version. (shrink)

When do objects at different times compose a further object? This is the question of diachronic composition. The universalist answers, ‘under any conditions whatsoever’. Others argue for restrictions on diachronic composition: composition occurs only when certain conditions are met. Recently, some philosophers have argued that restrictions on diachronic compositions are motivated by our best physical theories. In Persistence and Spacetime and elsewhere, Yuri Balashov argues that diachronic compositions are restricted in terms of causal connections between object stages. In a recent (...) article, Nikk Effingham argues that the standard objections to views that endorse restrictions on composition do not apply to a view that restricts composition according to compliance with the laws of nature. On the face of it, such restrictions on diachronic composition preserve our common-sense ontology while eliminating from it scientifically revisionary objects that travel faster than the speed of light. I argue that these attempts to restrict diachronic composition by appealing to either causal or nomological constraints face insurmountable difficulties within the context of special relativity. I discuss how the universalist should best respond to Hudson’s argument for superluminal objects, and in doing so, I present and defend a new sufficient condition for motion that does not entail that such objects are in superluminal motion. 1 Introduction2 Diachronic Composition3 Diachronic Composition and Superluminal Objects4 Restricting Diachronic Composition5 Causal and Nomological Restrictions on Composition in a Relativistic Context6 Superluminal Objects and Motion7 Conclusion. (shrink)

Aristotle introduced in the history of the reception of Anaxagoras the term “homoiomerous”. This word refers to substances whose parts are similar to each other and to the whole. Although Aristotle’s explanations can be puzzling, the term “homoiomerous” may explain an authentic aspect of Anaxagoras’ doctrine reflected in the fragments of his work. Perhaps one should find a specific meaning for the term “homoiomerous” in Anaxagoras, somewhat different from the one present in Aristotle. This requires a review of the sense (...) of the two terms involved in it: “homoios” and “moira”. In other words, the following questions should be answered: what realities are named parts and to what whole do they belong? On the other hand, which similarity do they have to each another and to the whole? The author concludes that the parts are “all things”, which resemble each other and the universe as a whole because, according to Anaxagoras, they are all composed of all things. (shrink)

In this paper I argue that composition as identity entails unrestricted composition. I also briefly consider a new take on the special composition question.

Those who accept the necessity of mereological universalism face what has come to be known as the ‘junk argument’ due to Bohn [2009], which proceeds from the incompatibility of junk with universalism and the possibility of junk, to conclude that mereological universalism isn't metaphysically necessary. Most attention has focused on ; however, recent authors have cast doubt on . This paper undertakes a defence of premise against three main objections. The first is a new objection to the effect that Bohn's (...) defence of that premise presupposes far too much. I show that one can defend premise from a much weaker set of assumptions. The second objection, due to Contessa [2012], is that those who accept unrestricted composition should only accept the existence of binary sums rather than infinitary fusions. I argue that this conception of unrestricted composition is problematic: it is in conflict with an intuitive remainder principle. The final objection is .. (shrink)

In a series of papers, Eli Hirsch develops a deflationary account of certain ontological debates, specifically those regarding the composition and persistence of physical objects. He argues that these debates are merely verbal disputes between philosophers who fail to correctly express themselves in a common language. To establish the truth in plain English about these issues, Hirsch contends, we need only listen to the assertions of ordinary speakers and interpret them charitably. In this paper, I argue that Hirsch's conclusions rest (...) on a deficient understanding of the principle of charity. On a proper understanding of this principle, we can see that philosophical disagreement on these issues is not merely verbal. Further, it is no serious violation of charity to interpret ordinary assertions on these matters as false, for the beliefs they express can be explained as reasonable mistakes. Throughout I focus on the debate on composition; but my arguments should carry over to the debate on persistence. (shrink)

The relative merits of standard mereology have received quite a bit of attention in recent years from metaphysicians concerned with the part/whole properties of material objects. A question that has not been pursued to the same degree, however, is what sort of semantic repercussions a commitment to mereological sums in the standard sense might have in particular on the predicted behavior of singular terms and our practices of using such terms to refer to objects. The apparent mismatch between our actual (...) referential practices and the persistence conditions attributed to material objects by the supporters of standard mereology puts these philosophers, other things being equal, at a disadvantage compared to those whose ontology matches more closely the observed behavior of singular terms, as they are commonly used in ordinary discourse. To alleviate this problem, David Lewis leans heavily on his distinction between natural and non-natural properties. I argue in this paper that Lewis’ already heavily burdened natural/non-natural distinction among properties is not enough to avoid Quinean indeterminacy for singular terms. Those who are in the business of giving an analysis of constructions involving full-fledged predication, as opposed to the mere spatial overlap of denotations, will thus want to go in for an ontology that places more stringent structural constraints on the referents of singular terms than would be supplied by standard mereology. (shrink)

The Simple Question (SQ) asks: “What are the necessary and jointly sufficient conditions any x must satisfy in order for it to be true that x is a simple?” The main motivation for asking SQ stems from the hope that it could teach us important lessons for material-object ontology. It is universally accepted that a proper answer to it has to be finite, complete and devoid of mereological expressions. This paper argues that we should stop treating SQ as the central (...) question to be asked about simples; there are a plethora of questions about simples that may even be addressed without answering the original question. The paper closes with some tentative remarks on how this lesson could be extended to van Inwagen’s Special Composition Question. (shrink)

When do several objects compose a further object? The last twenty years have seen a great deal of discussion of this question. According to the most popular view on the market, there is a physical object composed of your brain and Jeremy Bentham’s body. According to the second-most popular view on the market, there are no such objects as human brains or human bodies, and there are also no atoms, rocks, tables, or stars. And according to the third-ranked view, there (...) are human bodies, but still no brains, atoms, rocks, tables, or stars. Although it’s pleasant to have so many crazy-sounding views around, I think it would also be nice to have a commonsense option available. The aim of this paper is to offer such an option. The approach I offer begins by considering a mereological question other than the standard one that has been the focus of most discussions in the literature. I try to show that the road to mereological sanity begins with giving the most straightforward and commonsensical answer to this other question, and then extending that answer to further questions about the mereology of physical objects. On the approach I am recommending, it turns out that all of the mereological properties and relations of physical objects are determined by their spatial properties and relations. (shrink)

Mereological nihilists are faced with a difficult challenge: explaining ordinary talk about material objects. Popular paraphrase strategies involve plurals, arrangements of particles, or fictions. In this paper, a new paraphrase strategy is put forward that has distinct advantages over its rivals: it is compatible with gunk and emergent properties of macro-objects. The only assumption is a commitment to a liberal view of the nature of simples; the nihilist must be willing to accept the possibility of heterogeneous extended simples. The author (...) suggests reinterpreting the parthood and composition relations as modal. According to this paraphrase, composition is a kind of counterpart relation. The author shows that one can accept that mereological nihilism is metaphysically necessary, while endorsing all the claims of classical mereology. As a result, the nihilists are in exactly the same position as the classical mereologist when it comes to explaining talk about ordinary objects, but without the additional ontology. (shrink)

In this engaging and wide-ranging new book, Nikk Effingham provides an introduction to contemporary ontology - the study of what exists - and its importance for philosophy today. He covers the key topics in the field, from the ontology of holes, numbers and possible worlds, to space, time and the ontology of material objects - for instance, whether there are composite objects such as tables, chairs or even you and me. While starting from the basics, every chapter is up-to-date with (...) the most recent developments in the field, introducing both longstanding theories and cutting-edge advances. As well as discussing the latest issues in ontology, Effingham also helpfully deals in-depth with different methodological principles and introduces them alongside an example ontological theory that puts them into practice. This accessible and comprehensive introduction will be essential reading for upper-level undergraduate and post-graduate students, as well as any reader interested in the present state of the subject. (shrink)

Orthodoxy says that the thesis that composition is identity entails universalism: the claim that any collection of entities has a sum. If this is true it counts in favour of CAI, since a thesis about the nature of composition that settles the otherwise intractable special composition question is desirable. But I argue that it is false: CAI is compatible with the many forms of restricted composition, and SCQ is no easier to answer given CAI than otherwise. Furthermore, in seeing why (...) this is the case we reveal an objection to CAI: that it allows for the facts concerning what there is to be settled whilst leaving open the question about what is identical to what. (shrink)