This chapter argues that from a particularly weak recombination principle and plausible assumptions about the nature of parthood and location, it follows that it is possible that the mereological structure of the material world and that of space-time fail to correspond to one another in very radical ways. The chapter suggests, moreover, that rejecting the possibility of such failures of correspondence leaves us with a choice of no less unappealing alternatives. It also discusses a few ways in which their (...) possibility is relevant to various important debates in metaphysics. (shrink)

Elselijn Kingma argues that, in cases of mammalian placental pregnancy, the foster (roughly, the post-implantation embryo/foetus) is part of the gravida (the pregnant organism). But she does not consider the possibility of proper overlap. I show that this generates a number of serious problems for her argument and trace the oversight to a quite general issue within the literature on biological individuality. Doing so provides an opportunity to pull apart and clarify the relations between some importantly distinct questions concerning organismality (...) and organismic parthood, and to identify the implications that this has for those who want to draw on this literature when making metaphysical or mereological arguments. (shrink)

Is part of a perfectly natural, or fundamental, relation? Philosophers have been hesitant to take a stand on this issue. One reason for this hesitancy is the worry that, if parthood is perfectly natural, then the perfectly natural properties and relations are not suitably “independent” of one another. In this paper, I argue that parthood is a perfectly natural relation. In so doing, I argue that this “independence” worry is unfounded. I conclude by noting some consequences of the (...) naturalness of parthood. (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).

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)

This article presents a semantic analysis of indirect speech reports. The analysis aims to explain a combination of two phenomena. First, there are true utterances of sentences of the form α said that φ which are used to report an utterance u of a sentence wherein φ's content is not u's content. This implies that in uttering a single sentence, one can say several things. Second, when the complements of these reports (and indeed, these reports themselves) are placed in conjunctions, (...) the conjunctions are typically infelicitous. I argue that this combination of phenomena can be explained if speech reports report (perhaps contingent) parts of the contents of the sentences reported. (shrink)

I focus on three mereological principles: the Extensionality of Parthood (EP), the Uniqueness of Composition (UC), and the Extensionality of Composition (EC). These principles are not equivalent. Nonetheless, they are closely related (and often equated) as they all reflect the basic nominalistic dictum, No difference without a difference maker. And each one of them—individually or collectively—has been challenged on philosophical grounds. In the first part I argue that such challenges do not quite threaten EP insofar as they are either (...) self-defeating or unsupported. In the second part I argue that they hardly undermine the tenability of EC and UC as well. (shrink)

The premise of biological modularity is an ontological claim that appears to come out of practice. We understand that the biological world is modular because we can manipulate different parts of organisms in ways that would only work if there were discrete parts that were interchangeable. This is the foundation of the BioBrick assembly method widely used in synthetic biology. It is one of a number of methods that allows practitioners to construct and reconstruct biological pathways and devices using DNA (...) libraries of standardized parts with known functions. In this paper, we investigate how the practice of synthetic biology reconfigures biological understanding of the key concepts of modularity and evolvability. We illustrate how this practice approach takes engineering knowledge and uses it to try to understand biological organization by showing how the construction of functional parts and processes can be used in synthetic experimental evolution. We introduce a new approach within synthetic biology that uses the premise of a parts-based ontology together with that of organismal self-organization to optimize orthogonal metabolic pathways in E. coli. We then use this and other examples to help characterize semisynthetic categories of modularity, parthood, and evolvability within the discipline. (shrink)

The pivotal role of the relation part-of in the description of living organisms is widely acknowledged. Organisms are open systems, which means that in contradistinction to mechanical artifacts they are characterized by a continuous flow and exchange of matter. A closer analysis of the spatial relations in biological organisms reveals that the decision as to whether a given particular is part-of a second particular or whether it is only contained-in the second particular is often controversial. We here propose a rule-based (...) approach which allows us to decide on the basis of well-defined criteria which of the two relations holds between two anatomical objects, given that one spatially includes the other. We discuss the advantages and limitations of this approach, using concrete examples from human anatomy. (shrink)

A compact overview of the main formal theories of parthood and of their mutual relationships, up to Classical Extensional Mereology. Written as an Appendix to the other essays included in the volume.

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with a reinforcement of the standard defense of transitivity on behalf of classical mereology.

In this article, I discuss parthood status in mereologi- cally interpreted Daoist metaphysics, based on the Daodejing. I depart from the dao and you interrela- tion, which mereologically overlap by sharing parts. I consider the case of a complete overlap, which (a) challenges proper parthood, according to which a part cannot be identical with the whole that it com- poses, and (b) entails the question of identity that, while complying with classical mereology, cannot be consis- tent with Daoist (...) metaphysics. The discussion leads to abandoning proper parthood and antisymmetry axiom from classical axiomatics. It also shows a plausible fur- ther direction for mereological reconstruction. (shrink)

The mereological predicate ‘is part of’ can be used to define the predicate ‘is identical with’. I argue that this entails that mereological theories can be ideologically simpler than nihilistic theories that do not use the notion of parthood—contrary to what has been argued by Ted Sider. Moreover, if one accepts an extensional mereology, there are good philosophical reasons apart from ideological simplicity to give a mereological definition of identity.

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)

The special composition question asks, roughly, under what conditions composition occurs. The common sense view is that composition only occurs among some things and that all and only ‘ordinary objects’ exist. Peter van Inwagen has marshaled a devastating argument against this view. The common sense view appears to commit one to giving what van Inwagen calls a ‘series-style answer’ to the special composition question, but van Inwagen argues that series-style answers are impossible because they are inconsistent with the transitivity of (...) parthood. In what follows I answer this objection in addition to other, less troubling objections raised by van Inwagen. (shrink)

Fine (2017a) sets out a theory of content based on truthmaker semantics which distinguishes two kinds of consequence between contents. There is entailment, corresponding to the relationship between disjunct and disjunction, and there is containment, corresponding to the relationship between conjunctions and their conjuncts. Fine associates these with two notions of parthood: disjunctive and conjunctive. Conjunctive parthood is a very useful notion, allowing us to analyse partial content and partial truth. In this chapter, I extend the notion of (...) disjunctive parthood in terms of a structural relation of refinement, which stands to disjunctive parthood much as mereological parthood stands to conjunctive parthood. Philosophically, this relation may be modelled on the determinable- determinate relation, or on a fact-to-fact notion of grounding. I discuss its connection to two other Finean notions: vagueness (understood via precisification) and arbitrary objects. I then investigate what a logic of truthmaking with refinement might look like. I argue that (i) parthood naturally gives rise to a relevant conditional; (ii) refinement underlies a relevant notion of disjunction; and so (iii) truthmaker semantics with refinement is a natural home for relevant logic. The resulting formal models draw on Fine’s (1974) semantics for relevant logics. Finally, I use this understanding of relevant semantics to investigate the status of the mingle axiom. (shrink)

There are at least three vaguely atomistic principles that have come up in the literature, two explicitly and one implicitly. First, standard atomism is the claim that everything is composed of atoms, and is very often how atomism is characterized in the literature. Second, superatomism is the claim that parthood is well-founded, which implies that every proper parthood chain terminates, and has been discussed as a stronger alternative to standard atomism. Third, there is a principle that lies between (...) these two theses in terms of its relative strength: strong atomism, the claim that every maximal proper parthood chain terminates. Although strong atomism is equivalent to superatomism in classical extensional mereology, it is strictly weaker than it in strictly weaker systems in which parthood is a partial order. And it is strictly stronger than standard atomism in classical extensional mereology and, given the axiom of choice, in such strictly weaker systems as well. Though strong atomism has not, to my knowledge, been explicitly identified, Shiver appears to have it in mind, though it is unclear whether he recognizes that it is not equivalent to standard atomism in each of the mereologies he considers. I prove these logical relationships which hold amongst these three atomistic principles, and argue that, whether one adopts classical extensional mereology or a system strictly weaker than it in which parthood is a partial order, standard atomism is a more defensible addition to one’s mereology than either of the other two principles, and it should be regarded as the best formulation of the atomistic thesis. (shrink)

It is commonly assumed that facts would be complex entities made out of particulars and universals. This thesis, which I call Compositionalism, holds that parthood may be construed broadly enough so that the relation that holds between a fact and the entities it ‘ties’ together counts as a kind of parthood. I argue firstly that Compositionalism is incompatible with the possibility of certain kinds of fact and universal, and, secondly, that such facts and universals are possible. I conclude (...) that Compositionalism is false. What all these kinds of fact and universal have in common is a violation of supplementation principles governing any relation that may be intelligibly regarded as a kind of parthood. Although my arguments apply to Compositionalism generally, I focus on recent work by David Armstrong, who is a prominent and explicit Compositionalist. (shrink)

Motion—and, in particular, local motion or change in location—plays a central role in Kenelm Digby’s natural philosophy and in his arguments for the immateriality of the soul. Despite this, Digby’s account of what motion consists in has yet to receive much scholarly attention. In this paper, I advance a novel interpretation of Digby on motion. According to it, Digby holds that for a body to move is for it to divide from and unify with other bodies. This is a view (...) of motion—as change in relations of parthood—that Alison Peterman attributes to Digby’s contemporary and acquaintance, Margaret Cavendish. Having shown that Digby’s presentation of the view predates Cavendish’s by more than a decade, I make a case that Digby’s work influenced Cavendish’s on this topic. In developing and defending my reading, I consider to what extent the Digbean account of motion and the arguments for it accord with the ideals of the mechanical philosophy emerging in the early modern period. (shrink)

When A utters a declarative sentence in a context to B, typically A can mean a proposition by the sentence, the sentence in context literally expresses a proposition, there are propositions A and B can agree the sentence literally expressed, and B can acquire knowledge from this testimonial exchange. In recent work on linguistic communication, each of these four platitudes has been challenged, and on the same basis: viz. on the ground that exactly which proposition the sentence expressed in context (...) is not discernible given the information provided by the context. I argue that, even if this is true, there will be propositional parts of the proposition expressed by the sentence in context which can be identified and that, consequently, the partial understanding afforded by the existence of such identifiable parts undermines the soundness of the arguments against the platitudes. (shrink)

Four dimensionalism, the thesis that persisting objects are four dimensional and thus extended in time as well as space, has become a serious contender as an account of persistence. While many four dimensionalists are mereological universalists, there are those who find mereological universalism both counterintuitive and ontologically profligate. It would be nice then, if there was a coherent and plausible version of four dimensionalism that was non-universalist in nature. I argue that unfortunately there is not. By its very nature four (...) dimensionalism embraces theses about the nature of objects and their borders that make any version of non-universalist four dimensionalism either incoherent or at least highly implausible. (shrink)

What are the conditions under which one biological object is a part of another biological object? This paper answers this question by developing a general, systematic account of biological parthood. I specify two criteria for biological parthood. Substantial Spatial Inclusionrequires biological parts to be spatially located inside or in the region that the natural boundary of t he biological whole occupies. Compositional Relevance captures the fact that a biological part engages in a biological process that must make a (...) necessary contribution to a condition that is minimally sufficient to one or more of the characteristic behaviors of the biological whole. Instead of emphasizing the diversity of part-whole relations in the biological world, this paper asks what biological part-whole relations have in common and what constrains their existence, in general. After presenting the two criteria for biological parthood I discuss in how far my account can cope with hard cases (e.g., redundant parts) and I reveal the merits and limits of monism. (shrink)

Karl Pfeifer attempts to present a coherent view of panentheism that eschews Pickwickian senses of “in” and aligns itself with, and builds upon, familiar diagrammed portrayals of panentheism. The account is accordingly spatial-locative and moreover accepts the proposal of R.T. Mullins that absolute space and time be regarded as attributes of God. In addition, however, it argues that a substantive parthood relation between the world and God is required. Pfeifer’s preferred version of panpsychism, viz. panintentionalism, is thrown into the (...) mix as an optional add-on. On this account, God is conceived of as a “spiritual field” whose nature can be made more intelligible by regarding “God” as having a mass-noun sense in some contexts. Pfeifer closes with the suggestion that we look to topology and mereology for further development of the position outlined in his paper. (shrink)

This chapter explores a potential analogy between mereological principles and laws of nature. Against a backdrop of what Marmodoro has termed ‘power structuralism’ (and a rejection of a Humean worldview), the connection between parthood and modality may be richer than has hitherto been considered. Mereological principles delineate possibilities for parts and wholes, and putting powers at the centre of a discussion about parthood can furnish a novel conception of mereological laws, much as dispositionalism has done so for natural (...) laws; namely, these principles express connections between fundamental dispositional properties. By extending dispositionalism to comprehend mereology in this way, we can help fulfil its promise to provide a foundational, naturalistic metaphysics, as foundational mereological debates then begin to mirror those relating to dispositionalist views of laws of nature: we may treat natural and mereological laws in tandem, as holding either necessarily or contingently, with associated strategies for dealing with supposed counterexamples to one’s preferred set of mereological principles. We can thus bring new life to the debate over whether questions of composition admit of contingent or only necessary answers. (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)

This paper proposes a new account of bounded or minimal doxastic rationality (in the sense of Cherniak 1986), based on the notion that beliefs are answers to questions (à la Yalcin 2018). The core idea is that minimally rational beliefs are linked through thematic connections, rather than entailment relations. Consequently, such beliefs are not deductively closed, but they are closed under parthood (where a part is an entailment that answers a smaller question). And instead of avoiding all inconsistency, minimally (...) rational believers only avoid blatant inconsistencies (where some beliefs are blatantly inconsistent when they contradict one another on a particular question). Rather than cohering into a single overall world view, beliefs are more loosely connected in what is best described as a web of questions. This view of minimally rational belief naturally gives rise to an account of deductive inquiry on which deductive reasoning is a matter of posing new questions. (shrink)

Do Russellian propositions have their constituents as parts? One reason for thinking not is that if they did, they would generate apparent counterexamples to plausible mereological principles. As Frege noted, they would be in tension with the transitivity of parthood. A certain small rock is a part of Etna but not of the proposition that Etna is higher than Vesuvius. So, if Etna were a part of the given proposition, parthood would fail to be transitive. As William Bynoe (...) has noted (speaking of facts rather than propositions), they would seem to violate certain supplementation principles. Consider the singular proposition, concerning identity, that it is identical with itself. Given the relevant form of Russellianism, this proposition would have identity as a proper part, but it would not have any parts disjoint from identity, and indeed it would not have even a single pair of disjoint parts, in violation of various supplementation principles. This chapter offers a unified solution to the problems about transitivity and supplementation. One key ingredient in the solution is the view that parthood is a four-place relation expressed by ‘x at y is a part of z at w’. Another key ingredient is the view that the semantic contents of predicates and sentential connectives have ‘slots’ or ‘argument positions’ in them. (Both ingredients are independently motivated elsewhere.) Four-place analogues of the transitivity and supplementation principles are set out, and it is argued that these are not threatened by the examples from Frege and Bynoe. (shrink)

Indirect speech reports can be true even if they attribute to the speaker the saying of something weaker than what she in fact expressed, yet not all weakenings of what the speaker expressed yield true reports. For example, if Anna utters ‘Bob and Carla passed the exam’, we can accurately report her as having said that Carla passed the exam, but we can not accurately report her as having said that either it rains or it does not, or that either (...) Carla passed the exam or pandas are cute. This paper offers an analysis of speech reports that distinguishes weakenings of what the speaker expressed that yield true reports from weakenings that do not. According to this analysis, speech reports are not only sensitive to the informational content of what the speaker expressed, but also to the possibilities a speaker raises in making an utterance. As I argue, this analysis has significant advantages over its most promising competitors, including views based on work by Barwise and Perry : 668–691, 1981), views appealing to recent work on the notion of content parthood by Fine :199–226, 2016) and Yablo, and Richard’s : 605–616, 1998) proposal appealing to structured propositions. (shrink)

When does a human being begin to exist? We argue that it is possible, through a combination of biological fact and philosophical analysis, to provide a definitive answer to this question. We lay down a set of conditions for being a human being, and we determine when, in the course of normal fetal development, these conditions are first satisfied. Issues dealt with along the way include: modes of substance-formation, twinning, the nature of the intra-uterine environment, and the nature of the (...) relation between fetus and mother (connection, parthood, dependence). (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential (...) properties obtaining and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

It is the aim of this paper to develop and defend an interpretation of level of scientific discipline within the truth-maker framework. In particular, I exploit the mereological relation of proper parthood, which is integral to truth-maker semantics, in order to provide an account of scientific level.

Recently, Cody Gilmore has deployed an ingenious case involving backwards time travel to highlight an apparent conflict between the theory that objects persist by perduring, and the thesis that wholly coincident objects are impossible. However, careful attention to the concepts of location and parthood that Gilmore’s cases involve shows that the perdurantist faces no genuine objection from these cases, and that the perdurantist has a number of plausible and dialectically appropriate ways to avoid the supposed conflict.

Growing concern with the panpsychist's ostensive inability to solve the ‘combination problem’ has led some authors to adopt a view titled ‘Cosmopsychism’. This position turns panpsychism on its head: rather than many tiny atomic minds, there is instead one cosmos-sized mind. It is supposed that this view voids the combination problem, however I argue that it does not. I argue that there is a ‘de-combination problem’ facing the cosmopsychist, which is equivalent to the combination problem as they are both concerned (...) with subjects being proper parts of other subjects. I then propose two methods for both theorists to avoid the problem of subject-subject proper parthood relations: a distinction between absolute and relative phenomenal unity, and a modification of the essential nature of subjects. Of these two options, I find the latter option wanting and propose that the first should be adopted. (shrink)

Aquinas's account of law as an ordering of reason for the common good of a community depends on the mereology that covered his theory of parthood relations, including the relations of parts to parts and parts to wholes. Aquinas argued that 'all who are included in a community stand in relation to that community as parts to a whole', and 'every individual person is compared to the whole community as part to whole'. Aquinas held that the perfection of wholes (...) through the proper ordering of their parts does not entail the elimination of diversity, but in many cases requires diversity. Aquinas argued that there are two ways of ordering parts within a whole. Firstly, the parts are ordered with respect to one another, and secondly, the parts are ordered toward an end. The ordering of a whole's parts to one another is always for the sake of the ordering of the whole to its extrinsic end. Aquinas argued that the good toward which the law directs a community is called the 'common good' of that community. The common good or common end toward which members of a community are ordered can be the sort of end that the agents bring into existence through their own actions such as justice within a community, or the sort of end that can exist apart from the actions of the agents. (shrink)

The thesis of Weak Unrestricted Composition says that every pair of objects has a fusion. This thesis has been argued by Contessa and Smith to be compatible with the world being junky and hence to evade an argument against the necessity of Strong Unrestricted Composition proposed by Bohn. However, neither Weak Unrestricted Composition alone nor the different variants of it that have been proposed in the literature can provide us with a satisfying answer to the special composition question, or so (...) we will argue. We will then go on to explore an alternative family of purely mereological rules in the vicinity of Weak Unrestricted Composition, Cardinal Composition: A plurality of pairwise non-overlapping objects composes an object iff the objects in the plurality are of cardinality smaller than $$\kappa $$ κ. As we will show, all the instances for infinite $$\kappa $$ κ s determine fusion and are compatible with junk, and every instance for a $$\kappa > \aleph _0$$ κ > ℵ 0 is furthermore compatible with gunk and dense chains of parthood. (shrink)

Let’s start with compositional pluralism. Elsewhere I’ve defended compositional pluralism, which we can provisionally understand as the doctrine that there is more than one basic parthood relation. (You might wonder what I mean by “basic”. We’ll discuss this in a bit.) On the metaphysics I currently favor, there are regions of spacetime and material objects, each of which enjoy bear a distinct parthood relation to members of their own kind. Perhaps there are other kinds of objects that enjoy (...) a kind of parthood relation other than the ones enjoyed by material objects and regions of spacetime. Perhaps, for example, there are facts; I’ve been wavering over whether to embrace these entities for years now. However, I’m reasonably confident that if there are facts than the kind of parthood relation that facts bear to that which composes them is not the kind of parthood relation enjoyed by material objects or regions of spacetime. More on why I am reasonably confident later. (shrink)

Mereological nihilism is the thesis that composition never occurs. Sider has defended nihilism on the basis of its relative ideological simplicity. In this paper I develop the argument from ideological simplicity, and defend it from some recent objections. Along the way I discuss the best way to formulate nihilism, what it means for a theory to exhibit lesser or greater degrees of ideological simplicity, the relationship between the parthood relation and the identity relation, and the notion that we should (...) judge the ideological simplicity of competing theories on the basis of the kinds of ideological commitments required by those theories. (shrink)

Ectogenesis, or “artificial womb technology,” has been heralded by some, such as prominent feminist Shulamith Firestone, as a way to liberate women. In this chapter, we challenge this view by offering an alternative analysis of the technology as relying upon and perpetuating a problematic model of pregnancy which, rather than liberating women, serves to devalue them. We look to metaphysics as the abstract study of reality to elucidate how the entities in a pregnancy are related to one another. We consider (...) two models of the metaphysics of pregnancy: (1) the Parthood Model, whereby the fetus is a part of what/who gestates it; and (2) and the Fetal Container Model, whereby the gestator is a container for the fetus. We suggest that under the assumption of the Fetal Container Model, we are more likely to think that any container will suffice for gestation, even an artificial one. In contrast, under the assumption of the Parthood Model, we are less likely to treat the gestator as interchangeable or replaceable, given the parthood relationship between gestator and fetus. This chapter argues that ectogenesis is conceptually linked to the Fetal Container Model and advocates a more cautious approach in promoting ectogenesis as a tool for women’s liberation. (shrink)

Forests, cars and orchestras are very different ontological entities, and yet very similar in some aspects. The relationships they have with the elements they are composed of is often assumed to be reducible to standard ontological relations, like parthood and constitution, but how this could be done is still debated. This paper sheds light on the issue starting from a linguistic and philosophical analysis aimed at understanding notions like plurality, collective and composite, and propos- ing a formal approach to (...) characterise them. We conclude the presentation with a discussion and analysis of social groups within this framework. (shrink)

The connection between whole and part is intimate: not only can we share the same space, but I’m incapable of leaving my parts behind; settle the nonmereological facts and you thereby settle what is a part of what; wholes don’t seem to be an additional ontological commitment over their parts. Composition as identity promises to explain this intimacy. But it threatens to make the connection too intimate, for surely the parts could have made a different whole and the whole have (...) had different parts. In this paper I attempt to offer an account of parthood that is intimate enough but not too intimate: the parts generate the whole, but they are not themselves the whole. (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)

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)

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

We discuss arguments against the thesis that the world itself can be vague. The first section of the paper distinguishes dialectically effective from ineffective arguments against metaphysical vagueness. The second section constructs an argument against metaphysical vagueness that promises to be of the dialectically effective sort: an argument against objects with vague parts. Firstly, cases of vague parthood commit one to cases of vague identity. But we argue that Evans' famous argument against will not on its own enable one (...) to complete the reductio in the present context. We provide a metaphysical premise that would complete the reductio, but note that it seems deniable. We conclude by drawing general morals from our case study. (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)

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general (...) theory subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

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