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

The dominant theory of parts and wholes – classical extensional mereology – has faced a number of challenges in the recent literature. This article gives a sampling of some of the alleged counterexamples to some of the more controversial principles involving the connections between parthood and identity. Along the way, some of the main revisionary approaches are reviewed. First, counterexamples to extensionality are reviewed. The ‘supplementation’ axioms that generate extensionality are examined more carefully, and a suggested revision is considered. Second, (...) the paper considers an alternative approach that focuses the blame on antisymmetry but allows us to keep natural supplementation axioms. Third, we look at counterexamples to the idempotency of composition and the associated ‘parts just once’ principle. We explore options for developing weaker mereologies that avoid such commitments. (shrink)

Mereological principles are often controversial; perhaps the most stark contrast is between those who claim that Weak Supplementation is analytic—constitutive of our notion of proper parthood—and those who argue that the principle is simply false, and subject to many counterexamples. The aim of this paper is to diagnose the source of this dispute. I’ll suggest that the dispute has arisen by participants failing to be sensitive to two different conceptions of proper parthood: the outstripping conception and the non-identity conception. I’ll (...) argue that the outstripping conception, can deliver the analyticity of Weak Supplementation on at least one sense of ‘analyticity’. I’ll also suggest that the non-identity conception cannot do so independently of considerations to do with mereological extensionality. (shrink)

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

Van Inwagen's General Composition Question (GCQ) asks what conditions on an object and its constituents make the object a whole that these constituents compose, as opposed to an object linked to the constituents by a relation other than composition. The answer is traditionally expected to cite no mereological terms, to hold of metaphysical necessity and to be such that no defeating scenarios can be conceived (e.g., a scenario in which the conditions are met but the constituents fail to genuinely compose (...) the object). While not all writers agree on setting these high expectations on the principles that constitute answers to the GCQ (Hawley 2006), there is a yet unsettled issue concerning the principles’ naturalistic accreditation: Could putative principles be constrained and informed by advanced physical knowledge? Arguing positively, we outline two styles of principles worthy of naturalistic authority. In an explorative spirit, we notice that each style incurs certain costs. First, the principle in question may fail some of the above expectations set in an aprioristic context. Second, it may require a specific meta-theoretic understanding of what it takes to achieve naturalistic accreditation. Finally, it may address the GCQ “piecemeal” and fail to generalize to objects of all physical sorts.1. (shrink)

Mechanistic explanation involves the attribution of functions to both mechanisms and their component parts, and function attribution plays a central role in the individuation of mechanisms. Our aim in this paper is to investigate the impact of a perspectival view of function attribution for the broader mechanist project, and specifically for realism about mechanistic hierarchies. We argue that, contrary to the claims of function perspectivalists such as Craver, one cannot endorse both function perspectivalism and mechanistic hierarchy realism: if functions are (...) perspectival, then so are the levels of a mechanistic hierarchy. We illustrate this argument with an example from recent neuroscience, where the mechanism responsible for the phenomenon of ephaptic coupling cross-cuts the more familiar mechanism for synaptic firing. Finally, we consider what kind of structure there is left to be realist about for the function perspectivalist. (shrink)

Plural quantification, often used to evade Russell paradoxes, will lead back to them, given certain assumptions about propositions. This chapter provides a more generalized version of the path to paradox by showing that any theory that makes possible the construction of an appropriate packaging relation falls prey to a Russell paradox. It gives examples of widely-held metaphysical theories that require such a relation. It shows that the paradoxes that can result from plural quantification are more widely damaging, and harder to (...) tame, than has been recognized. It also displays formal requirements that any metaphysical framework with a packaging relation must meet if it is to have a chance of escaping self-contradiction. The chapter first gives the general paradox-generating setup, and then shows how three families of metaphysical assumptions allow one to instantiate it. It concludes by assessing the aftermath of the arguments presented. (shrink)

I propose a version of the act‐type theory of propositions, following Hanks and Soames. According to the theory, propositions are types of act of predication. The content of a sentence is the type of such act performed when that sentence is uttered. A consequence of this theory is that the structure of the content of a sentence will mirror the structure of that sentence. I defend this consequence of the theory from two important objections. I then argue that this theory (...) is well motivated because it can be part of a theory of what is said. (shrink)

‘Ahab is a whaler’ and ‘Holmes is a whaler’ express different propositions, even though neither ‘Ahab’ nor ‘Holmes’ has a referent. This seems to constitute a theoretical puzzle for the Russellian view of propositions. In this paper, I develop a variant of the Russellian view, Plenitudinous Russellianism. I claim that ‘Ahab is a whaler’ and ‘Holmes is a whaler’ express distinct gappy propositions. I discuss key metaphysical and semantic differences between Plenitudinous Russellianism and Traditional Russellianism and respond to objections that (...) stem from those differences. (shrink)

Many Russellians endorse the theses that propositions (i) are structured, (ii) have logical forms, (iii) have objects they are directly about as constituents, (iv) cannot exist without their constituents and (v) exist contingently. In his Propositions, Merricks argues against (i)-(v). I respond to his arguments.

In this paper, I criticize Structured Propositionalism, the most widely held theory of the nature of propositions according to which they are structured entities with constituents. I argue that the proponents of Structured Propositionalism have paid insufficient attention to the metaphysical presuppositions of the view – most egregiously, to the notion of propositional constituency. This is somewhat ironic, since the friends of structured propositions tend to argue as if the appeal to constituency gives their view a dialectical advantage. I criticize (...) four different approaches to providing a metaphysics of propositional constituency: set-theoretic, mereological, hylomorphic, and structure-making. Finally, I consider the option of taking constituency in a deflationary, metaphysically ‘lightweight’ sense. I argue that, though invoking constituency in a lightweight sense may be useful for avoiding the ontological problems that plague the ‘heavyweight’ conception, it no longer proffers a dialectical advantage to Structured Propositionalism. (shrink)

This paper explores the mereology of structural universals, using the structural richness of a non-classical mereology without unique fusions. The paper focuses on a problem posed by David Lewis, who using the example of methane, and assuming classical mereology, argues against any purely mereological theory of structural universals. The problem is that being a methane molecule would have to contain being a hydrogen atom four times over, but mereology does not have the concept of the same part occurring several times. (...) This paper takes up the challenge by providing mereological analysis of three operations sufficient for a theory of structural universals: Reflexive binding, i.e. identifying two of the places of a universal; Existential binding, i.e. the language-independent correlate of an existential quantification; and Conjunction. (shrink)

Consider the things that exist—the entities—and let us suppose they are mereologically structured, that is, some are parts of others. The project of ontology within the bounds of bare mereology use this structure to say which of these entities belong to various ontological kinds, such as properties and particulars. My purpose in this paper is to defend the most radical section of the project, the mereological theory of the exemplification of universals. Along the way I help myself to several hypotheses: (...) the existence of merely possible worlds; that particulars have thisnesses; and that mereology is far from classical. Moreover, the way I characterize instantiation might be judged too complicated to be plausible. At the end of the paper, I reply to these objections based on complexity. (shrink)

Mechanism realists assert the existence of mechanisms as objective structures in the world, but their exact metaphysical commitments are unclear. We introduce Local Hierarchy Realism (LHR) as a substantive and plausible form of mechanism realism. The limits of LHR reveal a deep tension between two aspects of mechanists’ explanatory strategy. Functional decomposition identifies locally relevant entities and activities, while these same entities and activities are also embedded in a nested hierarchy of levels. In principle, a functional decomposition may identify entities (...) engaging in causal interactions that crosscut the hierarchical structure of composition relations, violating the mechanist’s injunction against interlevel causation. We argue that this possibility is realized in the example of ephaptic coupling, a subsidiary process of neural computation that crosscuts the hierarchy derived from synaptic transmission. These considerations undermine the plausibility of LHR as a general view, yet LHR has the advantages that (i) its metaphysical implications are precisely stateable; (ii) the structure it identifies is not reducible to mere aggregate causation; and (iii) it clearly satisfies intuitive and informal definitions of mechanism. We conclude by assessing the prospects for a form of mechanism realism weaker than LHR that nevertheless satisfies all three of these requirements. (shrink)

Mechanism realists assert the existence of mechanisms as objective structures in the world, but their exact metaphysical commitments are unclear. We introduce Local Hierarchy Realism (LHR) as a substantive and plausible form of mechanism realism. The limits of LHR reveal a deep tension between two aspects of mechanists’ explanatory strategy. Functional decomposition identifies locally relevant entities and activities, while these same entities and activities are also embedded in a nested hierarchy of levels. In principle, a functional decomposition may identify entities (...) engaging in causal interactions that crosscut the hierarchical structure of composition relations, violating the mechanist’s injunction against interlevel causation. We argue that this possibility is realized in the example of ephaptic coupling, a subsidiary process of neural computation that crosscuts the hierarchy derived from synaptic transmission. These considerations undermine the plausibility of LHR as a general view, yet LHR has the advantages that (i) its metaphysical implications are precisely stateable; (ii) the structure it identifies is not reducible to mere aggregate causation; and (iii) it clearly satisfies intuitive and informal definitions of mechanism. We conclude by assessing the prospects for a form of mechanism realism weaker than LHR that nevertheless satisfies all three of these requirements. (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)

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