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)

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

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)

_Libertarian restrictivists hold that agents are rarely directly free. However, they seek to reconcile their views_ _with common intuitions by arguing that moral responsibility, or indirect freedom (depending on the version of_ _restrictivism) is much more common than direct freedom. I argue that restrictivists must give up either the_ _claim that agents are rarely free, or the claim that indirect freedom or responsibility is much more common_ _than direct freedom. Focusing on Kane’s version of restrictivism, I show that the (...) view holds people responsible_ _for actions when (merely) compatibilist conditions are met. Since this is unacceptable by libertarian lights,_ _they must either accept that compatibilist conditions on moral responsibility are sufficient, or make their_ _restrictivism more extreme than it already is._. (shrink)

Many mereological propositions are true contingently, so we are entitled to ask why they are true. One frequently given type of answer to such questions evokes truth-makers, that is, entities in virtue of whose existence the propositions in question are true. However, even without endorsing the extreme view that all contingent propositions have truth-makers, it turns out to be puzzlingly hard to provide intuitively convincing candidate truth-makers for even a core class of basic mereological propositions. Part of the (...) problem is that the relation of part to whole is ontologically intimate in a way reminiscent of identity. Such intimacy bespeaks a formal or internal relation, which typically requires no truth-makers beyond its terms. But truth-makers are held to necessitate their truths, so whence the contingency when A is part of B but need not be, or B need not have A as part? This paper addresses and attempts to disentangle the conundrum. (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)

Can we quantify over everything: absolutely, positively, definitely, totally, every thing? Some philosophers have claimed that we must be able to do so, since the doctrine that we cannot is self-stultifying. But this treats restrictivism as a positive doctrine. Restrictivism is much better viewed as a kind of militant quietism, which I call dadaism. Dadaists advance a hostile challenge, with the aim of silencing everyone who holds a positive position about ‘absolute generality’.

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)

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.

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.

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)

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)

A team of leading philosophers presents original work on theories of parthood and location. Topics covered include how we ought to axiomatise our mereology; whether we can reduce mereological relations to identity or to locative relations; whether Mereological Essentialism is true; and what mereology and propositions can tell us about one another.

Damiano Costa has recently offered a novel mereological definition of endurantism based on the idea that for an object to be wholly present at a time is for it to be a whole at that time. In this paper, I argue that Costa’s is not a definition of endurantism, since the idea that every object is a whole at every time it exists can be accepted by endurantists and perdurantists alike.

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)

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)

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)

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.

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)

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)

It is well-known that the entangled quantum state of a composite object cannot be reduced to the states of its parts. This quantum holism provides a peculiar challenge to formulate an appropriate mereological model: When a system is in an entangled state, which objects are there on the micro and macro level, and which of the objects carries which properties? This paper chooses a modeling approach to answer these questions: It proceeds from a systematic overview of consistent mereological (...) models for entangled systems and discusses which of them is compatible with the quantum mechanical evidence (where quantum states are understood realistically). It reveals that entangled quantum systems neither describe undivided wholes nor objects that stand in irreducible relations. The appropriate model assumes that the entangled property is an irreducible non-relational plural property carried collectively by the micro objects, while there is no macro object. In this sense, quantum holism is an instance of property holism, not of object holism. (shrink)

0. Introduction: Mereology, Metaphysics, and Speculative Grammar 0.1 Mereology, Ancient and Contemporary 0.11 Mereology is, strictly speaking, the theory of ...

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

This note examines the mereological component of Geoffrey Hellman's most recent version of modal structuralism. There are plausible forms of agnosticism that benefit only a little from Hellman's mereological turn.

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)

The debate about the ontological innocence of mereology has generally been framed as a debate about the plausibility of Universal Fusion. Ontologically loaded fusions must be more than the sum of their parts, and this seems to violate parsimony if fusion is universal. Less attention has been paid to the question of what sort of emergence mereological fusions must exhibit if they are irreducible to their parts. The philosophy of science literature provides several models of such strong emergence. Examining (...) those models suggests that the difficulty with emergent fusions has at least as much to do with extensionality as it does with Universal Fusion. Some accounts of emergence fail to ensure irreducibility when combined with extensional mereologies. The most promising model for the strong emergence of ontologically loaded fusions fails to validate Anti-Symmetry, which naturally leads to failures of extensionality. These results suggest that the focus on Universal Fusion may have been misplaced. (shrink)

Mereological essentialists argue that mereological summations cannot change their parts. Mereological inessentialists argue that mereological summations can change some or all of their parts. In this paper I articulate and defend a position called Moderate Mereological Inessentialism, according to which certain mereological summations can change some, but not all, of their parts. Persistent mereological summations occur when the functional parts of mereological summations persist through alterations to its spatial parts.

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)

What kind of entity is a committee, a book group or a band? I argue that committees and other such social groups are concrete, composite particulars, having ordinary human beings amongst their parts. So the committee members are literally parts of the committee. This mereological view of social groups was popular several decades ago, but fell out of favour following influential objections from David-Hillel Ruben. But recent years have seen a tidal wave of work in metaphysics, including the metaphysics (...) of parts and wholes. We now have the resources to rehabilitate the mereological view of social groups. I show how this can be done, and why we should bother. (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)

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.

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.

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)

Mental representations—like many other things—seem to have parts. However, it isn’t clear how to properly understand the idea of a part of a representation. In this paper I shed new light on how representations can have a mereology. In particular, it has been recognized that there is a mereological element to Kant’s distinction between two kinds of representations: intuitions and concepts. A concept depends upon its parts, whereas an intuition is prior to its parts. The paper thus focuses on (...) an exploration of how to make sense of the parts and wholes of intuitions and concepts. (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.

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)

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 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.

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)

Emily Carroll and Parker Crutchfield propose a new inconsistency argument against abortion restrictivism. In response, I raised several objections to their argument. Recently Carroll and Crutchfield have replied and seem to be under the impression that I’m a restrictivist. This is puzzling, since my criticism of their view included a very thinly veiled, but purposely more charitable, anti-restrictivist inconsistency argument. In this response, I explain how Carroll and Crutchfield mischaracterize my position and that of the restrictivist.

The primary argument against mereological singularism—the view that definite plural noun phrases like ‘the students’ refer to “set-like entities”—is that it is ultimately incoherent. The most forceful form of this charge is due to Barry Schein, who argues that singularists must accept a certain comprehension principle which entails the existence of things having the contradictory property of being both atomic and non-atomic. The purpose of this paper is to defuse Schein’s argument, by noting three necessary and independently motivated restrictions (...) on the metalinguistic predicates ‘atom’ and ‘non-atom’: both are sort, property, and context-relative. With these restrictions in place, Schein’s problematic assumption becomes evident: his presumed singularist analysis of ‘non-atom’ conflates the metalanguage with the meta-metalanguage, i.e. the language used to talk about the metalanguage. (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)

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)

Realities are structured categorially, and comprehension of our internal and external conditions do not appear to be global or unitary. Rather, both human and non human animals function within their worlds and understand these by categorizing their experiences. Drawing upon many areas of life, the authors consider the ontological, mereological and multi-faceted structure of experience to explore how an understanding of categories can further knowledge.

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)

The blurb on the back cover claims that in this book, it is possible to find all the tools needed to ‘theorize about all things mereological’. The book fulfills.