Mereological atomism is the thesis that everything is ultimately composed of atomic parts, i.e., parts without proper parts. Typically, this thesis is characterized by an axiom stating that everything has atomic parts. The present paper argues that the success of this standard characterization depends on how the notions of sum and composition are defined. In particular, we put forward a novel definition of mereological sum that: (i) is not equivalent to existing definitions in the literature, if no strong decomposition principle (...) is assumed; (ii) can be used to argue that the standard characterization of atomism fails, because having atomic parts is not sufficient to be a sum of atoms; and (iii) provides a purely mereological distinction between structured and unstructured wholes, contributing to the ongoing debate on this crucial topic. (shrink)

Disjointism is the view that co-located objects do not share any parts. A human-shaped statue is composed from a torso, head and limbs; the co-located lumpof clay is only composed from chunks of clay. This essay discusses the tenability of this relatively neglected view, focusing on two objections. The first objection is that disjointism implies co-located copies of microphysical particles. I argue that it doesn’t imply this and that there are more plausible disjointist views of tiny parts available. The second (...) objection is that disjointism is at a loss to explain how material objects can be co-located and why the weights of co-located objects don’t add up. The standard pluralist account appeals to the fact that co-located objects stand in mereological relations and this account is not available to the disjointist. I sketch an alternative account that appeals to a notion of ‘material identity’: the statue is taken to be the same matter as the lump of clay. The resort to a new theoretical primitive may seem to invite a quick rejection on grounds of unnecessary theoretical complexity but I argue that an abductive comparison with rival forms of pluralism shows that such a rejection is misguided. (shrink)

I argue that the growing-block theory of time and truthmaker maximalism jointly entail that some truthmakers undergo mereological change as time passes. Central to my argument is a grounding-based account of what I call the “purely incremental” nature of the growing-block theory of time. As I will show, the argument presented in this paper suggests that growing-block theorists endorsing truthmaker maximalism have reasons to take composition to be restricted and the “block” of reality to literally grow as time goes by.

The thesis of Weak Unrestricted Composition says that every pair of objects has a fusion. This thesis has been argued by Contessa and Smith to be compatible with the world being junky and hence to evade an argument against the necessity of Strong Unrestricted Composition proposed by Bohn. However, neither Weak Unrestricted Composition alone nor the different variants of it that have been proposed in the literature can provide us with a satisfying answer to the special composition question, or so (...) we will argue. We will then go on to explore an alternative family of purely mereological rules in the vicinity of Weak Unrestricted Composition, Cardinal Composition: A plurality of pairwise non-overlapping objects composes an object iff the objects in the plurality are of cardinality smaller than $$\kappa $$ κ. As we will show, all the instances for infinite $$\kappa $$ κ s determine fusion and are compatible with junk, and every instance for a $$\kappa > \aleph _0$$ κ > ℵ 0 is furthermore compatible with gunk and dense chains of parthood. (shrink)

Compliments have received only cursory attention from speech act theorists and are usually characterised as run-of-the-mill illocutionary acts. Yet both intentionalist and conventionalist theories of illocutionary force struggle to accommodate ordinary language uses of ‘compliment’. I argue that this is because there are in fact two kinds of compliment: illocutionary compliments and perlocutionary compliments. This account illuminates the practice of complimenting, as well as its converse, insulting, and illustrates the complex relationship between illocutionary force and perlocutionary effect.

If something changes from being in one state to being in another state, when exactly does it change? And what’s going on at that time? These questions are often discussed under the heading of the ‘moment’ or ‘instant’ of change. In this paper, I will investigate a view on which there is an intrinsically distinguished, atomic time at which something changes, and at that time it is metaphysically indeterminate what is the case. The background metaphysical picture is situationalism, a theory (...) on which reality is composed of irreducibly conflicting parts. These conflicting parts give rise to unsettledness in reality as a whole, and also at the point of change. I propose this view as a competitor for existing accounts of the time of change, and spell out a few reasons in its favour. (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 $ reads all the parts (of the current object) are $\varphi $, interpreted on the models with a whole-part binary 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)

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...) UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.). (shrink)

The Monster Objection has often been considered one of the main reasons to explore non-standard mereological views, such as hylomorphism. Still, it has been rarely discussed and then only in a cursory fashion. This paper fills this gap by offering the first thorough assessment of the objection. It argues that different metaphysical stances, such as presentism and three- and four-dimensionalism, provide different ways of undermining the objection.

The special composition question, which asks under which conditions objects compose a further object, establishes a central debate in modern metaphysics. Recent successes of inductive metaphysics, which studies the implications of the natural sciences for metaphysical problems, suggest that insights into the SCQ can be gained by investigating the physics of composite systems. In this work, I show that the minus first law of thermodynamics, which is concerned with the approach to equilibrium, leads to a new approach to the SCQ, (...) the thermodynamic composition principle : Multiple systems in thermal contact compose a single system. This principle, which is justified based on a systematic classification of possible mereological models for thermodynamic systems, might form the basis of an inductive argument for universalism. A formal analysis of the TCP is provided on the basis of mereotopology, which is a combination of mereology and topology. Here, “thermal contact” can be analyzed using the mereotopological predicate “self-connectedness”. Self-connectedness has to be defined in terms of mereological sums to ensure that scattered objects cannot be self-connected. (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)

If two self-connected individuals are connected, it follows in classical extensional mereotopology that the sum of those individuals is self-connected too. Since mainland Europe and mainland Asia, for example, are both self-connected and connected to each other, mainland Eurasia is also self-connected. In contrast, in non-extensional mereotopologies, two individuals may have more than one sum, in which case it does not follow from their being self-connected and connected that the sum of those individuals is self-connected too. Nevertheless, one would still (...) expect it to follow that a sum of connected self-connected individuals is self-connected too. In this paper, we present some surprising countermodels which show that this conjecture is incorrect. (shrink)

There are two main ways in which the notion of mereological fusion is usually defined in the current literature in mereology which have been labelled ‘Leśniewski fusion’ and ‘Goodman fusion’. It is well-known that, with Minimal Mereology as the background theory, every Leśniewski fusion also qualifies as a Goodman fusion. However, the converse does not hold unless stronger mereological principles are assumed. In this paper I will discuss how the gap between the two notions can be filled, focussing in particular (...) on two specific sets of principles that appear to be of particular philosophical interest. The first way to make the two notions equivalent can be used to shed some interesting light on the kind of intuition both notions seem to articulate. The second shows the importance of a little-known mereological principle which I will call ‘Mild Supplementation’. As I will show, the mereology obtained by adding Mild Supplementation to Minimal Mereology occupies an interesting position in the landscape of theories that are stronger than Minimal Mereology but weaker than what Achille Varzi and Roberto Casati have labelled ‘Extensional Mereology’. (shrink)

In linguistics, the dominant approach to the semantics of plurals appeals to mereology. However, this approach has received strong criticisms from philosophical logicians who subscribe to an alternative framework based on plural logic. In the first part of the article, we offer a precise characterization of the mereological approach and the semantic background in which the debate can be meaningfully reconstructed. In the second part, we deal with the criticisms and assess their logical, linguistic, and philosophical significance. We identify four (...) main objections and show how each can be addressed. Finally, we compare the strengths and shortcomings of the mereological approach and plural logic. Our conclusion is that the former remains a viable and well-motivated framework for the analysis of plurals. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

In this paper, we present an extensional system of mereology suitable to account for the intuitive distinction between heaplike and non-heaplike entities. Since the need to capture this distinction has been a key motivation for non-extensional mereologies, we first assess the main non-extensional systems advanced in the last years and highlight some mereological and metaphysical difficulties they involve. We then advance a novel program, according to which the distinction between heaplike and non-heaplike entities can be accounted for by bringing together (...) the parthood relation characterized by classical extensional mereology and an Aristotelian extensional notion of potential parthood. Thus, while rejecting the thesis of mereological monism, our proposal is consistent with the thesis of mereological extensionalism. We show that within this framework it is possible to characterize the above-mentioned distinction, to define the relation of material constitution, and to capture three fundamental standpoints in metaphysics. (shrink)

According to Whitehead’s rectified principle, two individuals are connected just in case there is something self-connected which overlaps both of them, and every part of which overlaps one of them. Roberto Casati and Achille Varzi have offered a counterexample to the principle, consisting of an individual which has no self-connected parts. But since atoms are self-connected, Casati and Varzi’s counterexample presupposes the possibility of gunk or, in other words, things which have no atoms as parts. So one may still wonder (...) whether Whitehead’s rectified principle follows from the assumption of atomism. This paper presents an atomic countermodel to show the answer is no. (shrink)

According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, contrary to what (...) may appear at first sight, the assumption of a weak plural comprehension principle is perfectly compatible with plural logic and the common uses of plural quantification. As I aim to show, SCAI-theorists can simply claim that their theory must be understood as formulated by means of the most ‘joint-carving’ plural quantifier, thus leaving open the possibility of other, less joint-carving, ‘unrestricted’ plural quantifiers. In the final part of the paper I will also suggest that SCAI-theorists should not only allow for singular quantification over pluralities of entities, but also for plural quantification over ‘super-pluralities’ of entities. (shrink)

There are at least three vaguely atomistic principles that have come up in the literature, two explicitly and one implicitly. First, standard atomism is the claim that everything is composed of atoms, and is very often how atomism is characterized in the literature. Second, superatomism is the claim that parthood is well-founded, which implies that every proper parthood chain terminates, and has been discussed as a stronger alternative to standard atomism. Third, there is a principle that lies between these two (...) theses in terms of its relative strength: strong atomism, the claim that every maximal proper parthood chain terminates. Although strong atomism is equivalent to superatomism in classical extensional mereology, it is strictly weaker than it in strictly weaker systems in which parthood is a partial order. And it is strictly stronger than standard atomism in classical extensional mereology and, given the axiom of choice, in such strictly weaker systems as well. Though strong atomism has not, to my knowledge, been explicitly identified, Shiver appears to have it in mind, though it is unclear whether he recognizes that it is not equivalent to standard atomism in each of the mereologies he considers. I prove these logical relationships which hold amongst these three atomistic principles, and argue that, whether one adopts classical extensional mereology or a system strictly weaker than it in which parthood is a partial order, standard atomism is a more defensible addition to one’s mereology than either of the other two principles, and it should be regarded as the best formulation of the atomistic thesis. (shrink)

Fundamentality plays a pivotal role in discussions of ontology, supervenience, and possibility, and other key topics in metaphysics. However, there are two different ways of characterising the fundamental: as that which is not grounded, and as that which is the ground of everything else. I show that whether these two characterisations pick out the same property turns on a principle—which I call “Dichotomy”—that is of independent interest in the theory of ground: that everything is either fully grounded or not even (...) partially grounded. I then argue that Dichotomy fails: some facts have partial grounds that cannot be complemented to a full ground. Rejecting Dichotomy opens the door to recognising a bifurcation in our notion of fundamentality. I sketch some of the far-reaching metaphysical consequences this might have, with reference to big-picture views such as Humeanism. Since Dichotomy is entailed by the standard account of partial ground, according to which partial grounds are subpluralities of full grounds, a non-standard account is needed. In a technical “Appendix”, I show that truthmaker semantics furnishes such an account, and identify a semantic condition that corresponds to Dichotomy. (shrink)

In this paper I address two important objections to the theory called ‘ Composition as Identity’ : the ‘wall-bricks-and-atoms problem’, and the claim that CAI entails mereological nihilism. I aim to argue that the best version of CAI capable of addressing both problems is the theory I will call ‘Atomic Composition as Identity’ which consists in taking the plural quantifier to range only over proper pluralities of mereological atoms and every non-atomic entity to be identical to the plurality of atoms (...) it fuses. I will proceed in three main steps. First, I will defend Sider’s Composition as identity. Oxford University Press, Oxford, pp 211–221, 2014) idea of weakening the comprehension principle for pluralities and I will show that :219–235, 2016a) it can ward off both the WaBrA problem and the threat of mereological nihilism. Second, I will argue that CAI-theorists should uphold an ‘atomic comprehension principle’ which, jointly with CAI, entails that there are only proper pluralities of mereological atoms. Finally, I will present a novel reading of the ‘one of’ relation that not only avoids the problems presented by Yi Composition as identity. Oxford University Press, Oxford, pp 169–191, 2014) and Calosi :429–443, 2016b, Am Philos Q 55:281–292, 2018) but can also help ACAI-theorists to make sense of the idea that a composite entity is both one and many. (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.

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

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it does (...) not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

Ned Markosian has recently defended a new theory of composition, which he calls regionalism : some material objects xx compose something if and only if there is a material object located at the fusion of the locations of xx. Markosian argues that regionalism follows from what he calls the subregion theory of parthood. Korman and Carmichael agree. We provide countermodels to show that regionalism does not follow from, even together with fourteen potentially implicit background principles. We then show that regionalism (...) does follow from five of those background principles together with and two additional principles connecting parthood and location, which we call and. While the additional principles are not uncontroversial, our conjecture is that many will find them attractive. We conclude by mentioning that fills a previously unnoticed gap in the formal theory of location presented in Parsons. (shrink)

Logics of part/whole relations frequently take parthood or proper parthood as primitive, defining the remaining mereological properties and relations in terms of them. I argue from considerations involving Weak Supplementation for the conclusion that we should take fusion as our mereological primitive. I point out that the intuitions supporting Weak Supplementation also support a stronger principle, Weak Supplementation of Pluralities, and that the principle can only do the work demanded by our intuitions when formulated in terms of a notion of (...) fusion that cannot be defined merely in terms of mereological properties and relations, logic, and a membership relation. So, insofar as we think any definition of fusion must be so restricted, we have motivation to take fusion as primitive; further, we have greater insight into the motivation for our supplementation principle and which version of that principle we ought to endorse. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

David Lewis defends the following "non-circular definition of personhood": "something is a continuant person if and only if it is a maximal R-interrelated aggregate of person-stages. That is: if and only if it is an aggregate of person-stages, each of which is R-related to all the rest (and to itself), and it is a proper part of no other such aggregate." I give a counterexample, involving a person who is a part of another, much larger person, with a separate mental (...) life. I then offer an easy repair, which preserves the virtues of Lewis's definition without introducing any new vices. (shrink)

Are a material object, such as a statue, and its constituting matter, the clay, parts of one another? One wouldn't have thought so, and yet a number of philosophers have argued that they are. I review the arguments for this surprising claim showing how they all fail. I then consider two arguments against the view concluding that there are both pre-theoretical and theoretical considerations for denying that the statue and the clay are mutual parts.

The traditional debate about moral dilemmas concerns whether there are circumstances in which an agent is subject to two obligations that cannot both be fulfilled. Realists maintain there are. Irrealists deny this. Here I defend an alternative, methodologically-oriented position wherein the denial of genuine moral dilemmas functions as a regulative ideal for moral deliberation and practice. That is, moral inquiry and deliberation operate on the implicit assumption that there are no genuine moral dilemmas. This view is superior to both realism (...) and irrealism in accounting for moral residue and other crucial phenomenological dimensions of our experience of moral dilemmas. (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.

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.

I argue that Universalism (the thesis that mereological composition is unrestricted) entails Extensionalism (the thesis that sameness of composition is sufficient for identity) as long as the parthood relation is transitive and satisfies the Weak Supplementation principle (to the effect that whenever a thing has a proper part, it has another part disjoint from the first).

Composition is Identity is the thesis that a whole is, strict and literally, its parts considered collectively. Mereological Nihilism is the thesis that there are no composite objects whatsoever instead. This paper argues that they are equivalent, at least insofar as Composition is Identity is phrased in a particular way. It then addresses some consequences of such equivalence.

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

Based on their research showing that growing cities follow basic principles, two theoretical physicists, Luis Bettencourt and Geoffrey West, call for researchers and professionals to contribute to a grand theory of urban sustainability. In their research, they develop a ‘science of the city’ to help urban planners address problems that arise from population increases. Although they provide valuable insights for understanding urban sustainability issues, they do not give planners a manageable way to approach such problems. I argue that developing an (...) applied mereology to understand the concept of ‘city identity’ gives planners a theoretical device for addressing urban affairs, including ethical concerns. In turn, I devise a model of city identity to show how a ‘philosophy of the city’ contributes to a grand theory of urban sustainability. (shrink)

Lewis famously argued that mereology is ontologically innocent. Many who have considered this claim believe he was mistaken. Mereology is not innocent, because its acceptance entails the acceptance of sums, new objects that were not previously part of one’s ontology. This argument, the argument from ontological parsimony, has two versions: a qualitative and a quantitative one. I argue that the defender of mereology can neutralize both arguments by holding that, given mereology, a commitment to the parts of an object is (...) not an extra ontological commitment, made in addition to the commitment to the object; and that if the parts of an object are ‘ontologically innocent’, then sums cannot fail to be innocent either. (shrink)

The structuralist conception of metaphysics holds that it aims to uncover the ultimate structure of reality and explain how the world's richness and variety are accounted for by that ultimate structure. On this conception, metaphysicians produce fundamental theories, the primitive, undefined expressions of which are supposed to 'carve reality at its joints', as it were. On this conception, ontological questions are understood as questions about what there is, where the existential quantifier 'there is' has a fundamental, joint-carving interpretation. Structuralist orthodoxy (...) holds that there is exactly one fundamental, joint-carving interpretation that an existential quantifier could have. This orthodox assumption could go wrong--either by there being too few fundamental-quantifier interpretations, or by there being too many. In this dissertation I examine the implications of these non-orthodox options. Someone who thinks there are too many fundamental-quantifier interpretations might think this means standard ontological debates are in some sense defective of 'merely verbal', or she might think instead that the different quantifiers show that there are different 'ways' or 'modes' of being. I argue that the first option runs into problems with a certain sort of realism about logic, but that there is no general problem with the second option, despite its longstanding bad philosophical reputation. I also argue that realism about logic gives us reason to think the dispute between someone who thinks there are many 'modes of being' in this sense and someone who thinks there is just one is not itself verbal. Finally, I turn to the case in which there are no fundamental quantifiers, arguing that it brings with it a host of theoretical problems we could avoid with quantifiers. (shrink)

La storia della nascita, utilizzo e declino delle notazioni scientifiche costituisce un’area di indagine importante che può aiutare le nostre analisi del pensiero scientifico e la sua evoluzione. […] this history constitutes a mirror of past and present conditions in mathematics which can be made to bear on the notational problems now confronting mathematics. The successes and failures of the past will contribute to a more speedy solutions of the notational problems of the present times.Questa storia, ovviamente, coinvolge anche le (...) notazioni della logica. Il presente contributo intende proporre un nuovo insieme di simboli per una particolare teoria logica: la Mereologia Formale, in considerazione del fatto che questa teoria, pur avendo avuto trattazioni sistematiche, non ha allo stato attuale ancora raggiunto un sistema di notazioni condiviso dagli studiosi. Tale stato dell’arte è espressione, da un lato, di un legame della teoria al suo nascere con la notazione polacca, e del suo confronto con la Teoria Assiomatica degli Insiemi; dall’altro, del fatto che essa ha ricevuto solo in tempi recenti sistematiche applicazioni alle scienze.94 In tale prospettiva ho ritenuto necessario definire in primo luogo dei criteri attraverso cui procedere alla costruzione del sistema di simboli. Criteri desunti in parte dalla storia delle notazioni scientifiche nella loro evoluzione, in parte dalla pratica personale nell’uso di strumenti formali. (shrink)

The paper addresses various questions about the logical and metaphysical relations between notions of parthood, location and persistence. In particular it argues that the conjunction of mereological extensionalism and multilocation, is highly problematic, if not utterly inconsistent. It thus provides an alternate route to reject multilocation, one that does not rely on Barker and Dowe's well known argument, at least for those who endorse extensionality of parthood. It then argues that other major metaphysical theses such as three-dimensionalism turn out to (...) be at odds with extensionalism. (shrink)

Does a commitment to mereological universalism automatically bring along a commitment to the controversial doctrine of mereological extensionalism—the view that objects with the same proper parts are identical? A recent argument suggests the answer is ‘yes’. This paper attempts a systematic response to the argument, considering nearly every available line of reply. It argues that only one approach—the mutual parts view—can yield a viable mereology where universalism does not entail extensionalism.

The slogan “the whole is nothing over and above the parts” and related vague thoughts animate many theories of parthood and arguably are central to our ordinary conception. I examine some issues connected with this slogan.

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

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)

We argue that certain modal questions raise serious problems for a modal metaphysics on which we are permitted to quantify unrestrictedly over all possibilia. In particular, we argue that, on reasonable assumptions, both David Lewis's modal realism and Timothy Williamson's necessitism are saddled with the remarkable conclusion that there is some cardinal number of the form ℵα such that there could not be more than ℵα-many angels in existence. In the last section, we make use of similar ideas to draw (...) a moral for a recent debate in meta-ontology. (shrink)