We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

Does the soul have parts? What kind of parts? And how do all the parts make together a whole? Many ancient, medieval and early modern philosophers discussed these questions, thus providing a mereological analysis of the soul. The eleven chapters reconstruct and critically examine radically different theories. They make clear that the question of how a single soul can have an internal complexity was a crucial issue for many classical thinkers.

In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying well-formed (...) partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain. (shrink)

Our object is to study the interaction between mereology and David Lewis’ theory of subject-matters, elaborating his observation that not every subject matter is of the form: how things stand with such-and-such a part of the world. After an informal introduction to this point in Section 1, we turn to a formal treatment of the partial orderings arising in the two areas – the part-whole relation, on the one hand, and the relation of refinement amongst partitions of the set of (...) worlds, on the other. We emphasize a certain duality, formulated in and in Section 2, between the corresponding lattice operations – mereological joins with partition-lattice meets, mereological meets with partition-lattice joins. Section 3 presents some issues that are raised by consideration of the informally familiar idea of logical subtraction. These include, in particular, a problem about the need for a notion of independence different from the usual logical notion going by that name. The apparatus of Section 2 promises to throw some light on this problem, as we indicate in Section 4. Section 5 ties up some loose ends and suggests an area in which further work would be desirable. (shrink)

The theory of granular partitions is designed to capture in a formal framework important aspects of the selective character of common-sense views of reality. It comprehends not merely the ways in which we can view reality by conceiving its objects as gathered together not merely into sets, but also into wholes of various kinds, partitioned into parts at various levels of granularity. We here represent granular partitions as triples consisting of a rooted tree structure as first component, a domain satisfying (...) the axioms of Extensional Mereology as second component, and a mapping (called ’projection’) of the first into the second as a third component. We define ordering relations among granular partitions the resulting structures are called partition frames. We then introduce an axiomatic theory which sentences are interpreted in partition frames. (shrink)

It is standardly assumed in discussions of quantum theory that physical systems can be regarded as having well-defined Hilbert spaces. It is shown here that a Hilbert space can be consistently partitioned only if its components are assumed not to interact. The assumption that physical systems have well-defined Hilbert spaces is, therefore, physically unwarranted.

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is (...) critical for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

A key ingredient of the metaphysical doctrine of dual-aspect monism is a psychophysically neutral domain, of which mental and physical aspects arise as epistemic descendants that manifest themselves by decomposition. This primer first introduces some elementary notions to define the basic concepts needed to understand the approach, such as those of states, state spaces, observables, partitions and correlations. Using these notions, the concepts of decomposition and manifestation are explained, and a differentiated view of the mereological distinction of wholes and (...) parts is outlined. Next, a number of historical and contemporary accounts of psychophysical neutrality with philosophical (Plato, Spinoza, Schelling, Kant), scientific (Bohm, Pauli, Jung, Connes, Gibson), and artistic (sculpture, music) flavor are given as illustrative examples. Finally, correlations between the psychophysically neutral, the mental, and the physical domain of reality are discussed, in which these correlations are substantiated by meaning. (shrink)

We develop a point-free construction of the classical one- dimensional continuum, with an interval structure based on mereology and either a weak set theory or logic of plural quantification. In some respects this realizes ideas going back to Aristotle,although, unlike Aristotle, we make free use of classical "actual infinity". Also, in contrast to intuitionistic, Bishop, and smooth infinitesimal analysis, we follow classical analysis in allowing partitioning of our "gunky line" into mutually exclusive and exhaustive disjoint parts, thereby demonstrating the independence (...) of "indecomposability" from a non-punctiform conception. It is surprising that such simple axioms as ours already imply the Archimedean property and that they determine an isomorphism with the Dedekind-Cantor structure of R as a complete, separable, ordered field. We also present some simple topological models of our system, establishing consistency relative to classical analysis. Finally, after describing how to nominalize our theory, we close with comparisons with earlier efforts related to our own. (shrink)

The view that plural reference is reference to a set is examined in light of George Boolos's treatment of second-order quantification as plural quantification in English. I argue that monadic second-order logic does not, in Boolos's treatment, reflect the behavior of plural quantifiers under negation and claim that any sentence that properly translates a second-order formula, in accordance with his treatment, has a first-order formulation. Support for this turns on the use of certain partitive constructions to assign values to variables (...) in a way that makes Boolos's reading of second-order variables available for a first-order language and, with it, the possibility of interpreting quantification in an unrestricted domain.A first-order theory, T(D), is developed on the basis of Boolos's treatment of simple plural definite descriptions extended to Richard Sharvy's general theory of definite plural and mass descriptions. I introduce a primitive predicate, o, for the relation of the referent of a singular description to that of its plural. If o is simply added to T(D), is definable in T(D), and the result is inconsistent. If o is added to a theory with axioms for the fragment of T(D) I call D-mereology, the result is a natural basis for the development of a pluralized Zermelo set theory. This theory, however, is inconsistent in an unrestricted domain, unless it is recast as a second-order theory of sets interpreted in Boolos's way. (shrink)

In ‘Location and Perdurance’ (2010), I argued that there are no compelling mereological or sortal grounds requiring the perdurantist to distinguish the molecule Abel from the atom Abel in Gilmore’s original case (2007). The remaining issue Gilmore originally raised concerned the ‘mass history’ of Adam and Abel, the distribution of ‘their’ mass over spacetime. My response to this issue was to admit that mass histories needed to be relativised to a way of partitioning the location of Adam/Abel, but that (...) did not amount to relativising any fundamental natural intrinsic properties—the latter are all had unrelativised, and (so most perdurantists would say). (shrink)

In Parts of Classes, David Lewis outlined a reduction of ZFC to a second order mereology. His conclusion takes on the following form in this reconstruction: ZFC is susceptible to parameterized interpretation in M plus, there is a stronglyinaccessible partition. The proof makes use of the fact that ordered pairs in M plus an infinite partition are susceptible to parameterized interpretation.".

Wittgenstein took the _Tractatus Logico-Philosophicus_ to be eventually invalidated by logical atomism. Our main thesis is that it can be revalidated, provided that we subtract the thesis 2.02 (“The object is simple.”) from it: atoms are not simple objects but, rather, bits of information the objects are made of. Starting from an introductory discussion about what is meant by a ‘logic of colors’, an explanatory framework is then proposed in the form of a partition semantics. The philosophical problem of (...) Wittgenstein’s color-statements is reformulated accordingly, thus overcoming the trouble with logical atomism. A Boolean treatment is advanced to solve the initial difficulty and leads to two final results: Wittgenstein’s logic of colors requires a mereological understanding of the relations between colors in order to make sense; the analysis of psychophysical concepts like colors casts some additional doubt about the analytic–synthetic distinction, to the point of treating relations between colors as analytic a posteriori judgments. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Plato on Parts and Wholes: The Metaphysics of StructureNicholas SmithVerity Harte. Plato on Parts and Wholes: The Metaphysics of Structure. Oxford: Clarendon Press of Oxford University Press, 2002. Pp. x + 311. Cloth, $45.00.In this book, Verity Harte seeks to provide an account of Plato's view of mereology. According to Harte, Plato presents two distinct models about the relation of part to whole, but actually only ever accepts (...) one of these two models. Plato presents one model in the Parmenides, Theaetetus, and one passage in the Sophist. In this model, which Harte compares to a conception of part and whole recently advanced by David Lewis, the whole is simply identical to its collective parts and Plato attends to this model only to call attention to its problems. Harte explicates Plato's presentation of this model in the last section of Chapter 1 and in Chapter 2 of her book. The second model—the only one Plato actually accepts, according to Harte—Plato initially outlines in the Parmenides, but then explicates in finer detail in the Sophist, Philebus, and Timaeus. In this conception, wholes are now understood as "structures, the identity of whose parts is determined only in the context of the whole they compose" (3). Harte presents her evidence for Plato's endorsement of this model in Chapters 3 and 4, and then draws conclusions in Chapter 5.The book has several significant virtues, including especially clarity of exposition, and care and thoroughness in the review of the relevant texts from Plato's later dialogues. But this same care and attention to detail does not at all extend to any of Plato's discussions of part and whole in earlier works, and Harte's peremptory refusal to consider the relevant passages in these other works is puzzling, at best.Indeed, Harte bothers to identify only two such passages from earlier works, and then only to explain why they and other passages like them do not merit further attention: the Republic's famous division of the soul into three parts in Book IV and the consideration of virtue as a whole and the several virtues as parts of that whole in the Protagoras. Harte acknowledges that Plato explicitly supplies, in the Protagoras discussion, two different sorts of relations of part and whole, in distinguishing the way in which parts of gold form a larger whole, and the way the parts of the face are related to the whole face (349d4-8), but seems oblivious to the clear implication that—at least when he wrote the Protagoras, and contrary to Harte's primary thesis—Plato recognized more than one way in which wholes could be composed of parts. But Harte dismisses the significance of both discussions by noting, first, that the "principle of opposition" given in the Republic by which Plato divides the soul provides "at most, a sufficient, and not necessary, condition on something having parts" and concludes that it thus "cannot be used to establish general claims about parts" (2). Harte never mentions that this same view of the partitioned soul seems to reappear in the Phaedrus and Timaeus—a dialogue in which the allegedly preferred conception of mereology is presented—and also passes over the Republic's representation of the tripartition of the kallipolis, and Plato's conception of the citizen as a part of a state. As for the Protagoras's discussion of the relationships between the virtues, Harte says only that "there is here no discussion of the nature of parts or of the relation between parts and whole" (2). She concludes that "in both works the focus of discussion is the examples themselves (the soul, the virtues) and not wholes of parts as such" (2). Harte fails to notice, however, that the arrangement of virtues into parts and wholes may also be found in the Laches (190a1-199e7), [End Page 333] Meno (78d7-e2), and especially the Euthyphro (12c2-d2), in which the relation of piety to justice as part to whole is likened to the relationships between reverence and fear and odd numbers and numbers, which are plainly not examples of part-whole relationships between virtues.Harte is well... (shrink)

Mereological principles are sometimes used to support general claims about the structure and arrangement of objects in the world. I focus initially on one such mereological principle, the weak supplementation principle (WSP). It is not obvious that (WSP) is prescribed by ordinary thinking about parthood. Further, (WSP) is not needed for a fairly strong formal characterization of the part–whole relation. For these reasons, some arguments relying on (WSP) might be countered by simply denying (WSP). I argue more generally (...) that there is no reason to assume that one core mereology functions as a common basis for all plausible metaphysical theories. (shrink)

Mereological nihilism (henceforth just "nihilism") is the thesis that composition never occurs. Nihilism has often been defended on the basis of its theoretical simplicity, including its ontological simplicity and its ideological simplicity (roughly, nihilism's ability to do without primitive mereological predicates). In this paper I defend nihilism on the basis of the theoretical unification conferred by nihilism, which is, roughly, nihilism's capacity to allow us to take fewer phenomena as brute and inexplicable. This represents a respect in which (...) nihilism enjoys greater theoretical simplicity than its rivals which has not yet been explored, and which is immune to many of the objections which have been leveled against previous arguments for nihilism from nihilism's theoretical simplicity. Composition as identity might be thought to confer a similar degree of theoretical unification as nihilism. I end the paper by arguing that this is not the case. (shrink)

Mereological nihilism is the thesis that composite objects—objects with proper parts—do not exist. Nihilists generally paraphrase talk of composite objects F into talk of there being “xs arranged F-wise” . Recently several philosophers have argued that nihilism is defective insofar as nihilists are either unable to say what they mean by such phrases as “there are xs arranged F-wise,” or that nihilists are unable to employ such phrases without incurring significant costs, perhaps even undermining one of the chief motivations (...) for nihilism. In this paper I defend nihilism against these objections. A key theme of the paper is this: if nihilists need to employ such phrases as “there are xs arranged F-wise,” non-nihilists will need to do so as well. Accordingly, any costs incurred by the nihilist when she employs such phrases will be shared by everyone else. What’s more, such phrases are intelligible when employed by the nihilist, as well as when they are employed by the non-nihilist, insofar as analyses of such phrases will not essentially involve mereological concepts incompatible with nihilism. (shrink)

Mereological nihilism is the view that no objects have proper parts. Despite how counter‐intuitive it is, it is taken quite seriously, largely because it solves a number of puzzles in the metaphysics of material objects – or so its proponents claim. In this article, I show that for every puzzle that mereological nihilism solves, there is a similar puzzle that (a) it doesn’t solve, and (b) every other solution to the original puzzle does solve. Since the solutions to (...) the new puzzles apply just as well to the old puzzles, the old puzzles provide no motivation to be a mereological nihilist. (shrink)

When do the folk think that mereological composition occurs? Many metaphysicians have wanted a view of composition that fits with folk intuitions, and yet there has been little agreement about what the folk intuit. We aim to put the tools of experimental philosophy to constructive use. Our studies suggest that folk mereology is teleological: people tend to intuit that composition occurs when the result serves a purpose. We thus conclude that metaphysicians should dismiss folk intuitions, as tied into a (...) benighted teleological view of nature. (shrink)

Mereological nihilists hold that composition never occurs, so that nothing is ever a proper part of anything else. Substance dualists generally hold that we are each identical with an immaterial soul. In this paper, I argue that every popular objection to substance dualism has a parallel objection to composition. This thesis has some interesting implications. First, many of those who reject composition, but accept substance dualism, or who reject substance dualism and accept composition, have some explaining to do. Secondly, (...) one popular objection to mereological nihilism, one which contends that mereological nihilism is objectionable insofar as it is incompatible with the existence of people, is untenable. (shrink)

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

It is often assumed that indeterminacy in mereological relations—in particular, indeterminacy in which collections of objects have fusions—leads immediately to indeterminacy in what objects there are in the world. This assumption is generally taken as a reason for rejecting mereological vagueness. The purpose of this paper is to examine the link between mereological vagueness and existential vagueness. I hope to show that the connection between the two forms of vagueness is not nearly so clear-cut as has been (...) supposed. (shrink)

Core principles of mereology have been questioned by appealing to time travel scenarios. This paper questions the methodology of employing time travel scenarios to argue against mereology. We show some time travel scenarios are structurally equivalent to more standard ones not involving time travel; and that the three main theories about persistence through time can each solve both the time travel scenario as well as the structurally similar classical scenario. Time travel scenarios that are not similar to more standard arguments (...) are instead problematic because they are open to different, incompatible interpretations. We conclude that compared to the classical arguments against mereological principles, time travel scenarios do not add anything new. (shrink)

Is a whole something more than the sum of its parts? Are there things composed of the same parts? If you divide an object into parts, and divide those parts into smaller parts, will this process ever come to an end? Can something lose parts or gain new ones without ceasing to be the thing it is? Does any multitude of things (including disparate things such as you, this book, and the tail of a cat) compose a whole of some (...) sort? Questions such as these have occupied us for at least as long as philosophy has existed. They define the field that has come to be known as mereology-the study of all relations of part to whole and of part to part within a whole-and have deep and far-reaching ramifications in metaphysics as well as in logic, the foundations of mathematics, the philosophy of language, the philosophy of science, and beyond. In Mereology, A. J. Cotnoir and Achille C. Varzi have compiled decades of advanced research into a comprehensive, up-to-date, and formally rigorous picture. The early chapters cover the more classical aspects of mereology; the rest of the book deals with variants and extensions. Whether you are an established professional philosopher, an interested student, or a newcomer, inside you will find all the tools you need to join this ever-evolving field of inquiry and theorize about all things mereological. (shrink)

I argue that mereological nihilism fails because it cannot answer the special arrangement question: when is it true that the xs are arranged F-wise? I suggest that the answers given in the literature fail and that the obvious responses that could be made look to undermine the motivations for adopting nihilism in the first place.

This peer reviewed reference article is an annotated online bibliography on mereology with 80+ entries. It's aim is to provide a selective and balanced guide to the subject. It contains thematic headings with commentaries. The reader should come away cognizant of what the most influential work in mereology are. Topics highlighted herein include, but are not limited to: the history of mereology, classical extensional mereology and its challenges, parthood, connections with location relations, mereological simples and gunk, composition as identity, (...) as well as mereological essentialism, nihilism, and universalism. (shrink)

Parthood and composition are everywhere. The leg of a table is part of the table, the word "Christmas" is part of the sentence "I wish you a merry Christmas", the 13th century is part of the Middle Ages. The Netherlands, Belgium, and Luxembourg compose Benelux, the body of a deer is composed of a huge number of cells, the Middle Ages are composed of the Early Middle Ages, High Middle Ages, and Late Middle Ages. Is there really a general theory (...) covering every instance of parthood and composition? Is classical mereology this general theory? Are its seemingly counter-intuitive features serious defects? -/- Mereology: A Philosophical Introduction addresses the multifaceted and lively philosophical debates surrounding these questions, and defends the idea that classical mereology is indeed the general and exhaustive theory of parthood and composition in the domain of concrete entities. -/- Several examples of parthood and composition, involving entities of different kinds, are scrutinised in depth. Incidentally, mereology is shown to interact in a surprising way with metaontology. Presenting a well-organized and comprehensive discussion of parthood and related notions, Mereology: A Philosophical Introduction contributes to a better understanding of a subject central to contemporary metaphysics. (shrink)

I develop a definition of mereological endurantism which overcomes objections that have been proposed in the literature and thereby avoids the charge of obscurity put forward by Sider against the view.

Classical mereology (CM) is usually taken to be formulated in a tenseless language, and is therefore associated with a four-dimensionalist metaphysics. This paper presents three ways one might integrate the core idea of flat plenitude, i.e., that every suitable condition or property has exactly one mereological fusion, with a tensed logical setting. All require a revised notion of mereological fusion. The candidates differ over how they conceive parthood to interact with existence in time, which connects to the distinction (...) between endurance and perdurance. Similar issues arise for the integration of mereology with modality, and much of our discussion applies to this project as well. (shrink)

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.

The body is made up of parts. This basic assumption is central in most neuroscientific studies of bodily sensation, body representation and motor action. Yet, the assumption has rarely been considered explicitly. We may indeed ask how the body is internally segmented and how body parts can be defined. That is, how can we sketch the mereology of the body? Here we distinguish between a somatosensory mereology and a motor mereology.

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)

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

Do mereological fusions have their parts necessarily? None of the axioms of non-modal formulations of classical mereology appear to speak directly to this question. And yet a great many philosophers who take the part-whole relation to be governed by classical mereology seem to assume that they do. In addition to this, many philosophers who make allowance for the part-whole relation to obtain merely contingently between a part and a mereological fusion tend to depart from non-modal formulations of classical (...) mereology at least when it comes to the axiom of Unique Fusion, which states that no two different mereological fusions ever fuse exactly the same objects. This is no coincidence. There are reasons of principle why one’s adherence to classical mereology should exert some pull towards the view that mereological fusions have their parts necessarily. There is, however, no direct route from the combination of classical mereology and propositional modal logic to the hypothesis that the part-whole relation obtains necessarily between a part and a mereological fusion. In order to bridge between a modal formulation of classical mereology and the hypothesis that fusions have their parts necessarily, one needs to strengthen the axiom of Unrestricted Fusion in a way that is agreeable to many philosophers on both sides of the debate. (shrink)

Lewis sender‐receiver games illustrate how a meaningful term language might evolve from initially meaningless random signals (Lewis 1969; Skyrms 2006). Here we consider how a meaningful language with a primitive grammar might evolve in a somewhat more subtle sort of game. The evolution of such a language involves the co‐evolution of partitions of the physical world into what may seem, at least from the perspective of someone using the language, to correspond to canonical natural kinds. While the evolved language may (...) allow for the sort of precise representation that is required for successful coordinated action and prediction, the apparent natural kinds reflected in its structure may be purely conventional. This has both positive and negative implications for the limits of naturalized metaphysics. (shrink)

This is a re-look at the (Indian) Partition event through the lens of Advaita Vedanta.

Mereological Nominalism, as traditionally understood, states that properties are mereological wholes and that instantiation is mereological. Thus defined, this view faces a number of well-known issues, which make it virtually untenable. Recently, Effingham :160–185, 2020) has offered an alternative account of Mereological Nominalism, which intends to avoid these problems by accepting while rejecting. In this paper, we argue that this theory is not viable for two main reasons. First, it faces a threat of circularity. Second, the (...) various non-mereological accounts of instantiation envisioned by Effingham in order to replace seem inconsistent with. (shrink)

This article motivates and develops a reductive account of the structure of certain physical quantities in terms of their mereology. That is, I argue that quantitative relations like "longer than" or "3.6-times the volume of" can be analyzed in terms of necessary constraints those quantities put on the mereological structure of their instances. The resulting account, I argue, is able to capture the intuition that these quantitative relations are intrinsic to the physical systems they’re called upon to describe and (...) explain. (shrink)

Mereological nihilism is the view that there are no composite objects; everything in existence is mereologically simple. The view is subject to a number of difficulties, one of which concerns what I call the problem of emergence. Very briefly, the problem is that nihilism seems to be incompatible with emergent properties; it seems to rule out their very possibility. This is a problem because there are good independent reasons to believe that emergent properties are possible. This paper provides a (...) solution to the problem. I will show that nihilism and emergence are perfectly compatible, providing one accepts a novel understanding of how objects can instantiate properties: what I call irreducibly collective instantiation. (shrink)

According to Lewis, mereology is the general and exhaustive theory of ontological composition, and every contingent feature of the world supervenes upon some fundamental properties instantiated by minimal entities. A profound analogy can be drawn between these two basic contentions of his metaphysics, namely that both can be intended as a denial of emergentism. In this essay, we study the relationships between Humean supervenience and two philosophical spin-offs of mereological monism: the possibility of gunk and the thesis of composition (...) as identity. In a gunky scenario, there are no atoms and, thus, some criteria alternative to mereological atomicity must be introduced in order to identify the bearers of fundamental properties; this introduction creates a precedent, which renders the restriction of the additional criteria to gunky scenarios arbitrary. On the other hand, composition as identity either extends the principle of indiscernibility of identicals to composition or is forced to replace indiscernibility with a surrogate; both alternatives lead to the postulation of a symmetric kind of supervenience which, in contrast to Humean supervenience, does not countenance a privileged level. Both gunk and composition as identity, thus, display a tension with Humean supervenience. (shrink)

We study the question of how to decompose Hilbert space into a preferred tensor-product factorization without any pre-existing structure other than a Hamiltonian operator, in particular the case of a bipartite decomposition into "system" and "environment." Such a decomposition can be defined by looking for subsystems that exhibit quasi-classical behavior. The correct decomposition is one in which pointer states of the system are relatively robust against environmental monitoring (their entanglement with the environment does not continually and dramatically increase) and remain (...) localized around approximately-classical trajectories. We present an in-principle algorithm for finding such a decomposition by minimizing a combination of entanglement growth and internal spreading of the system. Both of these properties are related to locality in different ways. This formalism could be relevant to the emergence of spacetime from quantum entanglement. (shrink)

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

There are some who defend a view of vagueness according to which there are intrinsically vague objects or attributes in reality. Here, in contrast, we defend a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being (...) its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this theory provides a general framework within which we can understand the relation between vague terms and concepts on the one hand and correlated portions of reality on the other. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. (shrink)

This chapter takes a close look at the thought that mereological relations on material objects mirror, and are mirrored by, parallel mereological relations on their exact locations. This hypothesis is made more precise by means of a battery of principles from which more substantive consequences are derived. Mereological harmony turns out to entail, for example, that atomistic space is an inhospitable environment for material gunk or that Whiteheadian space is not a hospitable environment for unextended material atoms.

In this paper I develop a version of universalism that is non-mereological. Broadly speaking, non-mereological universalism is the thesis that for any arbitrary set of objects and times, there is a persisting object which, at each of those times, will be constituted by those of the objects that exist at that time. I consider two general versions of non-mereological universalism, one which takes basic simples to be enduring objects, and the other which takes simples to be instantaneous (...) objects. This yields three versions of endurantism, of which I ultimately defend the version I call universalist endurantism. Universalist endurantism is the thesis that for any arbitrary set S of instantaneous simples that exist at the same instant, there exists a fusion of the members of S, and for any arbitrary set S* of instantaneous fusions each of which exist at a different instant, there exists an enduring object O that is constituted by those fusions at those instants. Universalist endurantism is ‘non-mereological’ in that the relation that holds between instantaneous fusions and persisting objects is not the part/whole relation, but rather, is the relation of constitution, thus allowing that the persisting objects are three rather than four dimensional. I argue that universalist endurantism not only has the various benefits of mereological universalism in allowing vagueness to be explicated as semantic indeterminacy, but in addition allows the endurantist to hold that some properties are genuinely intrinsic and are exemplified simpliciter. (shrink)

Part One of this paper is a case against classical mereology and for Heyting mereology. This case proceeds by first undermining the appeal of classical mereology and then showing how it fails to cohere with our intuitions about a measure of quantity. Part Two shows how Heyting mereology provides an account of sets and classes without resort to any nonmereological primitive.

The goal of this paper is to raise a few questions about Bayne s mereological account of the unity of consciousness. In Section 1, I raise a few clarificatory questions about the account and the thesis that consciousness is necessarily unified. In Sections 2 and 3, I offer an alternative view of unity of consciousness and contrast it with Bayne's view. I call this view the connectivity account. These sections prepare the ground for the main question of this article: (...) why should we prefer Bayne's mereological view to the connectivity view? (shrink)

My interest in this chapter is to investigate this crossroad as applied to mental properties, considered powers. In particular, I scrutinize the possibility of taking the phenomenal property of feeling pain as a complex power or disposition. This possibility comes in handy in discussing panpsychism, the view that the ultimate elements of reality are phenomenal properties, which would ground physical properties as well.