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)

We present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition prin-ciples—are neatly separated. The equivalence of our axiom system with other, more familiar systems is established by purely deductive methods, along with additional results on the relative strengths of the composition and decomposition axioms of each theory.

In his Ted Sider takes care to define the notion of a temporal part and his doctrine of perdurantism using only the temporally indexed notion of parthood – ‘ x is part of y at t’ – rather than the atemporal notion of classical mereology – ‘ x is a part of y’ – in order to forestall accusations of unintelligibility from his opponents. However, as he notes, endurantists do not necessarily reject the classical mereological notion as (...) unintelligible. They allow that it makes sense and applies to atemporal subject matters and to temporal subject matters when the entities under discussion are not continuants. Thus, they allow that it makes sense to say that metaphysics is a part of philosophy, or that football is a game of two halves. What endurantists deny is only that the classical mereological notion is applicable to continuants: continuants , they say, have no proper parts simpliciter , either because it is false to say that they have or because it is unintelligible.Thus perdurantists do not have to embrace Sider's excessive caution in defining their position. 1 They can safely allow themselves classical mereological notions as long as it is a consequence of their definitions that continuants are perdurers/have temporal proper parts only if they have atemporal proper parts. 2In his Josh Parsons illuminatingly takes on the task he describes as ‘get[tting] the allegedly technical concepts of temporal part, perdurance and so on by ratcheting up from mereological relations, subregion relations among times and the concept of exact temporal location ’. He continues, ‘My definitions provide a good answer to those endurantists who claim …. (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)

Paul Hovda’s excellent paper ‘What Is Classical Mereology?' has fruitfully reshaped the debate concerning the axiomatic foundations of classical mereology. Precisely because of the importance of Hovda’s work and its usefulness as a reference tool, we note here that one of the five axiom systems presented therein, corresponding the ‘Third Way’ to classical mereology, is defective and must be amended. In addition, we note that two other axiom systems, corresponding to the ‘First Way’ and (...) to the ‘Fifth Way’, involve redundancies. (shrink)

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

This paper develops co-ordinated multiple-domain supervenience relations to model determination and dependence relations between complex entities and their constituents by appealing to R-related pairs and by making use of associated isomorphisms. Supervenience relations are devised for order-sensitive and repetition-sensitive mereologies, for mereological systems that make room for many-many composition relations, as well as for hierarchical mereologies that incorporate compositional and hylomorphic structure. Finally, mappings are provided for theories that consider wholes to be prior to their parts.

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)

Weatherson argues that whoever accepts classical logic, standard mereology and the difference between vague objects and any others, should conclude that there are no vague objects. Barnes and Williams claim that a supporter of vague objects who accepts classical logic and standard mereology should recognize that the existence of vague objects implies indeterminate identity. Even though it is not clearly stated, they all seem to be committed to the assumption that reality is ultimately constituted by mereological (...) atoms. This assumption is not granted by standard mereology which instead remains silent on whether reality is atomic or gunky; therefore, I contend that whoever maintains classical logic, standard mereology and the difference between vague objects and any others, is not forced to conclude with Weatherson that there are no vague objects; nor is she compelled to revise her point of view according to Barnes and Williams’s proposal and to accept that the existence of vague objects implies indeterminate identity. (shrink)

This paper examines whether classical extensional mereology is adequate for formalizing the whole–parts relation in quantum chemical systems. Although other philosophers have argued that classical extensional and summative mereology does not adequately formalize whole–parts relation within organic wholes and social wholes, such critiques often assume that summative mereology is appropriate for formalizing the whole–parts relation in inorganic wholes such as atoms and molecules. However, my discussion of atoms and molecules as they are conceptualized in quantum (...) chemistry will establish that standard mereology cannot adequately fulfill this task, since the properties and behavior of such wholes are context-dependent and cannot simply be reduced to the summative properties of their parts. To the extent that philosophers of chemistry have called for the development of an alternative mereology for quantum chemical systems, this paper ends by proposing behavioral mereology as a promising step in that direction. According to behavioral mereology, considerations of what constitutes a part of a whole is dependent upon the observable behavior displayed by these entities. Thus, relationality and context-dependence are stipulated from the outset and this makes behavioral mereology particularly well-suited as a mereology of quantum chemical wholes. The question of which mereology is appropriate for formalizing the whole–parts relation in quantum chemical systems is relevant to contemporary philosophy of chemistry, since this issue is related to the more general questions of the reducibility of chemical wholes to their parts and of the reducibility of chemistry to physics, which have been of central importance within the philosophy of chemistry for several decades. More generally, this paper puts contemporary discussions of mereology within the philosophy of chemistry into a broader historical and philosophical context. In doing so, this paper also bridges the gap between formal mereology, conceived as a branch of formal ontology, and “applied” mereology, conceived as a branch of philosophy of science. (shrink)

How best to think about quantum systems under permutation invariance is a question that has received a great deal of attention in the literature. But very little attention has been paid to taking seriously the proposal that permutation invariance reflects a representational redundancy in the formalism. Under such a proposal, it is far from obvious how a constituent quantum system is represented. Consequently, it is also far from obvious how quantum systems compose to form assemblies, i.e. what is the formal (...) structure of their relations of parthood, overlap and fusion. In this paper, I explore one proposal for the case of fermions and their assemblies. According to this proposal, fermionic assemblies which are not entangled—in some heterodox, but natural sense of ‘entangled’—provide a prima facie counterexample to classical mereology. This result is puzzling; but, I argue, no more intolerable than any other available interpretative option. (shrink)

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)

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)

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)

According to commonsense, some collections of objects compose wholes, and others do not. However, philosophers have found serious difficulties with attempts to preserve this thesis, and especially with attempts to preserve the existence of just those composite objects recognized by commonsense. In this paper, I defend a classical solution to this problem: "it is the mind that maketh each thing to be one" (Berkeley, Siris, sect. 356). According to this view, which I call 'mereological idealism,' it is when a (...) plurality is united in thought under a concept that a unified whole comes to exist. After explaining the view in more detail, I show how it escapes three standard arguments against commonsense views of composition. (shrink)

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)

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 propose a new theory of mereology based on a mereological reflection principle. Reflective mereology has natural fusion principles but also refutes certain principles of classical mereology such as Universal Fusion and Fusion Uniqueness. Moreover, reflective mereology avoids Uzquiano’s cardinality problem–the problem that classical mereology tends to clash with set theory when they both quantify over everything. In particular, assuming large cardinals, I construct a model of reflective mereology and second-order ZFCU with (...) Limitation of Size. In the model, classical mereology holds when the quantifiers are restricted to the urelements. (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.

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.

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)

In his book, 'History as a Science and the System of the Sciences', Thomas Seebohm articulates the view that history can serve to mediate between the sciences of explanation and the sciences of interpretation, that is, between the natural sciences and the human sciences. Among other things, Seebohm analyzes history from a phenomenological perspective to reveal the material foundations of the historical human sciences in the lifeworld. As a preliminary to his analyses, Seebohm examines the formal and material presuppositions of (...) phenomenological epistemology, as well as the emergence of the human sciences and the traditional distinctions and divisions that are made between the natural and the human sciences. -/- As part of this examination, Seebohm devotes a section to discussing Husserl’s formal mereology because he understands that a reflective analysis of the foundations of the historical sciences requires a reflective analysis of the objects of the historical sciences, that is, of concrete organic wholes (i.e., social groups) and of their parts. Seebohm concludes that Husserl’s mereological ontology needs to be altered with regard to the historical sciences because the relations between organic wholes and their parts are not summative relations. Seebohm’s conclusion is relevant for the issue of the reducibility of organic wholes such as social groups to their parts and for the issue of the reducibility of the historical sciences to the lower-order sciences, that is, to the sciences concerned with lower-order ontologies. -/- In this paper, I propose to extend Seebohm’s conclusion to the ontology of chemical wholes as object of quantum chemistry and to argue that Husserl’s formal mereology is descriptively inadequate for this regional ontology as well. This may seem surprising at first, since the objects studied by quantum chemists are not organic wholes. However, my discussion of atoms and molecules as they are understood in quantum chemistry will show that Husserl’s classical summative and extensional mereology does not accurately capture the relations between chemical wholes and their parts. This conclusion is relevant for the question of the reducibility of chemical wholes to their parts and of the reducibility of chemistry to physics, issues that have been of central importance within the philosophy of chemistry for the past several decades. (shrink)

Mereology is the logic of part—whole concepts as they are used in many different contexts. The old chemical metaphysics of atoms and molecules seems to fit classical mereology very well. However, when functional attributes are added to part specifications and quantum mechanical considerations are also added, the rules of classical mereology are breached in chemical discourses. A set theoretical alternative mereology is also found wanting. Molecular orbital theory requires a metaphysics of affordances that also (...) stands outside classical mereology. (shrink)

This volume is the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science. It gathers contributions from leading scholars in the field and covers a wide range of scientific theories and practices such as physics, mathematics, chemistry, biology, computer science and engineering. Throughout the volume, a variety of foundational issues are investigated both from the formal and the empirical point of view. The first section looks at the topic as it (...) applies to physics. The section addresses questions of persistence and composition within quantum and relativistic physics and concludes by scrutinizing the possibility to capture continuity of motion as described by our best physical theories within gunky space times. The second part tackles mathematics and shows how to provide a foundation for point-free geometry of space switching to fuzzy-logic. The relation between mereological sums and set-theoretic suprema is investigated and issues about different mereological perspectives such as classical and natural Mereology are thoroughly discussed. The third section in the volume looks at natural science. Several questions from biology, medicine and chemistry are investigated. From the perspective of biology, there is an attempt to provide axioms for inferring statements about part hood between two biological entities from statements about their spatial relation. From the perspective of chemistry, it is argued that classical mereological frameworks are not adequate to capture the practices of chemistry in that they consider neither temporal nor modal parameters. The final part introduces computer science and engineering. A new formal mereological framework in which an indeterminate relation of part hood is taken as a primitive notion is constructed and then applied to a wide variety of disciplines from robotics to knowledge engineering. A formal framework for discrete mereotopology and its applications is developed and finally, the importance of mereology for the relatively new science of domain engineering is also discussed. (shrink)

In this paper I offer an argument against one important version of panentheism, that is, mereological panentheism. Although panentheism has proven difficult to define, I provide a working definition of the view, and proceed to argue that given this way of thinking about the doctrine, mereological accounts of panentheism have serious theological drawbacks. I then explore some of these theological drawbacks. In a concluding section I give some reasons for thinking that the classical theistic alternative to panentheism is preferable, (...) all things considered. (shrink)

Most ordinary objects - cats, humans, mountains, ships, tables, etc. - have indeterminate mereological boundaries. If the theory of mereology is meant to include ordinary objects at all, we need it to have some space for mereological indeterminacy. In this paper, we present a novel degree-theoretic semantics - Boolean semantics - and argue that it is the best degree-theoretic semantics for modeling mereological indeterminacy, for three main reasons: (a) it allows for incomparable degrees of parthood, (b) it enforces (...) class='Hi'>classical logic, and (c) it is compatible with all the axioms of classical mereology. Using Boolean semantics, we will also investigate the connection between vagueness in parthood and vagueness in existence/identity. We show that, contrary to what many have argued, the connection takes neither the form of entailment nor the form of exclusion. (shrink)

This paper is a systematic exploration of non-wellfounded mereology. Motivations and applications suggested in the literature are considered. Some are exotic like Borges’ Aleph, and the Trinity; other examples are less so, like time traveling bricks, and even Geach’s Tibbles the Cat. The authors point out that the transitivity of non-wellfounded parthood is inconsistent with extensionality. A non-wellfounded mereology is developed with careful consideration paid to rival notions of supplementation and fusion. Two equivalent axiomatizations are given, and are (...) compared to classical mereology. We provide a class of models with respect to which the non-wellfounded mereology is sound and complete. (shrink)

David Lewis insists that restrictivist composition must be motivated by and occur due to some intuitive desiderata for a relation R among parts that compose wholes, and insists that a restrictivist’s relation R must be vague. Peter van Inwagen agrees. In this paper, I argue that restrictivists need not use such examples of relation R as a criterion for composition, and any restrictivist should reject a number of related mereological theses. This paper critiques Lewis and van Inwagen (and others) on (...) their respective mereological metaphysics, and offers a Golden Mean between their two opposite extremes. I argue for a novel account of mereology I call Modal Mereology that is an alternative to Classical Mereology. A modal mereologist can be a universalist about the possible composition of wholes from parts and a restrictivist about the actual composition of wholes from parts. I argue that puzzles facing Modal Mereology (e.g., puzzles concerning Cambridge changes and the Problem of the Many, and how to demarcate the actual from the possible) are also faced in similar forms by classical universalists. On my account, restricted composition is rather motivated by and occurs due to a possible whole’s instantiating an actual type. Universalists commonly believe in such types and defend their existence from objections and puzzles. The Modal Mereological restrictivist can similarly defend the existence of such types (adding that such types are the only wholes) from similar objections and puzzles. (shrink)

Given Quine's views on philosophical methodology, he should not have taken the axioms of classical mereology to be "self-evident", or "analytic"; but rather, he should have set out to justify them by what might be broadly called an "inference to the best explanation". He does very little to this end. In particular, he does little to examine alternative theories, to see if there might be anything they could explain better than classical mereology can. I argue that (...) there is something important that needs to be explained, namely, the way that properties "travel around in clusters" (eg. we often know that "when and where there is something with such-and-such property, there is also something with so-and-so other property", and so on). I argue that these clusterings of properties can be given various subtle (broadly "commonsense") explanations using a version of mereology that denies the classical axiom of "extensionality" (that is, denying that two distinct things must have distinct parts). I offer a challenge to the Quinean metaphysics: to show that these "non-extensional" explanations can be replaced by better explanations that use only classical, extensional mereology and set theory. (shrink)

This paper began life as a short section of a more general paper about non-classical mereologies. In that paper I had a mereological theory that I wanted to show could be applied to all sorts of different metaphysical positions — notably, to those positions that believe in mereological vagueness in re — in “vague individuals”. To do that I felt I first had to dispatch the leading rival theory of vague individuals, which is due to Peter van Inwa-gen, and (...) holds that the part-whole relation admits of degrees. It seemed to me that this theory had a serious technical problem, or at best a serious gap. I sat down to write a paragraph or two highlighting the gap, preferably showing that it couldn’t be filled. This paper is the result. (shrink)

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)

Some tools introduced by Linnebo to show that mathematical entities are thin objects can also be applied to non-mathematical entities, which have been thought to be thin as well for a variety of reasons. In this paper, I discuss some difficulties and opportunities concerning the application of abstraction and interpretational modalities to mereological sums. In particular, I show that on one hand some prima facie attractive candidates for the role of an explanatory plural abstraction principle for mereological sums (in terms (...) of pluralities of summed entities) are not really explanatory; on the other hand, singular abstraction principles (in terms of single summed entities) are materially inadequate. Nonetheless, explanatory criteria of identity and conditions of existence for mereological sums are provided by classical extensional mereology independent of abstraction principles. Thus, given classical extensional mereology, the reasons why, according to Linnebo, mathematical abstracted entities are thin also hold for mereological sums. Finally, I contend that interpretational modalities can be used to characterise the process by which a subject adds sums of previously admitted entities to the domain of quantification. (shrink)

In this paper I present two new arguments against the possibility of an omniscient being. My new arguments invoke considerations of cardinality and resemble several arguments originally presented by Patrick Grim. Like Grim, I give reasons to believe that there must be more objects in the universe than there are beliefs. However, my arguments will rely on certain mereological claims, namely that Classical Extensional Mereology is necessarily true of the part-whole relation. My first argument is an instance of (...) a problem first noted by Gideon Rosen and requires an additional assumption about the mereological structure of certain beliefs. That assumption is that an omniscient being’s beliefs are mereological simples. However, this assumption is dropped when I present my second argument. Thus, I hope to show that if Classical Extensional Mereology is true of the part-whole relation, there cannot be an omniscient being. (shrink)

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

It is an axiom of late neoplatonic metaphysics that all things are in all, but in each in an appropriate manner (ὀικείως, ET 103). These manners or modes of being are indicated by adverbial forms such as παραδειματικῶς or εἰκονικῶς. Thus, for example, the Forms are in the World Soul in the mode of images, while the objects in the sensible realm below Soul are in it in the manner of paradigms (in Tim. II 150.27). Among the many modes of (...) being distinguished by Proclus we find existence ὁλικῶς and μερικῶς – in the manner of a whole and in the manner of a part. This paper investigates the nature and significance of these mereological modes of being. (shrink)

In Mathematics is megethology. Philosophia Mathematica, 1, 3–23) David K. Lewis proposes a structuralist reconstruction of classical set theory based on mereology. In order to formulate suitable hypotheses about the size of the universe of individuals without the help of set-theoretical notions, he uses the device of Boolos’ plural quantification for treating second order logic without commitment to set-theoretical entities. In this paper we show how, assuming the existence of a pairing function on atoms, as the unique assumption (...) non expressed in a mereological language, a mereological foundation of set theory is achievable within first order logic. Furthermore, we show how a mereological codification of ordered pairs is achievable with a very restricted use of the notion of plurality without plural quantification. (shrink)

Mereotopology is that branch of the theory of regions concerned with topological properties such as connectedness. It is usually developed by considering the parthood relation that characterizes the, perhaps non-classical, mereology of Space (or Spacetime, or a substance filling Space or Spacetime) and then considering an extra primitive relation. My preferred choice of mereotopological primitive is interior parthood . This choice will have the advantage that filters may be defined with respect to it, constructing “points”, as Peter Roeper (...) has done (“Region-based topology”, Journal of Philosophical Logic , 26 (1997), 25–309). This paper generalizes Roeper’s result, relying only on mereotopological axioms, not requiring an underlying classical mereology, and not assuming the Axiom of Choice. I call the resulting mathematical system an approximate lattice , because although meets and joins are not assumed they are approximated. Theorems are proven establishing the existence and uniqueness of representations of approximate lattices, in which their members, the regions, are represented by sets of “points” in a topological “space”. (shrink)

The signature of the formal language of mereology contains only one binary predicate P which stands for the relation “being a part of”. Traditionally, P must be a partial ordering, that is, ${\forall{x}Pxx, \forall{x}\forall{y}((Pxy\land Pyx)\to x=y)}$ and ${\forall{x}\forall{y}\forall{z}((Pxy\land Pyz)\to Pxz))}$ are three basic mereological axioms. The best-known mereological theory is “general extensional mereology”, which is axiomatized by the three basic axioms plus the following axiom and axiom schema: (Strong Supplementation) ${\forall{x}\forall{y}(\neg Pyx\to \exists z(Pzy\land \neg Ozx))}$ , where Oxy (...) means ${\exists z(Pzx\land Pzy)}$ , and (Fusion) ${\exists x\alpha \to \exists z\forall y(Oyz\leftrightarrow \exists x(\alpha \land Oyx))}$ , for any formula α where z and y do not occur free. In this paper, I will show that general extensional mereology is decidable, and will also point out that the decidability of the first-order approximation of the theory of complete Boolean algebras can be shown in the same way. (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)

Classical systems of mereology identify a maximuml set of jointly exhaustive and pairwise disjoint (RCC5) relations. The amount of information that is carried by each member of this set of (crisp) relations is determined by the number of bits of information that are required to distinguish all the members of the set. It is postulated in this paper, that vague mereological relations are limited in the amount of information they can carry. That is, if a crisp mereological relation (...) can carry N bits of information, then a vague mereological relation can carry only 1 ⩽ n < N bits. The aim of this paper is it to explore these ideas in the context of various systems of vague mereological relations. The resulting formalism is non-classical in the sense of quantum information theory. (shrink)

My approach to the exposition of Brentano's mereology is to first introduce the basics of Classical Mereology and then point out the respects in which Brentano's mereology deviates from it. There are two such respects: first, Brentano rejects the axiom of supplementation; second, he distinguishes two primitive notions of parthood.

The objective of this article is twofold. First, it investigates mereology in medieval Islamic theology, particularly the theologians’ claim that the whole is identical to its parts and accordingly that at least some attributes common to the parts must by extension be attributed of the whole. This claim was refuted by philosophers and, from the eleventh century onwards, an increasing number of theologians. Second, it offers a new interpretation of the standard theological proof from accidents for creation ex nihilo, (...) to which this problem was central. A wide range of early, classical and later theological and philosophical sources are consulted. (shrink)

In this paper† we will treat mereology as a theory of some structures that are not axiomatizable in an elementary langauge and we will use a variable rangingover the power set of the universe of the structure). A mereological structure is an ordered pair M = hM,⊑i, where M is a non-empty set and ⊑is a binary relation in M, i.e., ⊑ is a subset of M × M. The relation ⊑ isa relation of being a mereological part . (...) We formulate an axiomatization of mereological structures, different from Tarski’s axiomatization aspresented in [10] . We prove that these axiomatizations are equivalent . Of course, these axiomatizations are definitionally equivalent to thevery first axiomatization of mereology from [5], where the relation of being aproper part ⊏ is a primitive one.Moreover, we will show that Simons’ “Classical Extensional Mereology”from [9] is essentially weaker than Leśniewski’s mereology. (shrink)

We present a sequent calculus for extensional mereology. It extends the classical first-order sequent calculus with identity by rules of inference corresponding to well-known mereological axioms. Structural rules, including cut, are admissible.

While there is a growing philosophical interest in analysing olfactory experiences, the mereological structure of odours considered in respect of how they are perceptually experienced has not yet been extensively investigated. The paper argues that odours are perceptually experienced as having a mereological structure, but this structure is significantly different from the spatial mereological structure of visually experienced objects. Most importantly, in the case of the olfactory part-structure, the classical weak supplementation principle is not satisfied. This thesis is justified (...) by referring to empirical results in olfactory science concerning the human ability to identify components in complex olfactory stimuli. Further, it is shown how differences between olfactory and visual mereologies may arise from the way in which these modalities represent space. (shrink)