Priority monism is the view that the cosmos is the basic concrete entity on which each of its parts depend. Kovacs has recently argued that none of the classical notions of dependence could be used to spell out priority monism. I argue that four notions of dependence – namely rigid existential dependence, generic existential dependence, explanatory dependence, and generalised explanatory dependence – can indeed be used to spell out priority monism, and specify the conditions under which this is possible.

Composition as Identity is the thesis that a whole is, strictly and literally, identical to its parts, considered collectively. McDaniel [2008] argues against CAI in that it prohibits emergent properties. Recently Sider [2014] exploited the resources of plural logic and extensional mereology to undermine McDaniel’s argument. He shows that CAI identifies extensionally equivalent pluralities – he calls it the Collapse Principle – and then shows how this identification rescues CAI from the emergentist argument. In this paper I first give a (...) new generalized version of both the arguments. It is more general in that it does not presuppose an atomistic mereology. I then go on to argue that the consequences of CP are rather radical. It entails mereological nihilism, the view that there are only mereological atoms. I finally show that, given a mild assumption about property instantiation, namely that there are no un-instantiated properties, this argument entails that CAI and emergent properties are incompatible after all. (shrink)

Metaphysics has enjoyed a vigorous revival in the last few decades. Even so, there has been little ontological interest in the things that we interact with everyday—trees, tables, other people.1 It is not that metaphysicians ignore ordinary things altogether. Indeed, they are happy to say that sentences like ‘The daffodils are out early this year’ or ‘My computer crashed again’ are true. But they take the truth of such sentences not to require that a full description of reality mention daffodils (...) or computers. Many metaphysicians now interpret the apparent variety of things in the world as variety only of concepts applied to things that are basically of the same sort—for example, sums of particles or of temporal parts of particles. (shrink)

Many people think that truth somehow depends upon the way things are. Yet, it has proven difficult to precisely explain the nature of this dependence. The most common view is that truth depends upon the way things are by corresponding to things. But this account relocates the difficulty: one now wonders what correspondence is. It is worth emphasizing that the question of how truth relates to reality is not only a question for correspondence theorists; theorists of all stripes may wonder (...) how truth and reality connect. There are many reasons one might care to have an analysis of how truth relates to reality. Here are two. First, an analysis would help philosophers better understand how truth could depend upon the way things are. Why is it that when Joe shoves his cat off his pillow, the proposition that Joe's cat is on his pillow switches from true to false? It may seem puzzling that an abstract thing, such as a proposition, should be affected by physical changes to concrete particulars. How does that happen? The difficulty of seeing just how true propositions are able to systematically relate to reality will be called "the Problem of Matching." A thorough analysis of the relationship between truth and reality would effectively solve the Problem of Matching. (shrink)

Our aim in this paper is to bring to light two sources of tension for Christian theists who endorse the principle of unrestricted composition, that necessarily, for any objects, the xs, there exists an object, y, such that the xs compose y. In Value, we argue that a composite object made of wholly valuable parts is at least as valuable as its most valuable part, and so the mereological sum of God and a wholly valuable part would be at least (...) as valuable as God; but Christian theism arguably demands that no concrete object other than God can be as valuable as God. And in Creation, we argue that the conjunction of theism and unrestricted composition, together with the claim that every concrete entity that is numerically distinct from God is created by God, implies that God is created by God. We conclude by examining the prospects of restricting the thesis of unrestricted composition to the domain of material or spatiotemporal objects as a way to sidestep the above arguments against the conjunction of Christian theism and unrestricted composition. (shrink)

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs of denying (...) each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (shrink)

It is often claimed that the social sciences cannot be reduced to a lower-level individualistic science. The standard argument for this position is the Fodorian multiple realizability argument. Its defenders endorse token–token identities between “higher-level” social objects and pluralities/sums of “lower-level” individuals, but they maintain that the properties expressed by social science predicates are often multiply realizable, entailing that type–type identities between social and individualistic properties are ruled out. In this paper I argue that the multiple realizability argument for explanatory (...) holism is unsound. The social sciences are indeed irreducible, but the principled reason for this is that the required token–token identifications cannot in general be carried through. In consequence, paradigmatic social science predicates cannot be taken to apply to the objects quantified over in the lower-level sciences. The result is that typical social science predicates cannot even be held to be co-extensive with individualistic predicates, which means type–type identifications are ruled out too. Multiple realizability has nothing to do with this failure of co-extensiveness, because the relevant social science predicates are not multiply realized in the sense intended by the explanatory holists, a sense which presupposes reductive token–token identifications. (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)

In Parts of Classes and "Mathematics is Megethology" David Lewis shows how the ideology of set membership can be dispensed with in favor of parthood and plural quantification. Lewis's theory has it that singletons are mereologically simple and leaves the relationship between a thing and its singleton unexplained. We show how, by exploiting Kit Fine's mereology, we can resolve Lewis's mysteries about the singleton relation and vindicate the claim that a thing is a part of its singleton.

In this article, I show that the semantics one adopts for mass terms constrains the metaphysical claims one can make about mixtures. I first expose why mixtures challenge a singularist approach based on mereological sums. After discussing an alternative, non-singularist approach, I take chemistry into account and explain how it changes our perspective on these issues.

I argue that the growing-block theory of time and truthmaker maximalism jointly entail that some truthmakers undergo mereological change as time passes. Central to my argument is a grounding-based account of what I call the “purely incremental” nature of the growing-block theory of time. As I will show, the argument presented in this paper suggests that growing-block theorists endorsing truthmaker maximalism have reasons to take composition to be restricted and the “block” of reality to literally grow as time goes by.

Classical mereology (CM) is usually taken to be formulated in a tenseless language, and is therefore associated with a four-dimensionalist metaphysics. This paper presents three ways one might integrate the core idea of flat plenitude, i.e., that every suitable condition or property has exactly one mereological fusion, with a tensed logical setting. All require a revised notion of mereological fusion. The candidates differ over how they conceive parthood to interact with existence in time, which connects to the distinction between endurance (...) and perdurance. Similar issues arise for the integration of mereology with modality, and much of our discussion applies to this project as well. (shrink)

Priority monism is the doctrine that there is only one basic object: the entire cosmos. Priority monists often take this to be a metaphysically necessary thesis. I explore the consequences of modalizing the priority monist thesis. I argue that, modulo some assumptions, the modalized thesis entails the necessary existence of the actual cosmos. I further argue that, if the modalized thesis is true, and the actual cosmos necessarily exists, then the only possible concrete objects are the actually existing ones.

Can institutional objects be identified with physical objects that have been ascribed status functions, as advocated by John Searle in The Construction of Social Reality (1995)? The paper argues that the prospects of this identification hinge on how objects persist – i.e., whether they endure, perdure or exdure through time. This important connection between reductive identification and mode of persistence has been largely ignored in the literature on social ontology thus far.

This paper opposes universal mereological composition (UMC). Sider defends it: unless UMC were true, he says, it could be indeterminate how many objects there are in the world. I argue that there is no general connection between how widely composition occurs and how many objects there are in the world. Sider fails to support UMC. I further argue that we should disbelieve in UMC objects. Existing objections against them say that they are radically unlike Aristotelian substances. True, but there is (...) a stronger objection. This is that they are characterized by no properties, and so fail to be like anything – even themselves. (shrink)

This paper opposes universal mereological composition. Sider defends it: unless UMC were true, he says, it could be indeterminate how many objects there are in the world. I argue that there is no general connection between how widely composition occurs and how many objects there are in the world. Sider fails to support UMC. I further argue that we should disbelieve in UMC objects. Existing objections against them say that they are radically unlike Aristotelian substances. True, but there is a (...) stronger objection. This is that they are characterized by no properties, and so fail to be like anything – even themselves. (shrink)

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.

This is a work in analytic metaphysics, which addresses a cluster of interrelated issues at the interface of mereology and persistence over time. In particular, it outlines a defence of a version of Endurance Theory according to which every enduring object is either a mereological simple or a mere sum of mereological simples. It includes, among other things, a proposal of a new way of framing the debate between Endurance Theory and Four-Dimensionalism, a defence of Endurance Theory over Four-Dimensionalism, arguments (...) against the existence of compound substances, and a defence of a traditional metaphysical atomism according to which all objects are ultimately made up of microscopic simples. (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)

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

This paper explores the Persistence Question about cities, that is, what is necessary and sufficient for two cities existing at different times to be numerically identical. We first show that we can possibly put an end to the existence of a city in a number of ways other than by physically destroying it, which reveals the metaphysics of cities to be partly different from that of ordinary objects. Then we focus in particular on the commonly perceived vulnerability of cities to (...) imaginary relocation; and we make the hypothesis that cities do have among their essential properties that of being surrounded by a specific geographical context. Finally we investigate the pos- sibility that a city can survive relocation in virtue of the capacity of its geographical context to survive it in the first place. We suggest that city contexts may not be essentially context-dependent in turn, and outline a possible description of the cri- teria for their persistence over time. (shrink)