A dilemma has stymied interpretations of the Stranger’s method of dividing kinds into subkinds in Plato’sSophistandStatesman. The dilemma assumes that the kinds are either extensions or intensions. Now kinds divide like extensions, not intensions. But extensions cannot explain the distinct identities of kinds that possess the very same members. We propose understanding a kind as like an animal body—the Stranger’s simile for division—possessing both an extension and an intension. We find textual support in the Stranger’s paradigmatic four steps for collecting (...) a subkind. (shrink)

In recent work, the interrelated questions of whether there is a fundamental level to reality, whether ontological dependence must have an ultimate ground, and whether the monist thesis should be endorsed that the whole universe is ontologically prior to its parts have been explored with renewed interest. Jonathan Schaffer has provided arguments in favour of 'priority monism' in a series of articles (2003, 2004, 2007a, 2007b, forthcoming). In this paper, these arguments are analysed, and it is claimed that they are (...) not compelling: in particular, the possibility that there is no ultimate level of basic entities that compose everything else is on a par with the possibility of infinite 'upward' complexity. The idea that we must, at any rate, postulate an ontologically fundamental level for methodological reasons ( Cameron 2008 ) is also discussed and found unconvincing: all things considered, there may be good reasons for endorsing 'metaphysical infinitism'. In any event, a higher degree of caution in formulating metaphysical claims than found in the extant literature appears advisable. (shrink)

We explore the integrated structure of consciousness by examining the “phenomenological axioms” of the “integrated information theory of consciousness ” from the perspective of Husserlian phenomenology. After clarifying the notion of phenomenological axioms by drawing on resources from Edmund Husserl and Maurice Merleau-Ponty, we develop a critique of the integration axiom by drawing on phenomenological analyses developed by Aron Gurwitsch and Merleau-Ponty. This axiom is ambiguous. It can be read either atomistically as claiming that the phenomenal content of conscious experience (...) is an integrated complex and holistically as claiming that it is an integrated Gestalt. We argue that the latter reading provides a better characterization of the internal structure of the phenomenal content. Furthermore, the integrated structure of consciousness is not confined to the phenomenal content, but it also extends into the subjective attitude. Subjective attitudes and phenomenal contents are interdependent constituents that jointly make up conscious experiences. This implies a novel theoretical challenge to the scientific component of IIT, which is to explain how to accommodate the subjective dimension of consciousness into its explanatory scope. IIT can respond in a few different ways, but most importantly, it cannot just ignore it once and for all. As one possible way to address the challenge, we propose introducing a novel construct, noetic complex, to develop a fine-grained model of the neural underpinning of consciousness. (shrink)

Hybrid languages are introduced in order to evaluate the strength of “minimal” mereologies with relatively strong frame definability properties. Appealing to a robust form of nominalism, I claim that one investigated language \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document} is maximally acceptable for nominalistic mereology. In an extension \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document} of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document}, a modal analog (...) for the classical systems of Leonard and Goodman and Leśniewski is introduced and shown to be complete with respect to 0-deleted Boolean algebras. We characterize the formulas of first-order logic invariant for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document}-bisimulations. (shrink)

Compliments have received only cursory attention from speech act theorists and are usually characterised as run-of-the-mill illocutionary acts. Yet both intentionalist and conventionalist theories of illocutionary force struggle to accommodate ordinary language uses of ‘compliment’. I argue that this is because there are in fact two kinds of compliment: illocutionary compliments and perlocutionary compliments. This account illuminates the practice of complimenting, as well as its converse, insulting, and illustrates the complex relationship between illocutionary force and perlocutionary effect.

In this paper, I argue that Spinoza holds a perspectivalist view of mereological composition, a form of anti-realism. The paper has two parts: In the first half of the paper, I introduce interpretive puzzles for the standard realist reading of Spinoza’s mereology. In the second half of the paper, I discuss Spinoza’s positive view on mereological composition and present a perspectivalist reading that avoids the interpretive puzzles.

This paper defends the possibility of admitting occurrents in a presentist ontology. Two ways of doing so are proposed, the first one involves Meinongian presentism. By using the notion of non-existent object and coherently modifying some mereological principle, it is argued, the presentist can allow for occurrents. The second proposal involves ex-concrete objects. Ex-concrete objects, i.e. objects that are contingently not concrete, have been used by Linsky and Zalta, 431-458, 1994), Williamson in the modal metaphysics debate, by Orilia, 589-607, 2016) (...) in the presentism-eternalism debate, and by Longenecker, 5091-5111, 2018) in the debate about material constitution. I argue that, just by admitting ex-concrete objects, it is possible to have occurrents even for the presentist. Of course, in order to do so we must modify our definitions of occurrent and continuant. Nevertheless, I argue that my theory is metaphysically sound, at least for the presentist persuaded by the intuitive claim that there are occurrents, which otherwise she must reject. (shrink)

sProblems about the nature of integral parts and wholes were central to twelfth-century discussions of the individuation and persistence over time of both substances and artifacts. This paper examines in detail Abaelard’s contribution to these discussions arguing that Abaelard proposes a solution to these problems which preserves our common sense intuitions about identity over time. In Abaelard’s work we find an explicit solution to the problem of the identity over time of living things which appeals to the persistence of the (...) vegetative soul through the loss or addition of corporeal matter. In work from the school of the Montani we apparently also have an account of Abaelard’s solution to the problem of the identity over time of artifacts which distinguishes between the role of a part in an integral whole and the material which plays that role such that the role persists when the matter is replaced. (shrink)

The paper explores the proof theory of non-wellfounded mereology with binary fusions and provides a cut-free sequent calculus equivalent to the standard axiomatic system.

Two mereological theories are presented based on a primitive apartness relation along with binary relations of mereological excess and weak excess, respectively. It is shown that both theories are acceptable from the standpoint of constructive reasoning while remaining faithful to the spirit of classical mereology. The two theories are then compared and assessed with regard to their extensional import.

In the literature on mereology it is often accepted that mereological universalism entails extensionalism. More precisely, many accept that, if parthood is assumed to be a partial order, the thesis that every plurality of entities has a mereological fusion entails the thesis that different composite entities have different proper parts. Central to this idea is the principle known as ‘Weak Supplementation’ which many take to impose an important constraint on the relation of proper parthood. In this paper I argue that (...) this claim is false as the principle that I will call ‘Minimal Supplementation’ appears to be capable of doing all the work done by Weak Supplementation but without entailing extensionalism if conjoined with universalism and core mereology. (shrink)

According to Composition is Identity, a whole is literally identical to the plurality of its parts. According to Mereological Nihilism, nothing has proper parts. In this note, it is argued that Composition is Identity can be shown to entail Mereological Nihilism in a much more simple and direct way than the one recently proposed by Claudio Calosi.

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)

In this paper, using a propositional modal language extended with the window modality, we capture the first-order properties of various mereological theories. In this setting, $\Box \varphi $ reads all the parts (of the current object) are $\varphi $, interpreted on the models with a whole-part binary relation under various constraints. We show that all the usual mereological theories can be captured by modal formulas in our language via frame correspondence. We also correct a mistake in the existing completeness proof (...) for a basic system of mereology by providing a new construction of the canonical model. (shrink)

Fundamentality plays a pivotal role in discussions of ontology, supervenience, and possibility, and other key topics in metaphysics. However, there are two different ways of characterising the fundamental: as that which is not grounded, and as that which is the ground of everything else. I show that whether these two characterisations pick out the same property turns on a principle—which I call “Dichotomy”—that is of independent interest in the theory of ground: that everything is either fully grounded or not even (...) partially grounded. I then argue that Dichotomy fails: some facts have partial grounds that cannot be complemented to a full ground. Rejecting Dichotomy opens the door to recognising a bifurcation in our notion of fundamentality. I sketch some of the far-reaching metaphysical consequences this might have, with reference to big-picture views such as Humeanism. Since Dichotomy is entailed by the standard account of partial ground, according to which partial grounds are subpluralities of full grounds, a non-standard account is needed. In a technical “Appendix”, I show that truthmaker semantics furnishes such an account, and identify a semantic condition that corresponds to Dichotomy. (shrink)

In this article, I present two conceptual problems for Craver's mutual manipulability account of constitutive relevance in mechanisms. First, constitutive relevance threatens to imply causal relevance despite Craver (and Bechtel)'s claim that they are strictly distinct. Second, if (as is intuitively appealing) parthood is defined in terms of spatio-temporal inclusion, then the mutual manipulability account is prone to counterexamples, as I show by a case of endosymbiosis. I also present a methodological problem (a case of experimental underdetermination) and formulate two (...) partial, but fallible solutions based on the notions of parthood and synchronicity. (shrink)

The literature suggests two main answers to the question of what it is for a material object to be located at a region of spacetime. Both have a number of virtues. However, both suffer from well-known problems. According to one answer, location is a primitive relation with no informative metaphysical analysis. But this makes a number of necessary truths seem mysterious and leaves them unexplained. According to the other answer, to be located at a region is just to be identical (...) to that region. But this is inconsistent with a number of independently plausible theses about material objects and their locations. In this paper, I explore a new theory of location and argue that it has the virtues of these familiar theories but not their vices. I then explore some further connections the new theory has with some contemporary issues in metaphysics. (shrink)

Modal realism is an ontological position made familiar by David Lewis, according to which there exist possible worlds other than the actual world that we inhabit. It is hard to uphold modal realism, and indeed modal realism has only a few advocates. However, as most contemporary metaphysicians agree, this does not mean that it is easy to refute modal realism. In this paper, I argue against modal realism from a metaontological point of view. First, I provide a precise formulation of (...) modal realism based on Lewis’ discussion of modal realism. Second, I argue that modal realism is undermined unless it incorporates a view of metaontology known as ontological realism. Third, I point out that if modal realism incorporates ontological realism, it comes into conflict with its own formulation. (shrink)

The article investigates the process of the selection of vehicle concepts in Polish Sign Language (PJM). Why are certain contiguity relations chosen out of many potentially available candidates as the basis for metonymies and why do some other contiguity relations not make felicitous metonymies? The process is certainly influenced by many factors, but the article focuses on several factors related to the dimensions of construal of metonymic concepts (in Langacker’s understanding), including the scope of conception and aspects of perspective (the (...) preference for the observable entities and the distinction between subjectively and objectively construed concepts). Vehicle selection is also constrained by the effective reference requirement and the subjectively perceived vitality of contiguity relations. (shrink)

Many philosophers embrace grounding, supposedly a central notion of metaphysics. Grounding is widely assumed to be irreflexive, but recently a number of authors have questioned this assumption: according to them, it is at least possible that some facts ground themselves. The primary purpose of this paper is to problematize the notion of self-grounding through the theoretical roles usually assigned to grounding. The literature typically characterizes grounding as at least playing two central theoretical roles: a structuring role and an explanatory role. (...) Once we carefully spell out what playing these roles includes, however, we find that any notion of grounding that isn’t irreflexive fails to play these roles when they are interpreted narrowly, and is redundant for playing them when they are interpreted more broadly. The upshot is that no useful notion of grounding can allow a fact to ground itself. (shrink)

The sample space of the chance distribution at a given time is a class of possible worlds. Thanks to this connection between chance and modality, one’s views about modal space can have significant consequences in the theory of chance and can be evaluated in part by how plausible these implications are. I apply this methodology to evaluate certain forms of modal contingentism, the thesis that some facts about what is possible are contingent. Any modal contingentist view that meets certain conditions (...) that I specify generates difficulties in the philosophy of chance, including a problem usually associated with Humeanism that is known as ‘the problem of undermining futures’. I consider two well-known versions of modal contingentism that face this difficulty. The first version, proposed by Hugh Chandler and Nathan Salmon, rests on an argument for the claim that many individuals have their modal features contingently. The second version is motivated by the thesis that the existence of a possible world depends on the existence of the contingent individuals inhabiting it, and that many worlds are therefore contingent existents. (shrink)

Recently, we have been presented with an argument against the intrinsicality of shape that appeals to a plausible Humean principle. According to the argument, if shape is intrinsic and the location relation is fundamental, then we cannot explain the necessary correlation between an object’s shape and the shape of its location. And, it is claimed, the Humean principle tells us that an unexplained necessary correlation like this one is unacceptable. In this paper I respond to this argument by rejecting the (...) favoured interpretation of the Humean principle. I claim that sometimes there are truths about what it means to stand in a given relation, even when that relation has no analysis.. These truths sometimes entail that the relata of the relation have certain features. And it is not problematic for truths about what it means to stand in a relation to be unexplained. I argue that it is plausible to take is located at to be such a relation; an object’s having exactly the same shape as the region it is located at is part of what it means to be located at that region. I conclude with an amended formulation of the Humean claim that still captures the spirit of the principle without threatening the intrinsicality of shape. (shrink)

Multilocation and Minimal Mereology do not mix well. It has been pointed out that Three-Dimensionalism, which can be construed as multilocation-friendly, runs into trouble with Weak Supplementation. But in fact, regardless of one’s theory of persistence, if someone posits the possibility of any one of several kinds of multilocation, he or she will not be able to maintain the necessity of any of the three axioms of Minimal Mereology: the Transitivity of Proper Parthood, the Asymmetry of Proper Parthood, and Weak (...) Supplementation. In fact, positing even the mere conceivability of cases involving multilocation will require the denial of the analyticity of Minimal Mereology. In response to this, some have claimed that we ought to relativise parthood, either to one region or to two. Unfortunately, if we replace the axioms of Minimal Mereology with region-relativised counterparts, we will not be able to capture the intuitions that supported the original axioms. The only adequate solution, I maintain, is to restrict multilocation to a domain outside the scope of the rules we intuitively take to govern the parthood relation. For those who take Minimal Mereology to be necessary and universal, that will mean relinquishing the possibility of multilocation. (shrink)

Generic sentences involving phrasal conjunctions present a prima facie problem for the standard theory of generics according to which they express quasi-universal generalisations about what is characteristic for members of a particular kind. For example, the sentence ‘Elephants live in Africa and Asia’ is true, even though it is uncharacteristic for an elephant to live in both Africa and Asia. In response to this problem, theorists have recently proposed radical departures from the standard view. This paper argues that such departures (...) are unwarranted: not only do they fail to fully accommodate the data involving generic conjunctions, their scope is overly narrow, since the phenomena in question also arise in non-generic contexts. I propose a new theory of generics that aims to account for generic conjunctions in a principled manner and which sheds new light on the mereological commitments of natural language. (shrink)

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)

Many types of part-whole relations have been proposed in the literature to aid the conceptual modeller to choose the most appropriate type, but many of those relations lack a formal specification to give clear and unambiguous semantics to them. To remedy this, a formal taxonomy of types of mereological and meronymic part-whole relations is presented that distinguishes between transitive and intransitive relations and the kind of entity types that are related. The demand to use it effectively brings afore new requirements (...) for automated reasoning over a hierarchy of relations. To ensure logically and ontologically correct inferencing over both the class and role hierarchy, the new reasoning service RBox compatibility for Description Logics reasoners is introduced. The proposed combination of formal semantics and the new reasoning service will improve the representation of the application domain when using part-whole relations in conceptual models and ontologies. (shrink)

Classical mereology is a formal theory of the part-whole relation, essentially involving a notion of mereological fusion, or sum. There are various different definitions of fusion in the literature, and various axiomatizations for classical mereology. Though the equivalence of the definitions of fusion is provable from axiom sets, the definitions are not logically equivalent, and, hence, are not inter-changeable when laying down the axioms. We examine the relations between the main definitions of fusion and correct some technical errors in prominent (...) discussions of the axiomatization of mereology. We show the equivalence of four different ways to axiomatize classical mereology, using three different notions of fusion. We also clarify the connection between classical mereology and complete Boolean algebra by giving two "neutral" axiom sets which can be supplemented by one or the other of two simple axioms to yield the full theories; one of these uses a notion of "strong complement" that helps explicate the connections between the theories. (shrink)

In this article we focus on the emergence of biological individuality by association, trying to formulate some theoretical conditions to think about the process of collective individualization. The starting point of our analysis is the notion of “major evolutionary transition.” A major evolutionary transition is the result of the integration of a multiplicity of initially independent biological entities that, by managing to organize their interactions, become a collective of components having an identity oriented towards a common goal. When biological organisms (...) are concerned, a major transition corresponds to a phenomenon of fusion between them. We shall argue that the emergence of a new biological level of individuality implies the establishment of constitutive relationships between individuals that change their status as autonomous entities. As a result, the emergence of a new type of entity in the living world implies that individuals enter into relationships that intrinsically transform them, a transformation sufficient for a “whole” to become a “part” that forms another “whole”, that is, a new level of organismality. (shrink)

Atomistic metaphysics motivated an explanatory strategy which science has pursued with great success since the scientific revolution. By decomposing matter into its atomic and subatomic parts physics gave us powerful explanations and accurate predictions as well as providing a unifying framework for the rest of science. The success of the decompositional strategy has encouraged a widespread conviction that the physical world forms a compositional hierarchy that physics and other sciences are progressively articulating. But this conviction does not stand up to (...) a closer examination of how physics has treated composition, as a variety of case studies will show. (shrink)

I argue that Leibniz’s well-known Argument from Unity is equally an argument from plurality. I detail two main claims about plurality that drive the argument, and I provide evidence that they structure Leibniz’s argument from the late 1670s onwards. First, there is what I call Mereological Nihilism (i.e., the claim that a plurality cannot be made into a true unity by any available means). Second, there is what I call the Plurality Thesis (i.e., the claim that matter is a plurality (...) in need of unity in the first place). I suggest that the Plurality Thesis offers a general analysis of materiality that, in some sense, is the most important aspect of Leibniz’s argument. Finally, I connect these claims about plurality to the common 17th & 18th century commitment known as the actual parts doctrine. (shrink)

This paper is concerned with the notions of supervenience and mechanistic constitution as they have been discussed in the philosophy of neuroscience. Since both notions essentially involve specific dependence and determination relations among properties and sets of properties, the question arises whether the notions are systematically connected and how they connect to science. In a first step, some definitions of supervenience and mechanistic constitution are presented and tested for logical independence. Afterwards, certain assumptions fundamental to neuroscientific inquiry are made explicit (...) in order to show that the presented definitions of supervenience are virtually uninteresting for theory construction in this field. In a third step, a new formulation of supervenience is developed that makes explicit reference to the notion of constitution and that bridges the gap between the philosophical concepts and explanatory practice in neuroscience. (shrink)

This paper discusses the relevance of models for cognitive science that integrate mechanistic and computational aspects. Its main hypothesis is that a model of a cognitive system is satisfactory and explanatory to the extent that it bridges phenomena at multiple mechanistic levels, such that at least several of these mechanistic levels are shown to implement computational processes. The relevant parts of the computation must be mapped onto distinguishable entities and activities of the mechanism. The ideal is contrasted with two other (...) accounts of modeling in cognitive science. The first has been presented by David Marr in combination with a distinction of “levels of computation”. The second builds on a hierarchy of “mechanistic levels” in the sense of Carl Craver. It is argued that neither of the two accounts secures satisfactory explanations of cognitive systems. The mechanistic-computational ideal can be thought of as resulting from a fusion of Marr’s and Craver’s ideals. It is defended as adequate and plausible in light of scientific practice, and certain metaphysical background assumptions are discussed. (shrink)

This paper discusses two challenges for a Boolean method for establishing constitutive regularity statements which, according to the regularity theory of mechanistic constitution, form the core of any mechanistic explanation in neuroscience. After presenting the regularity definition for the constitution relation and a methodology for constitutive inference, the paper discusses the problem of full variation of tested mechanistic factors and the problem of informational redundancy. A solution is offered for each problem. The first requires some adjustments to the original theory (...) by introducing the technical notion of a set of types satisfying independent instantiability. The second one is resolved by demonstrating that the problem of informational redundancy is based on a confusion that fails to challenge the theory. It is concluded that the methodology of constitutive inference is consistent and plausible with respect to actual practice in neuroscience. (shrink)

This paper discusses the role of levels and level-bound theoretical terms in neurobiological explanations under the presupposition of a regularity theory of constitution. After presenting the definitions for the constitution relation and the notion of a mechanistic level in the sense of the regularity theory, the paper develops a set of inference rules that allow to determine whether two mechanisms referred to by one or more accepted explanations belong to the same level, or to different levels. The rules are characterized (...) as underlying level distinctions in neuroscience research. (shrink)

There are three families of solutions to the traditional Amputation Paradox: Eliminativism, Contingent Identity Theories, and Theories of Coincident Entities. Theories of Coincident Entities challenge our common understanding of the relation between identity and parthood, since they accept that two things can be mereologically coincident without being identical. The contemporary discussion of the Amputation Paradox tends to mention only one theory of Coincident Entities, namely the Constitution View, which violates the mereological principle of Extensionality. But in fact, there is another (...) theory, namely the Unique Part View, which violates another mereological principle. In this paper, I argue that the contemporary focus on the Constitution View is unmotivated, at least when we are confronted with the Amputation Paradox, and that a balanced comparison of the two views should favour the Unique Part View. (shrink)

This paper aims to formalize Galileo’s argument against the Aristotelian view that the weight of free-falling bodies influences their speed. I obtain this via the application of concepts of parthood and of mereological sum, and via recognition of a principle which is not explicitly formulated by the Italian thinker but seems to be natural and helpful in understanding the logical mechanism behind Galileo’s train of thought. I also compare my reconstruction to one of those put forward by Atkinson and Peijnenburg (...) :115–136, 2004), and propose a formalization which is based on a principle introduced by them, which I shall call the speed is mediative principle. (shrink)

This paper offers a critical reconstruction of the motivations that led to the development of mereology as we know it today, along with a brief description of some problems that define current research in the field.

This paper aims to make headway on two related issues—one methodological, the other substantive. The former concerns cost–benefit analyses when applied to metaphysical theory choice. The latter concerns material coincidence, i.e., multiple objects occupying the same space at the same time, such as the statue and the clay from which it’s made. The issues are entwined as many reject coincidence on the grounds that it’s costly. I argue this judgment is unjustified. More generally, I set out and defend a framework (...) for the use of cost–benefit analyses in metaphysics. The framework employs a fourfold division of pretheoretical costs and benefits, and theoretical costs and benefits. Yet these do not hold equal weight. Instead I argue that the appeal to theoretical benefits is illegitimate if the theory in question cannot first account for the relevant evidence or data, including, crucially, certain bits of pretheoretical or common knowledge. This is crucial because I not only argue that material coincidence is consistent with common sense, against what is widely believed, but that coincidence may even be a feature or implication of the common sense view. Put together, the result is that accepting an anti-coincidence theory for its putative theoretical virtues at the expense of common sense is an improper usage of the cost–benefit methodology. I instead conclude that material coincidence should be accepted with equanimity—which, after all, is free. (shrink)

What is it for an individual thing in the natural world—a rock, a mouse, a family or a planet—to be made of other things—crystals, organs, animals, soil, water, or dirt? Rocks, mice, families and planets are composites, but how are we to understand the relation that holds between these composites and their component parts? My aim is to offer a new account of this relation, which I shall call corporeal composition. A central claim of my account is that corporeal composition (...) is grounded in causal relations between components. I will show how this claim, combined with a minimalist approach to causation—that causation is not one thing, but many—entails a position I call compositional minimalism—that composition is not one thing, but many. (shrink)

Mereological atomism is the thesis that everything is ultimately composed of atomic parts, i.e., parts without proper parts. Typically, this thesis is characterized by an axiom stating that everything has atomic parts. The present paper argues that the success of this standard characterization depends on how the notions of sum and composition are defined. In particular, we put forward a novel definition of mereological sum that: (i) is not equivalent to existing definitions in the literature, if no strong decomposition principle (...) is assumed; (ii) can be used to argue that the standard characterization of atomism fails, because having atomic parts is not sufficient to be a sum of atoms; and (iii) provides a purely mereological distinction between structured and unstructured wholes, contributing to the ongoing debate on this crucial topic. (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)

Thought: A Journal of Philosophy, EarlyView.

A mereological structure is junky if and only if each of its elements is a proper part of some other. The young literature on junk has focused on junky worlds and whether they are counterexamples to unrestricted composition. The present note defends the possibility of junky structures that are not worlds. This possibility complicates a recent attempt in the literature to render junk consistent with a weakened form of unrestricted composition. The upshot is that junky non-worlds threaten the weakened form (...) of unrestricted composition as much as junky worlds threaten the traditional version. (shrink)

All parts of mereologically ‘gunky’ entities have proper parts. All parts relevant to mereologically ‘junky’ entities *are* proper parts. This essay explores the application of gunk and junk beyond the standard category of material object. One such application yields what is here dubbed ‘deep’ gunk and junk: a material entity x all of whose intrinsic elements from any fundamental ontological category C either have proper parts from C that also are intrinsic elements of x, or are proper parts of entities (...) from C that also are intrinsic elements of x. In addition to being independently interesting, these mereological structures pose a challenge to the bare particular ontology of substance. For bare particulars standardly are assumed to be mereologically simple, yet a deep gunky or junky entity requires any associated bare particulars to be complex. The essay closes by examining the bare particular theorist’s prospects for answering this challenge. (shrink)