For some time now, Jaegwon Kim has argued that irreducible mental properties face the threat of causal inefficacy. The primary weapon he deploys to sustain this charge is the supervenience/exclusion argument. This argument, in a nutshell, states that any mental property that irreducibly supervenes on a physical property is excluded from causal efficacy because the underlying physical property takes care of all of the causal work itself. Originally intended for mental properties alone, it did not take long for his critics (...) to suggest the argument generalizes across all of the special science properties as well. Kim responds in two different ways to the generalization problem. The first response, which I call the higher-level solution, is ably dismissed by numerous critics. The second response, which I call the identity solution, has not faced comparable scrutiny. In this paper I argue that the identity solution faces numerous problems of its own. (shrink)

In recent years, emergentism has resurfaced as a possible method by which to secure autonomous mental causation from within a physicalistic framework. Critics argue, however, that emergentism fails, since emergentism entails that effects have sufficient physical causes, so they cannot also have distinct mental causes. In this paper I argue that this objection may be effective against supervenient emergentism, but it is not established that it is effective against mereological emergentism. In fact, after demonstrating that two founding emergentists, Samuel Alexander (...) and C. Lloyd Morgan, are mereological emergentists, I show how mereological emergentism provides fresh responses to the causal exclusion problem. (shrink)

While there are reasons to believe that both component forces and a resultant force operate on a body in combined circumstances, the threat of overdetermination largely prevents adoption of this view. Accordingly, a lively debate has arisen over which force actually exists and which force is eliminated in combined circumstances, the components or the resultant. In this article I present a non-reductive model of resultant force which ensures the existence of both the resultant force and the component forces without overdetermination. (...) According to the non-reductive model, the resultant force is the summation of component forces, where summation is interpreted as meaning that the component forces, when temporally and spatially overlapping, form a superposed mixture which is the resultant force, but which is not identical to the conjunction of component forces taken with temporal and spatial independence. (shrink)

One familiar form of argument for rejecting entities of a certain kind is that, by rejecting them, we avoid certain difficult problems associated with them. Such problem-avoidance arguments backfire if the problems cited survive the elimination of the rejected entities. In particular, we examine one way problems can survive: a question for the realist about which of a set of inconsistent statements is false may give way to an equally difficult question for the eliminativist about which of a set of (...) inconsistent statements fail to be 'factual'. Much of the first half of the paper is devoted to explaining a notion of factuality that does not imply truth but still consists in 'getting the world right'. The second half of the paper is a case study. Some 'compositional nihilists' have argued that, by rejecting composite objects (and so by denying the composition ever takes place), we avoid the notorious puzzles of coincidence, for example, the statue/lump and the ship of Theseus puzzles. Using the apparatus developed in the first half of the paper, we explore the question of whether these puzzles survive the elimination of composite objects. (shrink)

Philosophical questions concerning parts and wholes have received a tremendous amount of the attention of contemporary analytic metaphysicians. In what follows, I discuss some of the central questions. The questions to be discussed are: how general is parthood? Are there different kinds of parthood or ways to be a part? Can two things be composed of the same parts? When does composition occur? Can material objects gain or lose parts? What is the logical form of the parthood relation enjoyed by (...) material objects? (shrink)

The Frege-Russell view is that existence is a second-order property rather than a property of individuals. One of the most compelling arguments for this view is based on the premise that there is an especially close connection between existence and number. The most promising version of this argument is by C.J.F Williams (1981, 1992). In what follows, I argue that this argument fails. I then defend an account according to which both predications of number and existence attribute properties to individuals.

According to the thesis known as ‘Composition as Identity’ (‘CAI’), every entity is identical to the parts it fuses. Many authors in the literature acknowledge that, in spite of its controversial character, one attractive virtue of CAI is its apparent ability to give a straightforward account of the innocence of mereology. In this paper I will present a simple argument according to which CAI entails that no composite entity can be said to be ontologically innocent in the relevant sense. After (...) having shown that said argument is independent from the problems surrounding the infamous ‘Collapse Principle’, I will conclude that CAI-theorists should endorse a suitably ‘restricted’ version of CAI. In the final part of the paper I will then argue that the best restricted version of CAI is the theory according to which every composite entity is identical to the plurality of its atomic parts. (shrink)

According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, contrary to what (...) may appear at first sight, the assumption of a weak plural comprehension principle is perfectly compatible with plural logic and the common uses of plural quantification. As I aim to show, SCAI-theorists can simply claim that their theory must be understood as formulated by means of the most ‘joint-carving’ plural quantifier, thus leaving open the possibility of other, less joint-carving, ‘unrestricted’ plural quantifiers. In the final part of the paper I will also suggest that SCAI-theorists should not only allow for singular quantification over pluralities of entities, but also for plural quantification over ‘super-pluralities’ of entities. (shrink)

Composition as identity is the view that a whole is identical to its parts taken collectively. Such a view raises the question of how the same portion of reality can be both one thing and many things. A primitivist view holds that there is no explanation to be had and that we simply need to accept that being one thing and being many things are compatible. One might think that we can do better by resorting to relativization. A relativist view (...) may seem to explain how the same portion of reality can be both one thing and many things on the basis of the assumption that the portion of reality is these ways relative to different ‘concepts’ or ‘counts’. This paper discusses whether relativization truly leads to a satisfactory explanation of how something can be both one thing and many things. The conclusion will be that, when we consider the current accounts of the involved parameters, these relativizations make no explanatory progress. (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)

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (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)

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)

Contemporary metaphysics has undergone a change of perspective due to the irruption of Grounding in discussions of metaphysical dependence. Proponents argue that Grounding is the primitive relationship of determination underlying many of the traditionally posited idioms of metaphysical dependence. In a recent line of scepticism Jessica Wilson has argued that the inability of the notion to be informatively effective regarding substantial matters of metaphysical determination renders it useless in the face of theoretical work. To supply this lack of informativeness proponents (...) must resort to the already available set of specific ‘small-g’ relations, which renders the formulation of ‘big-G’ Grounding pre-theoretically unmotivated. In response two motivations are said to remain: The priority and unity arguments. Wilson insists that neither of these motivations succeeds in establishing ‘big-G’ Grounding as theoretically useful. I argue that none of Wilson’s critiques succeeds in establishing eliminative scepticism. (shrink)

Plural identity—the relation of identity between some things xx and some things yy—has been standardly defined in terms of the plural relation one of (or among). This paper challenges that standard view. To that end, it will be argued, first, that the identity relation, singular or plural, can only be defined in a higher-order language, second, that the standard definition of plural identity in terms of the one of (or among) relation should be regarded instead as providing a criterion of (...) identity for pluralities of some particular kind, and third, that there are pluralities of another kind with which a different criterion of identity is associated. The upshot will be that plural identity as standardly defined cannot be the plural counterpart of singular identity. (shrink)

In his 1991 book, Parts of Classes, David Lewis discusses the idea that composition is identity, alongside the idea that mereological overlap is a form of partial identity. But this notion of partial identity does nothing to help Lewis achieve his goals in that book. So why does he mention it? I explore and resolve this puzzle, by comparing Parts of Classes with Lewis's invocation of partial identity in his 1993 paper ‘Many But Almost One’, where he uses it to (...) address Unger's problem of the many. I raise some concerns about this way of thinking of partial identity, but conclude that, for Lewis, it is an important defence against accusations of ontological profligacy. (shrink)

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.

In this paper the explanatory gap of the philosophy of mind is explored, and found to have a similar structure even in different framings of the mind–body problem. This leads to the consideration that the MBP may be a special case of the more general whole-part problem: how do properties of wholes arise from the particular assembly of isolated parts? The conclusion is argued that only an approach of mereological holism offers solace from the explanatory gap problem, exchanging it for (...) a reverse explanatory gap problem that has more promising prospects for future solution, possibly in the form of integrated information theory. These considerations, along with the problem of explaining qualia lead to a proposed solution to the MBP in holistic cosmopsychism. (shrink)

I discuss Aristotle’s opening argument against Platonic Forms in _Metaphysics_ A.9, ‘the Razor’, which criticizes the introduction of Forms on the basis of an analogy with a hypothetical case of counting things. I argue for a new interpretation of this argument, and show that it involves two interesting objections against the introduction of Forms as formal causes: one concerns the completeness and the other the adequacy of such an explanatory project.

Classical statistical mechanics posits probabilities for various events to occur, and these probabilities seem to be objective chances. This does not seem to sit well with the fact that the theory’s time evolution is deterministic. We argue that the tension between the two is only apparent. We present a theory of Humean objective chance and show that chances thus understood are compatible with underlying determinism and provide an interpretation of the probabilities we find in Boltzmannian statistical mechanics.

Mereology, the theory of parts and wholes, is sometimes used as a framework for categorisation because it is regarded as ontologically innocent in the sense that the mereological fusion of some entities is nothing over and above the entities. In this paper it is argued that an adequate answer to the question of whether the thesis of the ontological innocence of mereology holds relies crucially on the underlying theory of reference. It is then shown that upholding the thesis comes at (...) high costs, viz. at the cost of a quite strong logical background theory or at paradoxical ways of predicating and counting. (shrink)

Composition as Identity is, roughly, the thesis that the parts of a whole, taken collectively, are in some sense identical with the whole. Einar Duenger Bohn argues for Universalism from CAI. Universalism says that composition is totally unrestricted: wherever two or more objects occur, an instance of composition occurs, however unnatural or gerrymandered. Bohn’s argument relies on inferences with generic quantifiers, but he does not provide a clear account of generic quantification. My argument is that on the most plausible approach (...) to thinking about such inferences, the argument fails. (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)

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

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

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

To all appearances, the basic building blocks of reality tend to keep existing unless something intervenes to destroy them. In other words, basic things seem to have existential inertia. But why might this be? This paper considers a number of arguments for and against existential inertia. It discusses arguments inspired by Aquinas, Descartes, and Spinoza, as well as considerations deriving from Occam’s Razor, entropy, and certain views about the nature of time and change.

In this work I first develop, motivate, and defend the view that mereological composition, the relation between an object and all its parts collectively, is a relation of identity. I argue that this view implies and hence can explain the logical necessity of classical mereology, the formal study of the part-whole relation. I then critically discuss four contemporary views of the same kind. Finally, I employ my thesis in a recent discussion of whether the world is fundamentally one in number.

In this paper, I tackle the problem of diachronic identity. Far from providing a criterion for identity over time, the aim of this work is to understand if this issue pertains to ontology, conceived as that part of philosophy that tries to answer the question about what entities exist, or metaphysics, conceived as that part of philosophy that tries to explain, of those entities, what they are. On the face of it, only metaphysics has the task to solve this problem, (...) but I argue that this is false. Through the analysis of different theories concerning identity through time, I show how both ontology and metaphysics are concerned with the problem of diachronic identity, and how actually ontology turns out to be primary in solving the problem. (shrink)

In Parts of Classes David Lewis attempts to draw a sharp contrast between mereology and set theory and he tries to assimilate mereology to logic. For him, like logic but unlike set theory, mereology is “ontologically innocent”. In mereology, given certain objects, no further ontological commitment is required for the existence of their sum. On the contrary, by accepting set theory, given certain objects, a further commitment is required for the existence of the set of them. The latter – unlike (...) the sum of the given objects – seems to be an abstract entity whose existence is not directly entailed by the existence of the objects themselves. The argument for the innocence of mereology is grounded on the thesis of composition as identity. In our paper we argue that: arguments for the ontological innocence of mereology are not conclusive. Some arguments against the ontological innocence of mereology show a certain ambiguity in the innocence thesis itself. The innocence thesis seems to depend on a general conception of the nature of objects and on how the notion of ontological commitment is understood. Specifically, we think that the thesis is the manifesto of a realistic conception of parts and sums. Quine‟s notorious criticism of the set-theoretical interpretation of second order logic seems to be reproducible against Lewis‟defence of mereology. To the purpose we construct a mereological model of a substantive fragment of set theory, adequate to ground the set-theoretical semantics of second order logic. (shrink)

Trinitarians claim there are three Divine persons each of which is God, and yet there is only one God. It seems they want three to equal one. It just so happens, some metaphysicians claim exactly that. They accept Composition as Identity: each fusion is identical to the plurality of its parts. I evaluate Composition as Identity's application to the doctrine of the Trinity, and argue that it fails to give the Trinitairan any options he or she didn't already have. Further, (...) while Composition as Identity does give us a new way to assert polytheism, its help requires us to endorse a claim that undercuts any Trinitarian motivation for the view. (shrink)

In the thesis I offer an analysis of the metaphysical underpinnings of the extended cognition thesis via an examination of standard views of metaphysical building (or, dependence) relations. -/- In summary form, the extended cognition thesis is a view put forth in naturalistic philosophy of mind stating that the physical basis of cognitive processes and cognitive processing may, in the right circumstances, be distributed across neural, bodily, and environmental vehicles. As such, the extended cognition thesis breaks substantially with the still (...) widely held view in cognitive science and philosophy of mind, namely that cognitive processes and cognitive processing take place within the skin-and-skull of individual organisms. The standard view of metaphysical building relations can be expressed as the conjunction of two theses. First, that a metaphysical building relation – such as composition, constitution, realization, supervenience or emergence – is a relation of ontological dependence, because if a metaphysical building relation holds between X (or the Xs) and Y, then it is in virtue of X (or the Xs) that Y exists. Second, metaphysical building relations are synchronic (durationless) relations of ontological dependence. In the thesis, I propose an alternative diachronic framework by which to extend the standard synchronic accounts of metaphysical dependence relations, and by which to reformulate the metaphysical foundation of the extended cognition thesis. The project fills an important gap between analytical metaphysics (in particular, the metaphysics of dependence relations) and naturalistic philosophy of mind (especially the extended cognition thesis). To my knowledge there has been no attempt to establish a robust diachronic account of metaphysical building (or, dependence) relations such as, e.g., composition and constitution. However, this is precisely what I argue is required to properly advance and ground the metaphysics of extended cognition. Ultimately, my aim of reformulating the metaphysics of extended cognition consists in taking several steps toward a third-wave of extended cognition. (shrink)

Few views are as widely held as the Standard View of Identity. Here I am concerned with minority views that depart from the standard account. First, I attempt to illuminate such views and the debates concerning them by identifying the principles of identity at issue, articulating some of the assumptions underlying the debates, and presenting some of the evidence used against the Standard View of Identity. Second, I enter two of these debates myself. I first defend two Non-Standard Views of (...) Identity from the charge that they violate a principle of identity, namely the Transitivity of Identity. I then present an overlooked consequence of another Non-Standard View of Identity that challenges the view on one of its own methodological principles. Third, I draw on recent work in ontological and parthood pluralism to show how one might be led to think that there is more than one way of being identical. That is, I show how one might be an identity pluralist. (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)

Are materially constituted entities, such as statues and glasses of liquid, something more than their material constituents? The puzzle that frames this paper stems from conflicting answers to this question. At the core of the paper is a distinctive way of thinking about material constitution that posits two concepts of constitution, compositional and ampliative constitution, with the bulk of the discussion devoted to developing distinct analyses for these concepts. Distinguishing these concepts solves our initial puzzle and enriches the space of (...) possibilities for constitution views. (shrink)

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