We propose the mereological theory of odors, according to which odors are proper parts of concrete objects. We distinguish between object solid core and gaseous periphery; the odor is the periphery and plays a role in olfactory perception similar to the role played by surfaces in visual and tactile perception. Some epistemological and metaphysical consequences of the theory are explored, in particular the fact that objects are larger than they visually appear, and that smell turns out to be more (...) accurate than both vision and touch. In the context of dealing with infectious diseases transmitted by airborne particles, a reconceptualization of odors could be leveraged for inducing better mental representations and protective measures. (shrink)

Mereological theories are theories based on a binary predicate ‘being a part of’. It is believed that such a predicate must at least define a partial ordering. A mereological theory can be obtained by adding on top of the basic axioms of partial orderings some of the other axioms posited based on pertinent philosophical insights. Though mereological theories have aroused quite a few philosophers’ interest recently, not much has been said about their meta-logical properties. (...) In this paper, I will look into whether those theories are decidable or not. Besides, since theories of Boolean algebras are in some sense upper bounds of mereological theories which can be found in the literature, I shall also make some observations about the possibility of getting mereological theories beyond Boolean algebras. (shrink)

Quite a few results concerning the decidability of mereological theories have been given in my previous paper. But many mereological theories are still left unaccounted for. In this paper I will refine a general method for proving the undecidability of a theory and then by making use of it, I will show that most mereological theories that are strictly weaker than CEM are finitely inseparable and hence undecidable. The same results might be carried over (...) to some extensions of those weak theories by adding the fusion axiom schema. Most of the proofs to be presented in this paper take finite lattices as the base models when applying the refined method. However, I shall also point out the limitation of this kind of reduction and make some observations and conjectures concerning the decidability of stronger mereological theories. (shrink)

This paper will consider some interesting mereological models and, by looking into them carefully, will clarify some important metalogical issues, such as definability, atomicity and decidability. More precisely, this paper will inquire into what kind of subsets can be defined in certain mereological models, what kind of axioms can guarantee that any member is composed of atoms and what kind of axioms are crucial, by regulating the models in a certain way, for an axiomatized mereological theory to (...) be decidable. (shrink)

The signature of the formal language of mereology contains only one binary predicate which stands for the relation “being a part of” and it has been strongly suggested that such a predicate must at least define a partial ordering. Mereological theories owe their origin to Leśniewski. However, some more recent authors, such as Simons as well as Casati and Varzi, have reformulated mereology in a way most logicians today are familiar with. It turns out that any theory which (...) can be formed by using the reformulated mereological axioms or axiom schemas is in a sense a subtheory of the elementary theory of Boolean algebras or of the theory of infinite atomic Boolean algebras. It is known that the theory of partial orderings is undecidable while the elementary theory of Boolean algebras and the theory of infinite atomic Boolean algebras are decidable. In this paper, I will look into the behaviors in terms of decidability of those mereological theories located in between. More precisely, I will give a comprehensive picture of the said issue by offering solutions to the open problems which I have raised in some of my papers published previously. (shrink)

Mereological theories are based on the binary relation “being a part of”. The systematic investigations of mereology were initiated by Leśniewski. More recent authors (including Simons, Casati and Varzi, Hovda) formulated a series of first‐order mereological axioms. These axioms give rise to a plenitude of theories, which are of great philosophical interest. The paper considers first‐order mereological theories from the point of view of computable (or effective) algebra. Following the approach of Hirschfeldt, Khoussainov, Shore, (...) and Slinko, we isolate two important computability‐theoretic properties P (namely, degree spectra of structures, and effective dimensions), and consider the following problem: for a given mereological theory T, is it true that its models can realize every possible variant of the property P? If the answer is positive, then we say that the theory T is ‐universal. We obtain the following results about known mereological theories. Any theory T which is weaker than Extensional Closure Mereology (CEM) is ‐universal. A similar fact is true for the theory GM2. On the other hand, any theory stronger that CEM + (C) + (G) is not ‐universal. In particular, General Extensional Mereology is not ‐universal. (shrink)

Andrzej Pietruszczak has made a comment on my Claim 1 in hispaper entitled “Classical mereology is not elementarily axiomatizable”. His paper is a wonderful exposition of mereological structures and I think his comment is fair. However, the following are some remarks inspired by his comment.

Paul (Noûs 36:578–596, 2002; Noûs 40:623–659, 2006, The Handbook of Mereology, forthcoming) has argued for a bundle theory of objects that analyzes the bundling relation between properties and objects in terms of parthood relations. In this paper I argue that any mereological bundle theory with the explanatory power of Paul’s theory will entail the principle of the identity of indiscernibles (PII). This is problematic, since similar bundle theories seem to fall to Max Black’s two sphere counterexample to (PII). (...) I argue, however, that a fully developed mereological bundle theory provides a new way of interpreting Black’s two sphere universe that dispels the counterexample. I argue that this solution to Black’s puzzle is superior to other solutions on offer, and consequently that mereological bundle theory is an attractive ontological strategy for friends of (PII). (shrink)

Bundle theory takes objects to be bundles of properties. Some bundle theorists take objects to be bundles of instantiated universals, and some take objects to be bundles of tropes. Tropes are instances of properties: some take instantiated universals to be tropes, while others deny the existence of universals and take tropes to be ontologically fundamental. Historically, the bundling relation has been taken to be a primitive relation, not analyzable in terms of or ontologically reducible to some other relation, and has (...) been variously characterized as, e.g., “compresence,” “concurrence,” or “consubstantiation.” Bertrand Russell (1940) defends compresence of universals, and Hector-Neri Castañeda (1974) defends consubstantiation of universals. John Bacon (1995) defends concurrent tropes and Keith Campbell (1990) defends compresent tropes. Jonathan Schaffer (2001) bucks this trend, endorsing compresence understood as co-location in spacetime, but this brings with it undesireable consequences such as the impossibility of distinguishing between objects (such as electrons or other microentities) with the same location. Mereological bundle theory improves upon traditional bundle theory by taking the primitive relation of bundling to be the more familiar relation of fusing or composing, such that objects are fusions of properties or fusions of property instances. Hence, mereological bundle theorists endorse a property mereology: a mereology where properties or property instances can be parts of objects. An advantage of the approach derives from the fact that standard mereologies take composition to be primitive or define it using a different primitive mereological notion (such as primitive parthood). Thus, taking the basic primitive of bundle theory to be composition can reduce the need for.. (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.

My aim in this dissertation is to challenge Chad Hansen's mereological interpretation of ancient Chinese philosophy by providing my own interpretation based on theories of lei. Hansen's mereological interpretation is composed of two radical claims: One is to say that since ancient Chinese philosophy is dominated by nominalism, we do not have to introduce any abstract entities in interpreting ancient Chinese philosophy. The other is to say that Chinese nominalism is mereological. ;Against Hansen's first claim, I (...) argue that since nominalism does not always go along with the non-committment of abstract entities and ancient Chinese philosophy show the committment to abstract entities despite its nominalistic trend, we need to introduce abstract entities in our interpretation of ancient Chinese philosophy. Against Hansen's second claim, I argue that Chinese nominalism is based on theories of lei instead of mereology. Chinese lei-based nominalism is more like traditional forms of Western nominalism in that it is the scheme of individuals/similarities-among-individuals and that it emphasizes the conventional characteristics of determining similarity. Nevertheless, this dissertation prefers the Chinese term "lei" instead of the Western term "similarity" because the former better discloses Chinese contexts without unnecessary Western imposition. ;My lei-based interpretation is suggested with regard to three realms. These realms are linguistic features of Classical Chinese, theories of language in ancient China, and philosophical doctrines in ancient China. ;A close examination on linguistic features of Classical Chinese shows that these features simply disclose the conventional characteristics of Chinese characters, the pragmatics--priority conception of language, and individual/similarity semantical scheme, not the mereological scheme. In my discussion of theories of language in ancient China, I claim that besides Hansen's four Chinese assumptions about language , we also should emphasize the relativity of language, the articulatory nature of language, and the semantic role of lei as typical Chinese assumptions about language. All of these Chinese assumptions show why lei came to play a central role in Chinese theories of language. Lastly, I examine not only Hansen's favorite example which he uses to support his interpretation: Gongsun Long's white horse paradox, but also Mencian theory of human nature and Neo-Mohist theory of disputation, in order to show that lei was a theory of classification extensively discussed among ancient Chinese philosophers. (shrink)

David Lewis in the short monograph Parts of Classes (PC) undertakes a fundamental re‐examination of the relationship between mereology, the general theory of parts, and set theory, the general theory of collections. Given Lewis's theses, to be an element of a set or member of class is just to have a singleton that is a part thereof. Lewis in PC adds a claim of kind of ontological innocence, comparable to that of first‐order logic, for mereology. The only substantive assumption of (...) plethynticology is that for any condition there are some things such that they are precisely the things for which the conditions hold. All the alternatives, making do with a single domain of individuals, have in common that they involve the axiom of choice. Restated in Hazen's terminology rather than Frege's, the fallback assumption is that there are no more small species than individuals. (shrink)

Late Lowe’s metaphysics of material objects is an interesting multi-thingist theory that still attracts interest from various authors. The core idea is that ifxmaterially constitutesy, thexis a proper part ofy. I discuss some mereological issues that arise from the approach and propose a revision of the mereology associated. Particularly, I examine the tenability of a number of supplementation principles and conclude that just one may serve the theory adequately. Still, the endorsement of such a principle does not come for (...) free. Successively, I address the derivability of an important extensionality theorem and conclude that the theorem must be taken as an axiom in the mereology at stake. Lastly, I discuss two notable definitions of mereological fusions to assess which one best suits the present theory. The result is that authors sharing Lowe’s multi-thingist conception of material objects can still enjoy a moderately strong mereology. (shrink)

The use of the primitive notion of mereological fusion (also known as composition and sum) has been considered by various philosophers and logicians, including Aristotle, G. Leibniz, S. Leśniewski, K. Fine, J. Ketland, T. Schindler, and S. Kleishmid. The problem of finding an axiomatization of Classical Mereology with primitive fusion, instead of the primitive notion of being a part, is quite old and was formally considered by C. Lejewski. Lejewski somehow axiomatized classical mereology using primitive fusion (1962, and also (...) later in 1984). However, his mereology is formulated in a very rich nonclassical language of Leśniewski’s ontology with the essential use of quantification over function symbols, including function symbols “part of” and “sum of.” Lejewski’s approach is not expressible in modern mereologies, and we do not use it in any way. We prove that classical mereology is axiomatizable using primitive mereological fusion within the framework of two-sorted logic. The theory presented here is the first contemporary axiomatization of classical mereology with primitive mereological fusion. (shrink)

Category theory is often treated as an algebraic foundation for mathematics, and the widely known algebraization of ZF set theory in terms of this discipline is referenced as “categorical set theory” or “set theory for category theory”. The method of algebraization used in this theory has not been formulated in terms of universal algebra so far. In current paper, a _universal algebraic_ method, i.e. one formulated in terms of universal algebra, is presented and used for algebraization of a ground (...) class='Hi'>mereological system described as “quantitative” (QMS) and of the standard set theories built upon it. The QMS is algebraized by using abelian generalized groups (AGGs) generalizing both abelian groups and Boolean algebras. To algebraize set theory, the AGG are enriched with operators to produce _extensional algebras_ (EA) of Tarskian “Boolean algebras with operators” type. EAs explicate the intuition of set theory’ universes (of discourse). The axiomatic set theory presented in this paper, named _extension theory_, previously went through an intuitive phase of development during its use by the author in computer science projects, where it served as the basis for development of a foundational data science framework and an extensional model of natural languages also outlined here. (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)

I analyze the relations of constituency or ``being in'' that connect different ontological items in the Tractatus logico-philosophicus by Wittgenstein. A state of affairs is constituted by atoms, atoms are in a state of affairs. Atoms are also in an atomic fact. Moreover, the world is the totality of facts, thus it is in some sense made of facts. Many other kinds of Tractarian notions -- such as molecular facts, logical space, reality -- seem to be involved in constituency relations. (...) How should these relations be conceived? And how is it possible to formalize them in a convincing way? I draw a comparison between two ways of conceiving and formalizing these relations: through sets and through mereological sums. The comparison shows that the conceptual machinery of set theory is apter to conceive and formalize Tractarian constituency notions than the mereological one. (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 is the philosophical position that there are no items that have parts. If there are no items with parts then the only items that exist are partless fundamental particles, such as the true atoms (also called philosophical atoms) theorized to exist by some ancient philosophers, some contemporary physicists, and some contemporary philosophers. With several novel arguments I show that mereological nihilism is the correct theory of reality. I will also discuss strong similarities that mereological nihilism (...) has with empirical results in quantum physics. And I will discuss how mereological nihilism vindicates a few other theories, such as a very specific theory of philosophical atomism, which I will call quantum abstract atomism. I will show that mereological nihilism also is an interpretation of quantum mechanics that avoids the problems of other interpretations, such as the widely known, metaphysically generated, quantum paradoxes of quantum physics, which ironically are typically accepted as facts about reality. I will also show why it is very surprising that mereological nihilism is not a widely held theory, and not the premier theory in philosophy. (shrink)

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

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)

This articles explores the mereological foundation of truthmaker semantics. Building upon Kit Fine’s abstract theory of part in [16], we engage in an exploration of the mereological assumptions that determine the construction of truthmaker semantics. Our approach yields semantics for a diverse range of logics, including substructural logics such as the associative Lambek calculus, as well as the logics of analytic containment. Furthermore, we elucidate the philosophical implications that arise from this pioneering approach.

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)

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

This paper deals with the treatment of infinity and finiteness in mereology. After an overview of some first-order mereological theories, finiteness axioms are introduced along with a mereological definition of “x is finite” in terms of which the axioms themselves are derivable in each of those theories. The finiteness axioms also provide the background for definitions of “ T makes an assumption of infinity”. In addition, extensions of mereological theories by the axioms are investigated (...) for their own sake. In the final part, a definition of “x is finite” stated in a second-order language is also presented, followed by some concluding remarks on the motivation for the study of the extensions of mereological theories dealt with in the paper. (shrink)

The mereological predicate ‘is part of’ can be used to define the predicate ‘is identical with’. I argue that this entails that mereological theories can be ideologically simpler than nihilistic theories that do not use the notion of parthood—contrary to what has been argued by Ted Sider. Moreover, if one accepts an extensional mereology, there are good philosophical reasons apart from ideological simplicity to give a mereological definition of identity.

The discovery of the importance of mereology follows and does not precede the formalisation of the theory. In particular, it was only after the construction of an axiomatic theory of the part-whole relation by the Polish logician Stanisław Leśniewski that any attempt was made to reinterpret some periods in the history of philosophy in the light of the theory of parts and wholes. Secondly, the push for formalisation - and the individuation of mereology as a specific theoretical field - arise (...) from several particular theories, first from biology and then from psychology. Mereological considerations were explicitly developed within the school of Brentano, by Brentano himself- starting from the problem of the unity of consciousness - and by his students, particularly Stumpl, Twardowski and the Gestaltists. The most complete result of this tradition is undoubtedly the third of Husserl's Logical Investigations, called "the single most important contribution to realist (Aristotelian) ontology in the modern period". (shrink)

(Mereological) nihilism states that there are no composite objects—there are only sub-atomic particles such as quarks. Nihilism’s biggest rival, (mereological) universalism, posits vast numbers of composite objects in addition to the sub-atomic particles, and so nihilism appears to be the more ontologically parsimonious of the two theories. If this is the case, it’s a significant result for the nihilist: ontological parsimony is almost always thought to be a theoretical virtue, so a nihilist victory in the parsimony stakes (...) gives us a defeasible reason to be nihilists. But things aren’t so straightforward. Karen Bennett (2009) has argued that nihilism is no more quantitatively parsimonious than universalism. Furthermore, her argument can be redirected so that it threatens the nihilist’s perceived advantage over universalism in the qualitative parsimony stakes too. I here argue that these arguments are flawed and that nihilism is indeed more quantitatively and qualitatively parsimonious than universalism. (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)

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)

By the classical mereology I mean a theory of mereological structures in the sense of [10]. In [7] I proved that the class of these structures is not elementarily axiomatizable. In this paper a new version of this result is presented, which according to my knowledge is the first such presentation in English. A relation of this result to a certain Hsing-chien Tsai’s theorem from [13] is emphasized.

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)

In 2013, Bennett proposed a mereological theory in which the parthood relation is defined on the basis of two primitive relations: a is a part of b iff a fills a slot owned by b. However, this theory has issues counting how many parts an entity has. We explore the various counting problems and propose a new theory to solve them. Keeping the core idea of Bennett’s slots, this theory introduces mereological relations between slots. This theory enables us (...) to solve all known counting problems and to go beyond the limits of Bennett’s theory by theorising expected features of mereological theories: supplementation principles and mereological sum and fusion. The theory is illustrated on ontological issues on the nature of structural universals and informational entities. (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.

In classical extensional mereology, composition is idempotent: if x is part of y, then the sum of x and y is identical to y. In this paper, I provide a systematic and coherent formal mereology for which idempotence fails. I first discuss a number of purported counterexamples to idempotence that have been put forward in the literature. I then discuss two recent attempts at sketching non-idempotent formal mereology due to Karen Bennett and Kit Fine. I argue that these attempts are (...) incomplete, however, and there are many open issues left unresolved. I then construct a class of models of a non-idempotent mereology using multiset theory, consider their algebraic structure, and show how these models can shed light on the open issues left from the previous approaches. (shrink)

In this paper, we examine an overlooked answer to the Special Composition Question (SCQ), termed “Mereological Anti-Conservatism.” This view posits that extraordinary objects exist but that ordinary objects do not. For example, while tables and chairs do not exist, the mereological sums of these items do correspond to real objects. Although such a claim may initially seem absurd, we argue that (i) it is entirely derived from the claims and commitments of traditional rival theories—Nihilism, Universalism, and Conservatism; (...) (ii) it resolves several issues that plague Conservatism, such as problems of vagueness, change and persistence, and the shortcomings of common sense; and (iii) it offers a more plausible perspective than Conservatism when considering the vast scale of possible worlds with differently segmented realities. Ultimately, we contend that if Anti-Conservatism is deemed implausible, then Conservatism must be as well, for structurally similar reasons. (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)

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)

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)

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

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)

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

Haecceities are non-qualitative properties for individuation but the current theories about haecceities are still to be much more explored. This paper aims to develop a “haecceity mereology” – that is, an ontological system that understands substances as mereological combinations of haecceities and qualitative properties. In this way, the view developed is an alternative to Paul’s : 578–96; 2006. “Coincidence as Overlap.” Noûs 40 : 623–59) mereological approach. Three rules are proposed: If S is a substance, then there (...) is one and only one haecceity which is S’s qualitative part; For all the fusions with the same haecceity, at most only one of those fusions is a substance; When all the relevant elements are abundant, every element must overlap at least one substance. This is the first ontology of haecceities in the recent literature and would be a model for systematic metaphysics. (shrink)

Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the model (...) brings clarity to a debate in which opponents frequently talk past one another. With the two views stated precisely, our investigation reveals the dependence of the mereologists’ ontological commitments on the semantics of plural quantifiers. Though we discuss the debate with respect to a simplified and idealized model, the insights provided will make more complex debates on composition more productive and deflationist criticisms of the debate less substantial. (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)