Mereological Universalism

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)

This paper offers an argument in favour of a Lewisian version of concretism that maintains both the principle of material inheritance (according to which, if all the parts of an object x are material, then x is material) and the materiality-modality link (that is, the principle that, for every x, if x is material, then x is possible).

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)

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)

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)

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)

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)

The present volume is the first comprehensive reference work for research on part-whole relations. The Handbook of Mereology offers a wide scope, inclusive presentation of contemporary research on part-whole relations that draws out systematic, historical, and interdisciplinary trajectories, shows the subject’s fertility, and inspires future explorations. In particular, we want to impress that mereology is much more than the study of axiomatised systems. The relationship between part and whole is a basic schema of cognitive organisation that operates not only at (...) the level of language and propositional thought, but also at the level of sensory input processing, especially visual and auditory. In the natural, social, and human sciences, as well as in the Humanities, part-whole relations organize all three: data domains, methods, and theories. In short, part-whole relations play a fundamental role in how we perceive and interact with nature, how we speak and think about the world and ourselves, as societies and as individuals. (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)

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)

Are there any things that are such that any things whatsoever are among them. I argue that there are not. My thesis follows from these three premises: (1) There are two or more things; (2) for any things, there is a unique thing that corresponds to those things; (3) for any two or more things, there are fewer of them than there are pluralities of them.

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)

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...

In this paper I develop a version of universalism that is non-mereological. Broadly speaking, non-mereological universalism is the thesis that for any arbitrary set of objects and times, there is a persisting object which, at each of those times, will be constituted by those of the objects that exist at that time. I consider two general versions of non-mereological universalism, one which takes basic simples to be enduring objects, and the other which takes simples to be instantaneous objects. This yields (...) three versions of endurantism, of which I ultimately defend the version I call universalist endurantism. Universalist endurantism is the thesis that for any arbitrary set S of instantaneous simples that exist at the same instant, there exists a fusion of the members of S, and for any arbitrary set S* of instantaneous fusions each of which exist at a different instant, there exists an enduring object O that is constituted by those fusions at those instants. Universalist endurantism is ‘non-mereological’ in that the relation that holds between instantaneous fusions and persisting objects is not the part/whole relation, but rather, is the relation of constitution, thus allowing that the persisting objects are three rather than four dimensional. I argue that universalist endurantism not only has the various benefits of mereological universalism in allowing vagueness to be explicated as semantic indeterminacy, but in addition allows the endurantist to hold that some properties are genuinely intrinsic and are exemplified simpliciter. (shrink)

This paper provides a detailed examination of Kit Fine’s sizeable contribution to the development of a neo‐Aristotelian alternative to standard mereology; I focus especially on the theory of ‘rigid’ and ‘variable embodiments’, as defended in Fine 1999. Section 2 briefly describes the system I call ‘standard mereology’. Section 3 lays out some of the main principles and consequences of Aristotle’s own mereology, in order to be able to compare Fine’s system with its historical precursor. Section 4 gives an exposition of (...) Fine’s theory of embodiments and goes on to isolate a number of potential concerns to which this account gives rise. In particular, I argue that Fine’s theory threatens to proliferate primitive sui generis relations of parthood and composition, whose characteristics must be stipulatively imposed on them, relative to particular domains; given its ‘superabundance’ of objects, Fine’s system far outstrips the already inflated ontological commitments of standard mereology; and there is a legitimate question as to why we should consider Fine’s primitive and sui generis relations of parthood and composition to be genuinely mereological at all, given their formal profile. These three objections lead me to conclude that we ought to explore other avenues that preserve the highly desirable, hylomorphic, features of Fine’s mereology, while avoiding its methodological and ontological excesses. (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)

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.

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)

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)

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.

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)

(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)

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)

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)

Our world is full of composite objects that persist through time: dogs, persons, chairs and rocks. But in virtue of what do a bunch of little objects get to compose some bigger object, and how does that bigger object persist through time? This book aims to answer these questions, but it does so by looking at accounts of composition and persistence through a new methodological lens. It asks the question: what does it take for two theories to be genuinely different, (...) and how can we know whether what seems like metaphysical disagreement is really just semantic disagreement? By offering a framework within which to explore issues of theoretical diversity, this book provides a novel way of thinking about the inter-relationship between composition and persistence. Ultimately, it argues for a new way of thinking about these issues, a way that does not preserve the standard theoretical dichotomies between four-dimensionalist theories on the one hand, and three-dimensionalist theories on the other. (shrink)

Philosophical Papers Vol.32(1) 2003: 15-22.

HISTORY is a sphere or a phenomenon ever present, though we may question whether historical awareness always accompanies the succession of human generations. The ever-presence of history can be taken as a universal human phenomenon, yet there is a question whether there is a correlation between the spheric universality of history and a thematic universality of features, trends, directions of process, etc. This will be the concern of our exploration. We may distinguish here between universality and universalism; the former connoting (...) a situation, the latter, the focus. (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)

This paper presents a historical view of the rise of mathematical universalism in modern times. It argues that 20th century mathematical revolution laid the foundations for a new universalism which extended to physics, economics, informatics, and recently biology. It describes the role played by the organization of mathematical work for closer co-operation among scientists on an international scale throughout the century, and stresses the importance of mathematics in the education process.

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 (the arguments from elegance) that are often relied upon, but 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)

In this paper, I critically discuss one of the more influential arguments for mereological universalism, what I will call ‘the Vagueness Argument’. I argue that a premise of the Vagueness Argument is not well supported and that there are at least two good reasons for thinking that the premise in question is false.

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.

I argue that Universalism (the thesis that mereological composition is unrestricted) entails Extensionalism (the thesis that sameness of composition is sufficient for identity) as long as the parthood relation is transitive and satisfies the Weak Supplementation principle (to the effect that whenever a thing has a proper part, it has another part disjoint from the first).

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)