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.

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)

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)

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

Mereological nihilism is the 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)

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)

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

Mereological nihilism is the 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)

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

This article’s purpose is to defend the depiction of ordinary-sized physical objects as mereological aggregates (MAs), to clarify what the ontology of an MA is, and to show why mereological essentialism (ME) applies to MAs that seem to be ubiquitous if we are to adopt what Frank Jackson calls “Serious Metaphysics” and refuse to broaden our ontology beyond what is (allegedly) bequeathed to us by physics and chemistry. To accomplish this goal, first, I clarify certain background issues that inform what (...) follows and I identify certain constraints that relate to the contemporary ambivalence towards ME. Second, I present a primer on Husserlian mereology that provides a superior account of parts and wholes than the inadequate approach identified in the previous section. Third, I will offer a defense of ME as the correct approach to providing an ontological account of MAs. Finally, I will evaluate two defeaters against my thesis. (shrink)

According to the Weak Supplementation Principle (WSP)—a widely received principle of mereology—an object with a proper part, p , has another distinct proper part that doesn't overlap p . In a recent article in this journal, Nikk Effingham and Jon Robson employ WSP in an objection to endurantism. I defend endurantism in a way that bears on mereology in general. First, I argue that denying WSP can be motivated apart from the truth of endurantism. I then go on (...) to offer an explanation of WSP's initial appeal, argue that denying WSP fails to have untoward consequences for the rest of mereology, and show that the falsity of WSP is consistent with a primary guiding thought behind it. (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)

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

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

How does Aristotle think about sentences like ‘Every x is y’ in the Prior Analytics? A recently popular answer conceives of these sentences as expressing a mereological relationship between x and y: the sentence is true just in case x is, in some sense, a part of y. I argue that the motivations for this interpretation have so far not been compelling. I provide a new justification for the mereological interpretation. First, I prove a very general algebraic soundness and completeness (...) result that unifies the most important soundness and completeness results to date. Then I argue that this result vindicates the mereological interpretation. In contrast to previous interpretations, this argument shows how Aristotle’s conception of predication in mereological terms can do important logical work. (shrink)

When do several objects compose a further object? The last twenty years have seen a great deal of discussion of this question. According to the most popular view on the market, there is a physical object composed of your brain and Jeremy Bentham’s body. According to the second-most popular view on the market, there are no such objects as human brains or human bodies, and there are also no atoms, rocks, tables, or stars. And according to the third-ranked view, there (...) are human bodies, but still no brains, atoms, rocks, tables, or stars. Although it’s pleasant to have so many crazy-sounding views around, I think it would also be nice to have a commonsense option available. The aim of this paper is to offer such an option. The approach I offer begins by considering a mereological question other than the standard one that has been the focus of most discussions in the literature. I try to show that the road to mereological sanity begins with giving the most straightforward and commonsensical answer to this other question, and then extending that answer to further questions about the mereology of physical objects. On the approach I am recommending, it turns out that all of the mereological properties and relations of physical objects are determined by their spatial properties and relations. (shrink)

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

Mereological nihilists typically employ a paraphrase strategy in order to mitigate the apparent absurdity of their denial of the existence of composite objects. I argue here that the nihilist's paraphrase strategy is incomplete, because no schema for generating nihilistically acceptable paraphrases of sentences concerning material constitution has ever been given. Nor can an adequate schema be arrived at by generalising things that nihilists have already said. I fill this lacuna in the nihilist's account by developing and defending a novel paraphrase (...) schema that makes essential reference to the determinable‐determinate relation that holds between arrangement‐properties instantiated by the simples. (shrink)

This paper presents and defends an account of the coincidence of biological organisms with mereological sums of their material components. That is, an organism and the sum of its material components are distinct material objects existing in the same place at the same time. Instead of relying on historical or modal differences to show how such coincident entities are distinct, this paper argues that there is a class of physiological properties of biological organisms that their coincident mereological sums do not (...) have. The account answers some of the most pressing objections to coincidence, for example the so-called grounding problem , that material coincidence seems to require that coinciding objects have modal differences that do not supervene on any other properties. (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)

In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological concept (...) of boundary is treated in detail and shown to be essentially affected by mereological considerations. More precisely, the concept of boundary turns out to be realizable in a variety of different mereologically grounded versions. In particular, every part K of a Heyting algebra H gives rise to a well-behaved K-relative boundary operator. (shrink)

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)

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)

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

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)

Comparing Buddhist and contemporary analytic views about mereological composition reveals significant dissimilarities about the purposes that constrain successful answers to mereological questions, the kinds of considerations taken to be probative in justifying those answers, and the value of mereological inquiry. I develop these dissimilarities by examining three questions relevant to those who deny the existence of composite wholes. The first is a question of justification: What justifies denying the existence of composite wholes as more reasonable than affirming their existence? The (...) second is a question of ontology: Under what conditions are many partless individuals arranged composite-wise? The third is a question of reasonableness: Why, if there are no composites available to experience, do “the folk” find it reasonable to believe there are? I motivate each question, sketch some analytic answers for each, develop in more detail answers from the Theravādin Buddhist scholar Buddhaghosa, and extract comparative lessons. (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)

Recent work in quantum gravity has prompted a re-evaluation of the fundamental nature of spacetime. Spacetime is potentially emergent from non-spatiotemporal entities posited by a theory of quantum gravity. Recent efforts have sought to interpret the relationship between spacetime and the fundamental entities through a mereological framework. These frameworks propose that spacetime can be conceived as either having non-spatiotemporal entities as its constituents or being a constituent part of a non-spatiotemporal structure. I present a roadmap for those interested in exploring (...) the role of composition in understanding the emergence of spacetime. I establish a taxonomy based on four crucial parameters that should be considered when constructing potential mereological models. Subsequently, I connect these models to a spectrum of perspectives found in current literature, with the aim of pinpointing areas that require further exploration. Finally, I identify three potential challenges facing mereological models of spacetime emergence, rooted in issues of mereological harmony, the distinction between continuous and discrete spacetime, and the implications of quantum superposition. (shrink)

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

This chapter explores a potential analogy between mereological principles and laws of nature. Against a backdrop of what Marmodoro has termed ‘power structuralism’ (and a rejection of a Humean worldview), the connection between parthood and modality may be richer than has hitherto been considered. Mereological principles delineate possibilities for parts and wholes, and putting powers at the centre of a discussion about parthood can furnish a novel conception of mereological laws, much as dispositionalism has done so for natural laws; namely, (...) these principles express connections between fundamental dispositional properties. By extending dispositionalism to comprehend mereology in this way, we can help fulfil its promise to provide a foundational, naturalistic metaphysics, as foundational mereological debates then begin to mirror those relating to dispositionalist views of laws of nature: we may treat natural and mereological laws in tandem, as holding either necessarily or contingently, with associated strategies for dealing with supposed counterexamples to one’s preferred set of mereological principles. We can thus bring new life to the debate over whether questions of composition admit of contingent or only necessary answers. (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.

En aquest article pretenc fer una crítica al nihilisme mereològic, al·ludint que les expressions «simples agrupats en-tant-que-F» tenen unes conseqüències desastroses per als seus compromisos ontològics. Primer, explicaré què és el nihilisme mereològic -que és part de l’eliminativisme- el qual pretén negar l’existència dels objectes compostos (objectes amb parts pròpies) i l’estratègia de la paràfrasi: l’ús que fan de les expressions «simples agrupats en-tant-que-F» per referir-se als objectes ordinaris sense comprometre’s amb l’existència d’objectes compostos, però posaré l’èmfasi en aquells nihilistes (...) mereològics que pretenen explicar l’existència de les propietats emergents. Seguidament, presentaré una classe de crítiques, les de Bennett i Tallant, sobre l’ús d’aquesta estratègia per part dels nihilistes, i quina és la resposta crítica que ofereix Brenner sobre aquesta classe de crítica. Finalment, presentaré la meva crítica on mostraré que el nihilisme mereològic utilitzant l’estratègia de la paràfrasi s’està comprometent amb l’existència d’objectes compostos i que la crítica de Brenner no funciona amb la meva postura. -/- In this paper I intend to critique mereological nihilism, alluding that the expression «simples arranged F-wise» has disastrous consequences for its ontological commitments. First, I will explain what mereological nihilism is -which is part of Eliminativism- which tries to deny the existence of composite objects (objects with proper parts) and the Paraphrase Strategy: the use they make of the expression «simples arranged F-wise» to refer to ordinary objects without committing to the existence of composite objects, and I put the focus on the mereological nihilist that pretends to explain the existence of emergent properties. Second, I will present a kind of criticism, by Bennett and Tallant, of the use of this strategy by nihilism and which is the response of Brenner about this kind of criticism. Finally, I will present my criticism where I will show that nihilism by using the Paraphrase Strategy is committing itself to the existence of composite objects and that the Brenner’s critique does not work with my position. (shrink)

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

Mereological universalists, according to whom every plurality of entities has a fusion, usually claim that most quantifications are restricted to ordinary entities. However, there is no evidence that our usual quantifications over ordinary objects are restricted. In this article I explore an alternative way of reconciling Mereological Universalism with our usual quantifications. I resort to a modest form of ontological expansionism and to the so-called interpretational modalities. Quantifications over ordinary objects are the initial stages of the expansion. From these initial (...) stages, expansions can proceed upwards (fusions of entities in the domain of quantification are added), downwards (parts of entities in the domain are added), and sidewards (entities which are mereologically disjoint from the entities in the domain are added). These expansions are driven by a variety of epistemic and pragmatic reasons and raise different kinds of problems. At each stage, a modalized version of Mereological Universalism is true. By contrast, only at some especially rich stages, standard, non-modalized Mereological Universalism is true as well. Among these especially rich stages, there is a final, metaphysically pre-eminent stage of mereological plenitude. In the last part of the article I discuss some problems and limitations of expansionism. (shrink)

The emerging field of quantum mereology considers part-whole relations in quantum systems. Entangled quantum systems pose a peculiar problem in the field, since their total states are not reducible to that of their parts. While there exist several established proposals for modelling entangled systems, like monistic holism or relational holism, there is considerable unclarity, which further positions are available. Using the lambda operator and plural logic as formal tools, we review and develop conceivable models and evaluate their consistency and (...) distinctness. The main result is an exhaustive taxonomy of six distinct and precise models that both provide information about the mereological features as well as about the entangled property. The taxonomy is well-suited to serve as the basis for future systematic investigations. (shrink)

When Aristotle introduces the perfect moods, he refers back to the dictum de omni et nullo, a semantic condition for universal affirmations and negations. There recently has been renewed interest in the question whether the dictum validates the assertoric syllogistic. I rehearse evidence that Aristotle provides a mereological semantics for universal affirmations and negations, and note that this semantics entails a nonstandard reading of the dictum, under which the dictum, in the presence of a minimal logical apparatus, indeed validates the (...) assertoric syllogistic. I argue that this mereological validation offers advantages over recent discussions in Morison, Malink, Ebert and Vlasits. (shrink)

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

This investigation constitutes an attempt towards (1) understanding issues and problems relating to the notions of one, many, part and whole in Parmenides and Plato; (2) extracting conditions for a successful account of multiplicity and parthood; (3) surveying Deleuzian conceptions and uses of these notions; (4) appraising the extent to which Deleuze’s metaphysics can answer some of these ancient problems concerning the status of multiplicity and the nature of mereological composition, that is, of the relations that pertain between parts and (...) the wholes that they compose. (shrink)

In Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to guarantee the existence of a large infinity of objects. However, we intend to demonstrate that mereology (...) and plural quantification are, in some ways, particularly relevant to a certain conception of the infinite. More precisely, though the principles of mereology and plural quantification do not guarantee the existence of an infinite number of objects, nevertheless, once the existence of any infinite object is admitted, they are able to assure the existence of an uncountable infinity of objects. So, ifMPQ were parts of logic, the implausible consequence would follow that, given a countable infinity of individuals, logic would be able to guarantee an uncountable infinity of objects. (shrink)

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)

This paper approaches Husserl’s analysis of time-consciousness from a mereological perspective. Taking as inspiration Bergson’s idea that pure durée is a multiplicity of interpenetration, I will show, from within Husserlian phenomenology, that the absolute flow can indeed be described as a whole of interpenetrating parts. This mereological perspective will inform my re-consideration of the much-discussed issue of Husserl’s self-criticism concerning the schema of content and apprehension. It will also reveal a fundamental similarity between Husserl’s conception of the absolute flow and (...) Sartre’s conception of lived temporality. This paper consists of four sections. Section 2 presents the basic elements of Husserl’s mereology. Section 3 introduces the difficulty encountered by Husserl’s early account of time that makes use of the schema. I will examine Barry Dainton’s criticism of Husserl’s theory of time-consciousness against the background of the older debate between Meinong and Stern, a debate that has informed Husserl’s own account. Section 4 distinguishes two common criticisms of the schema from Husserl’s own self-criticism, which is in turn divided into two steps. It is shown how the second step of this self-criticism implies the interpenetration of the absolute flow and responds to Dainton’s criticism. Finally, Sect. 5 concludes with some comparative remarks. I will show how Husserl’s notion of absolute flow, as mereologically interpreted, anticipates Sartre’s conception of consciousness as self-transcendence, as well as how it accommodates the apparently conflicting mereological intuitions of Aristotle and Bergson. (shrink)

This paper gives a fIrst overview over the role of mereology the theory of parts and wholes - in semiotics. The mereology of four major semioticians - Husserl, Jakobson, Hjelmslev, and Peirce is presented briefly and its role in the overall architecture of each of their theories is outlined - with Brentano tradition as reference. Finally, an evaluation of the strength and weaknesses of the four is undertaken, and some guidelines for further research is proposed.

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.

In this paper, I critically discuss one of the more influential arguments for mereological universalism, what I will call ‘the Vagueness Argument’. I argue that a premise of the Vagueness Argument is not well supported and that there are at least two good reasons for thinking that the premise in question is false.

Corruptionism is the view that following physical death, the human being ceases to exist but their soul persists in the afterlife. Survivalism holds that both the human being and their soul persist in the afterlife, as distinct entities, with the soul constituting the human. Each position has its defenders, most of whom appeal both to metaphysical considerations and to the authority of St Thomas Aquinas. Corruptionists claim that survivalism violates a basic principle of any plausible mereology, while survivalists tend (...) to reject the principle, though without as much detail as one would like. In this paper I examine both the key exegetical issues and the mereological question, arguing that Aquinas cannot be shown to have supported the principle in question, and that the principle should be rejected on independent grounds. If correct, some key planks in support of survivalism are established, with others to await further examination. (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)

In this article, I discuss parthood status in mereologi- cally interpreted Daoist metaphysics, based on the Daodejing. I depart from the dao and you interrela- tion, which mereologically overlap by sharing parts. I consider the case of a complete overlap, which (a) challenges proper parthood, according to which a part cannot be identical with the whole that it com- poses, and (b) entails the question of identity that, while complying with classical mereology, cannot be consis- tent with Daoist metaphysics. (...) The discussion leads to abandoning proper parthood and antisymmetry axiom from classical axiomatics. It also shows a plausible fur- ther direction for mereological reconstruction. (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)