Mereology, Misc

We argue that, insofar as one accepts either supersubstantivalism or strong composition as identity for the usual reasons, one has (defeasible) reasons to accept the other as well. Thus, all else being equal, one ought to find the package that combines both views—the Identity Package—more attractive than any rival package that includes one, but not the other, of either supersubstantivalism or composition as identity.

« Pourquoi les choses tiennent-elles ensemble ? » (Traité d'ontologie, 2009, p. 237). Cette citation me sert de départ à une réflexion sur la nature des relations liantes souvent appelées relations de comprésence à la suite de Russell, ces bundling relations qui nouent les propriétés ensembles pour constituer les objets ordinaires (tables, chaises, individus biologiques) selon la théorie du faisceau. De même que Frédéric Nef, je suis séduit par les nombreuses vertus philosophiques de ces relations liantes. Ma contribution ne portera (...) pas sur une critique ou une défense de ces relations mais sur l'étude de leur nature, et en particulier, de leur possible nature méréologique. Je vais esquisser rapidement certains aspects de la théorie classique du faisceau que je qualifierai de réaliste pour opposer ensuite les variantes réalistes à deux autres versions méréologiques de la théorie, que je qualifierai d'éliminativistes. (shrink)

There are two main ways in which the notion of mereological fusion is usually defined in the current literature in mereology which have been labelled ‘Leśniewski fusion’ and ‘Goodman fusion’. It is well-known that, with Minimal Mereology as the background theory, every Leśniewski fusion also qualifies as a Goodman fusion. However, the converse does not hold unless stronger mereological principles are assumed. In this paper I will discuss how the gap between the two notions can be filled, focussing in particular (...) on two specific sets of principles that appear to be of particular philosophical interest. The first way to make the two notions equivalent can be used to shed some interesting light on the kind of intuition both notions seem to articulate. The second shows the importance of a little-known mereological principle which I will call ‘Mild Supplementation’. As I will show, the mereology obtained by adding Mild Supplementation to Minimal Mereology occupies an interesting position in the landscape of theories that are stronger than Minimal Mereology but weaker than what Achille Varzi and Roberto Casati have labelled ‘Extensional Mereology’. (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)

In this paper I address two important objections to the theory called ‘ Composition as Identity’ : the ‘wall-bricks-and-atoms problem’, and the claim that CAI entails mereological nihilism. I aim to argue that the best version of CAI capable of addressing both problems is the theory I will call ‘Atomic Composition as Identity’ which consists in taking the plural quantifier to range only over proper pluralities of mereological atoms and every non-atomic entity to be identical to the plurality of atoms (...) it fuses. I will proceed in three main steps. First, I will defend Sider’s Composition as identity. Oxford University Press, Oxford, pp 211–221, 2014) idea of weakening the comprehension principle for pluralities and I will show that :219–235, 2016a) it can ward off both the WaBrA problem and the threat of mereological nihilism. Second, I will argue that CAI-theorists should uphold an ‘atomic comprehension principle’ which, jointly with CAI, entails that there are only proper pluralities of mereological atoms. Finally, I will present a novel reading of the ‘one of’ relation that not only avoids the problems presented by Yi Composition as identity. Oxford University Press, Oxford, pp 169–191, 2014) and Calosi :429–443, 2016b, Am Philos Q 55:281–292, 2018) but can also help ACAI-theorists to make sense of the idea that a composite entity is both one and many. (shrink)

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.

Many philosophers insist that the revisionary metaphysician—i.e., the metaphysician who offers a metaphysical theory which conflicts with folk intuitions—bears a special burden to explain why certain folk intuitions are mistaken. I show how evidence from cognitive science can help revisionist discharge this explanatory burden. Focusing on composition and persistence, I argue that empirical evidence indicates that the folk operate with a promiscuous teleomentalist view of composition and persistence. The folk view, I argue, deserves to be debunked. In this way, I (...) take myself to have illustrated one key role cognitive science can play in metaphysics; namely by helping the revisionary metaphysician discharge the explanatory burden of providing a plausible explanation of how the folk have gone wrong. (shrink)

The Special Composition Question may be formulated as follows: for any xs whatsoever, what are the metaphysically necessary and jointly sufficient conditions in virtue of which there is a y such that those xs compose y? But what is the scope of the sought after explanation? Should an answer merely explain compositional facts, or should it explain certain ontological facts as well? On one natural reading, the question seeks an explanation of both the compositional facts and the ontological; the question (...) seeks to explain how composite objects exist; how there is a y such that the xs compose y. But it turns out that some answers to the Special Composition Question presuppose those ontological facts rather than explain those ontological facts. In this paper, I will indicate what I take to be the different explanatory demands met by the representative answers. I will argue that the wide scope explanatory demands can’t be satisfied. I will also show that this result has bearing on the current debate about composition. (shrink)

The interactive theorem prover Isabelle/HOL is used to verify elementary theorems of classical extensional mereology.

According to contemporary ‘process ontology’, organisms are best conceptualised as spatio-temporally extended entities whose mereological composition is fundamentally contingent and whose essence consists in changeability. In contrast to the Aristotelian precepts of classical ‘substance ontology’, from the four-dimensional perspective of this framework, the identity of an organism is grounded not in certain collections of privileged properties, or features which it could not fail to possess, but in the succession of diachronic relations by which it persists, or ‘perdures’ as one entity (...) over time. In this paper, I offer a novel defence of substance ontology by arguing that the coherency and plausibility of the radical reconceptualisation of organisms proffered by process ontology ultimately depends upon its making use of the ‘substantial’ principles it purports to replace. (shrink)

According to Whitehead’s rectified principle, two individuals are connected just in case there is something self-connected which overlaps both of them, and every part of which overlaps one of them. Roberto Casati and Achille Varzi have offered a counterexample to the principle, consisting of an individual which has no self-connected parts. But since atoms are self-connected, Casati and Varzi’s counterexample presupposes the possibility of gunk or, in other words, things which have no atoms as parts. So one may still wonder (...) whether Whitehead’s rectified principle follows from the assumption of atomism. This paper presents an atomic countermodel to show the answer is no. (shrink)

The ancient puzzle of Dion and Theon has given rise to a surprising array of apparently implausible views. For example, in order to solve the puzzle, several philosophers have been led to deny the existence of their own feet, others have denied that objects can gain and lose parts, and large numbers of philosophers have embraced the thesis that distinct objects can occupy the same space, having all their material parts in common. In this paper, I argue for an alternative (...) approach: I claim that human beings have ordinary parts—hands, heads, feet, and so on—but no extraordinary parts, such as ‘foot-complements’, the existence of which is essential to the puzzle. I rebut three objections to this approach: an objection that it is unacceptably metaphysically arbitrary, an objection that the view is incompatible with versions of the puzzle involving decapitation, and an objection concerning masses of matter. If we can believe that there are such things as hands and feet without involving ourselves in paradox, and without accepting large numbers of co-located material objects that share all their material parts, then that is what we should do. My view is the only known alternative which allows this. (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)

The notion of an extended simple region (henceforth ESR) has recently been marshalled in the service of arguments for a variety of conclusions. Exactly how to understand the idea of extendedness as it applies to simple regions, however, has been largely ignored, or, perhaps better, assumed. In this paper we first (§1) outline what we take to be the standard way that philosophers are thinking about extendedness, namely as an intrinsic property of regions. We then introduce an alternative picture (§2), (...) according to which extendedness is extrinsic. In §3 we argue that it matters which way of thinking about extendedness is the right one, since how ESRs behave is sensitive to what extendedness consists in, and various arguments that appeal to ESRs turn out to be unsound if extendedness is extrinsic rather than intrinsic. (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)

Constitution is the relation that holds between an object and what it is made of: statues are constituted by the lumps of matter they coincide with; flags, one may think, are constituted by colored pieces of cloth; and perhaps human persons are constituted by biological organisms. Constitution is often thought to be a.

In its simplest form, a Spritz is an aperitif made with (sparkling) water and (white) wine. A ‘gunky Spritz’, as I will call it, is a Spritz in which the water and the wine are mixed through and through, so that every proper part of the Spritz has a proper part containing both water and wine. In the literature on the notion of location the possibility of mixtures like a gunky Spritz has been thought of as either threatening seemingly intuitive (...) locative principles, or as requiring the position of multiple primitive locative relations. In this paper I present a new theory of location which assumes as primitive only the notion of pervasive location and show that it can account for the possibility of gunky Spritz in an intuitive and adequate way. (shrink)

I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...) their fusion, because the first two have a kind of internal organizational coherence that their putative fusion lacks. Kolmogorov complexity theory supplies the needed rigorous sense of “internal organizational coherence”. (shrink)

Philosophical problems about the part-whole relation have been discussed throughout the history of philosophy, at least since Plato and Aristotle. In contemporary philosophy, the understanding of these issues has benefited from the formal tools of Classical Extensional Mereology. This paper aims is to defend mereological restrictivism against some constraints imposed by the vagueness argument. To achieve this, the paper is divided into three parts. In the first, I introduce the special composition question (hereafter SCQ) as formulated by [Van Inwagen, 1990] (...) and briefly present the three sets of theories that proffer answers to it. In the second part, I focus on the vagueness argument, that was presented by [Lewis, 1986, ] and [Sider, 2007, ] to defend mereological universalism. In the third section, I introduce the theory of natural properties by David Lewis. From this theory, I propose a new mereological operation labeled as natural fusion. The purpose of this operation is to falsify one of the premises of the vagueness argument. Then, I discuss some examples and counter-examples to natural fusion. (shrink)

Van Inwagen proposes that besides simples only living organisms exist as composite objects. This paper suggests expanding van Inwagen’s ontology by also accepting composite objects in the case that physical bonding occurs (plus some extra conditions). Such objects are not living organ-isms but rather physical bodies. They include (approximately) the complete realm of inanimate ordinary objects, like rocks and tables, as well as inanimate scientific objects, like atoms and mol-ecules, the latter filling the ontological gap between simples and organisms in (...) van Inwagen’s origi-nal picture. We thus propose a compositional pluralism claiming that composition arises if and on-ly if bonding or life occurs. (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)

I will defend two claims. First, Schaffer's priority monism is in tension with many research programs in quantum gravity. Second, priority monism can be modified into a view more amenable to this physics. The first claim is grounded in the fact that promising approaches to quantum gravity such as loop quantum gravity or string theory deny the fundamental reality of spacetime. Since fundamental spacetime plays an important role in Schaffer's priority monism by being identified with the fundamental structure, namely the (...) cosmos, the disappearance of spacetime in these views might undermine classical priority monism. My second claim is that priority monism can avoid this issue with two moves: first, in dropping one of its core assumption, namely that the fundamental structure is spatio-temporal, second, by identifying the connection between the non-spatio-temporal structure and the derivative spatio-temporal structure with mereological composition. (shrink)

One objection to the thesis that multilocation is possible claims that, when combined with a preference for parsimonious theories, it leads to the absurd result that we ought to believe the material universe is composed of just one simple particle. I argue that this objection fails.

When Aristotle argues at the Metaphysics Z.17, 1041b11–33 that a whole, which is not a heap, contains ‘something else’, i.e. the form, besides the elements, it is not clear whether or not the form is a proper part of the whole. I defend the claim that the form is not a proper part within the context of the relevant passage, since the whole is divided into elements, not into elements and the form. Different divisions determine different senses of ‘part’, and (...) thus the form is not a part in the same sense as the elements are parts. I object to Koslicki’s (2006) interpretation, according to which the form is a proper part along the elements in a single sense of ‘part’, although she insists that the form and the elements belong to different categories. I argue that Koslicki’s reading involves a category mistake, i.e. the conjunction of items that do not belong to the same category (Goldwater 2018). Since for Aristotle parthood presupposes some kind of similarity of parts, the conjunction of form and elements requires treating these items as somehow belonging to the same category, e.g. ‘being’, but no such category exists. (shrink)

Aristotle introduced in the history of the reception of Anaxagoras the term ‘homoiomerous’. This word refers to substances whose parts are similar to each other and to the whole. Although Aristotle’s explanations can be puzzling, the term ‘homoiomerous’ may explain an authentic aspect of Anaxagoras’ doctrine reflected in the fragments of his work. Perhaps one should find a specific meaning for the term ‘homoiomerous’ in Anaxagoras, somewhat different from the one present in Aristotle. This requires a review of the sense (...) of the two terms involved in it: ‘homoios’ and ‘moira’. In other words, the following questions should be answered: what realities are named parts and to what whole they belong? On the other hand, which similarity do they have to each another and to the whole? The author concludes that the parts are “all things,” which resemble each other and the universe as a whole because, according to Anaxagoras, they are all composed of all things. (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)

David Lewis defends the following "non-circular definition of personhood": "something is a continuant person if and only if it is a maximal R-interrelated aggregate of person-stages. That is: if and only if it is an aggregate of person-stages, each of which is R-related to all the rest (and to itself), and it is a proper part of no other such aggregate." I give a counterexample, involving a person who is a part of another, much larger person, with a separate mental (...) life. I then offer an easy repair, which preserves the virtues of Lewis's definition without introducing any new vices. (shrink)

Mechanisms are said to consist of two kinds of components, entities and activities. In the first half of this chapter, I examine what entities and activities are, how they relate to well-known ontological categories, such as processes or dispositions, and how entities and activities relate to each other (e.g., can one be reduced to the other or are they mutually dependent?). The second part of this chapter analyzes different criteria for individuating the components of mechanisms and discusses how real the (...) boundaries of mechanisms are. (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)

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

Strong Composition as Identity is the thesis that necessarily, for any xs and any y, those xs compose y iff those xs are non-distributively identical to y. Some have argued against this view as follows: if some many things are non-distributively identical to one thing, then what’s true of the many must be true of the one. But since the many are many in number whereas the one is not, the many cannot be identical to the one. Hence is mistaken. (...) Although I am sympathetic to this objection, in this paper, I present two responses on behalf of the theorist. I also show that once the defender of accepts one of these two responses, that defender will be able to answer The Special Composition Question. (shrink)

Are a material object, such as a statue, and its constituting matter, the clay, parts of one another? One wouldn't have thought so, and yet a number of philosophers have argued that they are. I review the arguments for this surprising claim showing how they all fail. I then consider two arguments against the view concluding that there are both pre-theoretical and theoretical considerations for denying that the statue and the clay are mutual parts.

I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.

The notion of multiple location plays an important role in the characterization of endurantism. Several authors have recently offered cases intended to demonstrate the incoherence of multiple location. I argue that these cases do not succeed in making multiple location problematic. Along the way, several crucial issues about multiple location and its use by endurantists are clarified.

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)

What is the relation between parts taken together and the whole that they compose? The recent literature appears to be dominated by two different answers to this question, which are normally thought of as being incompatible. According to the first, parts taken together are identical to the whole that they compose. According to the second, the whole is grounded in its parts. The aim of this paper is to make some theoretical room for the view according to which parts ground (...) the whole they compose while being, at the same time, identical to it. (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)

Mereological realism holds that the world has a mereological structure – i.e. a distribution of mereological properties and relations. In this article, I defend Eleaticism about properties, according to which there are no causally inert non-logical properties. I then present an Eleatic argument for mereological anti-realism, which denies the existence of both mereological composites and mereological simples. After defending Eleaticism and mereological anti-realism, I argue that mereological anti-realism is preferable to mereological nihilism. I then conclude by examining the thesis that (...) composition is identity and noting its consequences for the question of mereological structure. (shrink)

Endurantists have recently faced a mereological puzzle in various forms. Here I argue that, instead of presenting a genuine worry, the puzzle actually reveals a common misunderstanding about the endurantist ontology. Furthermore, through this discussion of the alleged problem and the misunderstanding which motivates it, I reveal metaphysical commitments the endurantist has that may not be widely recognized. For instance, she is committed to interesting and perhaps controversial views about shape and location. I highlight these commitments and what they mean (...) for the endurantist. (shrink)

La storia della nascita, utilizzo e declino delle notazioni scientifiche costituisce un’area di indagine importante che può aiutare le nostre analisi del pensiero scientifico e la sua evoluzione. […] this history constitutes a mirror of past and present conditions in mathematics which can be made to bear on the notational problems now confronting mathematics. The successes and failures of the past will contribute to a more speedy solutions of the notational problems of the present times.Questa storia, ovviamente, coinvolge anche le (...) notazioni della logica. Il presente contributo intende proporre un nuovo insieme di simboli per una particolare teoria logica: la Mereologia Formale, in considerazione del fatto che questa teoria, pur avendo avuto trattazioni sistematiche, non ha allo stato attuale ancora raggiunto un sistema di notazioni condiviso dagli studiosi. Tale stato dell’arte è espressione, da un lato, di un legame della teoria al suo nascere con la notazione polacca, e del suo confronto con la Teoria Assiomatica degli Insiemi; dall’altro, del fatto che essa ha ricevuto solo in tempi recenti sistematiche applicazioni alle scienze.94 In tale prospettiva ho ritenuto necessario definire in primo luogo dei criteri attraverso cui procedere alla costruzione del sistema di simboli. Criteri desunti in parte dalla storia delle notazioni scientifiche nella loro evoluzione, in parte dalla pratica personale nell’uso di strumenti formali. (shrink)

The relative merits of standard mereology have received quite a bit of attention in recent years from metaphysicians concerned with the part/whole properties of material objects. A question that has not been pursued to the same degree, however, is what sort of semantic repercussions a commitment to mereological sums in the standard sense might have in particular on the predicted behavior of singular terms and our practices of using such terms to refer to objects. The apparent mismatch between our actual (...) referential practices and the persistence conditions attributed to material objects by the supporters of standard mereology puts these philosophers, other things being equal, at a disadvantage compared to those whose ontology matches more closely the observed behavior of singular terms, as they are commonly used in ordinary discourse. To alleviate this problem, David Lewis leans heavily on his distinction between natural and non-natural properties. I argue in this paper that Lewis’ already heavily burdened natural/non-natural distinction among properties is not enough to avoid Quinean indeterminacy for singular terms. Those who are in the business of giving an analysis of constructions involving full-fledged predication, as opposed to the mere spatial overlap of denotations, will thus want to go in for an ontology that places more stringent structural constraints on the referents of singular terms than would be supplied by standard mereology. (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)

This paper defends substantivism about disputes in the metaphysics of composition. That is, it defends the view that disputes about the metaphysics of composition are substantial: they are neither merely apparent disputes in which disputants are talking past one another in virtue of disagreeing about the truth conditions for certain sentences; nor are they disputes in which there is no fact of the matter in the world in virtue of which one party to the dis-pute is right and the other(s) (...) wrong. (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.

In this paper I outline the main features of Karen Bennett’s (Australasian Journal of Philosophy 1–21, 2011) non-classical mereology, and identify its methodological costs. I argue that Bennett’s mereology cannot account for the composition of structural universals because it cannot explain the mereological difference between isomeric universals, such as being butane and being isobutane. I consider responses, which come at costs to the view.