This article develops a criticism of Alain Badiou’s assertion that “mathematics is ontology.” I argue that despite appearances to the contrary, Badiou’s case for bringing set theory and ontology together is problematic. To arrive at this judgment, I explore how a case for the identification of mathematics and ontology could work. In short, ontology would have to be characterised to make it evident that set theory can contribute to it fundamentally. This is indeed how Badiou proceeds in Being and Event. (...) I review his descriptions of the ontological problematic at some length here, only to argue that set theory is a poor fit. Although philosophers working on questions of being were certainly occupied with matters of oneness and the part-whole relationship, I argue that Badiou’s discussion of philosophical sources points towards a mereological treatment, not a set-theoretic one. Finally, I suggest that Badiou’s philosophical interpretations of key set-theoretic results are better understood as some sort of analogising between mathematics, ontology, and philosophical anthropology. (shrink)

What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Gödel's platonism, up to the the current debate on (...) Benacerraf's dilemma and the indispensability argument. Through the considerations of themes in the philosophy of language, ontology, and the philosophy of science, the book aims at offering an historically-informed introduction to the philosophy of mathematics, approached through the lenses of its most fundamental problem. (shrink)

Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between (...) this logic and other theoretical frameworks such as set theory, mereology, higher-order logic, and modal logic. The applications of plural logic rely on two assumptions, namely that this logic is ontologically innocent and has great expressive power. These assumptions are shown to be problematic. The result is a more nuanced picture of plural logic's applications than has been given thus far. Questions about the correct logic of plurals play a central role in the final chapters, where traditional plural logic is rejected in favor of a "critical" alternative. The most striking feature of this alternative is that there is no universal plurality. This leads to a novel approach to the relation between the many and the one. In particular, critical plural logic paves the way for an account of sets capable of solving the set-theoretic paradoxes. (shrink)

Several disputes about the nature of experience operate under the assumption that experiences have parts, including temporal parts. There's the widely held view, when it comes to temporal experiences, that we should follow James' exhortation that such experiences aren't mere successions of their temporal parts, but something more. And there's the question of whether it is the parts of experiences which determine whole experiences and the properties they have, or whether the determination goes instead from the whole to the parts, (...) as holists have it. But what are parts, or temporal parts, of experiences exactly—what does it mean to say that an experience is “part” of another? Are the participants in those disputes talking about the same thing—is there a univocal notion of “experiential part” available? Are there different kinds of experiential parts? And if there are, is there a systematic way of carving them out? More importantly, how should we conceive of the temporal parts of experiences, and how can we establish that experiences really do have temporal parts, against those who reject the notion? (shrink)

This thesis explores attempts to characterise the structure of reality. Three notions stand out: Lewisian naturalness, Sider’s ‘structure’, and grounding, where the latter has become the most popular way to characterise the structure of reality in the contemporary literature. I argue that none of these notions, as they are currently understood, are suited for limning the metaphysical structure of reality. In the first part of the thesis I argue that, by the lights of the relevant theories, both naturalness and structure (...) fall short of the theoretical role carved out for those posits. In the second part of the thesis I present two challenges to the ‘orthodox’ conception of grounding. The first contests the standard assumption that grounding is asymmetric, both by citing what I take to be best described as symmetric instances of grounding, and by developing and arguing for a new theory of metaphysical structure – ‘metaphysical interdependence’ – which takes grounding to be nonsymmetric. The second challenge concerns the relationship between grounding and explanation, and leads to a dilemma for the grounding theorist. My proposed resolution to the dilemma is to adopt an antirealist approach to grounding, which I further motivate and develop in the final chapter. (shrink)

ABSTRACTHow did the traditional doctrine of parts and wholes evolve into contemporary formal mereology? This paper argues that a crucial missing link may lie in the early modern and especially Wolf...

Mereology, the theory of parts and wholes, is sometimes used as a framework for categorisation because it is regarded as ontologically innocent in the sense that the mereological fusion of some entities is nothing over and above the entities. In this paper it is argued that an adequate answer to the question of whether the thesis of the ontological innocence of mereology holds relies crucially on the underlying theory of reference. It is then shown that upholding the thesis comes at (...) high costs, viz. at the cost of a quite strong logical background theory or at paradoxical ways of predicating and counting. (shrink)

If possible worlds are conjunctions of states of affairs, as in David Armstrong’s combinatorial theory, then is the empty world to be thought of as the null conjunction of states of affairs? The proposal seems plausible, and has received support from David Efird, Tom Stoneham, and Armstrong himself. However, in this paper, it is argued that the proposal faces a trilemma: either it leads to the absurd conclusion that the actual world is empty; or it reduces to a familiar representation (...) of the empty world in which the concept of a null conjunction plays no role; or it needs to make room for the null individual of certain non-classical mereologies. (shrink)

The paper discusses the concept of the cognitive niche and distinguishes the latter from the metabolic niche. By using these posits I unpack certain ideas that are crucial for the enactivist movement, especially for its original formulation proposed by Varela, Thompson and Rosh. Drawing on the ontology of location, boundaries, and parthood, I argue that enacting the world can be seen as the process of cognitive niche construction. Moreover, it turns out that enactivism—as seen through the lens of the conceptual (...) framework proposed in the paper—considers cognition as a kind of connection between the subject and the world. This post is pointed to as the key idea laid down in enactivism. (shrink)

Recently a number of works in meta-ontology have used a variant of J.H. Harris's collapse argument in the philosophy of logic as an argument against Eli Hirsch's quantifier variance. There have been several responses to the argument in the literature, but none of them have identified the central failing of the argument, viz., the argument has two readings: one on which it is sound but doesn't refute quantifier variance and another on which it is unsound. The central lesson I draw (...) is that arguments against quantifier variance must pay strict attention to issues of translation and interpretation. The paper also has a substantial appendix in which I prove the equivalence of plural mereological nihilism and standard first-order atomistic mereology; results of this kind are often appealed to in the literature on quantifier variance but without many details on the nature or proof of the result. (shrink)

Some philosophers assume that our ordinary parts-whole concepts are intuitive and univocal. Moreover, some assume that mereology—the formal theory of parts-whole relations—adequately captures these intuitive and univocal notions. Lewis, for example, maintains that mereology is “perfectly understood, unproblematic, and certain.” Following his lead, many assume that expressions such as ‘is part of’ are univocal, topic-neutral, and that compositional monism is true. This paper explores the rejection of –. I argue that our ordinary parts-whole expressions are polysemous; they have multiple distinct, (...) but related, interpretations or meanings. I canvass several criteria by which to test for polysemy, and apply these criteria to some of our parts-whole terminology. I also examine some philosophical examples involving abstracta and abstract parts, which give us additional reasons to think that our parts-whole expressions are polysemous and topic-specific. Yet if so, then compositional pluralism is true. (shrink)

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)

In this paper, we describe the conceptual elusiveness of the notion of function as used in engineering practice. We argue that it should be accepted as an ambiguous notion, and then review philosophical argumentations in which engineering functions occur in order to identify the consequences of this ambiguity. Function is a key notion in engineering, yet is used by engineers systematically in a variety of meanings. First, we demonstrate that this ambiguous use is rational for engineers by considering the role (...) of functions in design methods and by analysing the ambiguity in terms of Kuhn’s notion of methodological incommensurability. Second, we discuss ontological and mereological analyses of engineering functions and describe a proof that subfunctions cannot formally be taken as parts of the functions they decompose. Engineering functions figure sometimes in philosophical work and are then typically taken as having an unambiguous, well-defined meaning. Finally, we therefore revisit work in philosophy of technology on the dual nature of technical artefacts, in philosophy of science on functional and mechanistic explanations, and in philosophy of biology on biological functions, and explore the consequences of the fact that engineering function is an ambiguous notion. It is argued that one of these consequences may be that also the notion of biological function has an ambiguous meaning. (shrink)

In this paper, we describe the conceptual elusiveness of the notion of function as used in engineering practice. We argue that it should be accepted as an ambiguous notion, and then review philosophical argumentations in which engineering functions occur in order to identify the consequences of this ambiguity. Function is a key notion in engineering, yet is used by engineers systematically in a variety of meanings. First, we demonstrate that this ambiguous use is rational for engineers by considering the role (...) of functions in design methods and by analysing the ambiguity in terms of Kuhn’s notion of methodological incommensurability. Second, we discuss ontological and mereological analyses of engineering functions and describe a proof that subfunctions cannot formally be taken as parts of the functions they decompose. Engineering functions figure sometimes in philosophical work and are then typically taken as having an unambiguous, well-defined meaning. Finally, we therefore revisit work in philosophy of technology on the dual nature of technical artefacts, in philosophy of science on functional and mechanistic explanations, and in philosophy of biology on biological functions, and explore the consequences of the fact that engineering function is an ambiguous notion. It is argued that one of these consequences may be that also the notion of biological function has an ambiguous meaning. (shrink)

Mereological atomism is the thesis that everything is ultimately composed of atomic parts, i.e., parts lacking proper parts. Standardly, this thesis is characterized by an axiom that says, more simply, that everything has atomic parts. Anthony Shiver has argued that this characterization is satisfied by models that are not atomistic, and is therefore inadequate. I argue that Shiver’s conclusion can and ought to be resisted, for the models in question are atomistic in the intended sense, and even though the standard (...) characterization does not say that everything is composed of atoms, it implies so. If there is a sense in which the relevant models are problematic, it lies elsewhere. (shrink)

One of the innovative approaches in contemporary philosophical ontology consists in the assumption of a plurality of ontologies based on different metaphysical presuppositions. Such presuppositions involve, among others, the identification of relevant properties for the objects of our domain as a guiding principle in uncovering what it is to be considered intrinsic and what could be the mere effect of selection preferences based on objective or subjective criteria. A remarkable example of the application of a background metaphysical theory in astrophysics (...) is the problem of selection biases in detecting cosmological objects, such as supernovae, galaxies and gamma-ray bursts. We will show that it is valuable to be aware of the importance of uncovering this type of background theory to better understand selection effects and to promote a novel approach in scientific research. (shrink)

Atomism is the thesis that every object is composed of atoms. This principle is generally regimented by means of an atomicity axiom according to which every object has atomic parts. But there appears to be a sense that something is amiss with atomistic mereology. We look at three concerns, which, while importantly different, involve infinite descending chains of proper parts and have led some to question standard formalizations of atomism and composition in mereology.

It is customary practice to define ‘x is composed of the ys’ as ‘x is a sum of the ys and the ys are pairwise disjoint ’. This predicate has played a central role in the debate on the special composition question and on related metaphysical issues concerning the mereological structure of objects. In this note we show that the customary characterization is nonetheless inadequate. We do so by constructing a mereological model where everything qualifies as composed of atoms even (...) though some elements in the domain are gunky, i.e., can be divided indefinitely into smaller and smaller proper parts. (shrink)

A well-rehearsed move among teleological realists in the philosophy of biology is to base the idea of genuinely teleological forms of organic self-reproduction on a type of causality derived from Kant. Teleological realists have long argued for the causal possibility of this form of causality—in which a whole is considered the cause of its parts—as well as formulated a set of teleological criteria of adequacy for it. What is missing, to date, is an account of the mereological principles that govern (...) the envisioned whole-to-part causality. When the latter principles are taken into account, we find that there is no version of whole-to-part causality that is mereologically, causally and teleologically possible all at once, as teleological realism requires. (shrink)

This article introduces finitist set theory (FST) and shows how it can be applied in modeling finite nested structures. Mereology is a straightforward foundation for transitive chains of part-whole relations between individuals but is incapable of modeling antitransitive chains. Traditional set theories are capable of modeling transitive and antitransitive chains of relations, but due to their function as foundations of mathematics they come with features that make them unnecessarily difficult in modeling finite structures. FST has been designed to function as (...) a practical tool in modeling transitive and antitransitive chains of relations without suffering from difficulties of traditional set theories, and a major portion of the functionality of discrete mereology can be incorporated in FST. This makes FST a viable collection theory in ontological modeling. (shrink)

A wide range of gene knockout experiments shows that functional stability is an important feature of biological systems. On this backdrop, we present an argument for higher‐level causation based on counterfactual dependence. Furthermore, we sketch a metaphysical picture providing resources to explain the metaphysical nature of functional stability, higher‐level causation, and the relevant notion of levels. Our account aims to clarify the role empirical results and philosophical assumptions should play in debates about reductionism and higher‐level causation. It thereby contributes to (...) the development of a philosophical foundation for systems biology. †To contact the authors, please write to: CSMN/IFIKK, University of Oslo, Box 1020 Blindern, N‐0315, Oslo, Norway; e‐mail: [email protected] , [email protected]. (shrink)

Summary The present article is a partly ontological, partly Gestalt-psychological discussion of the thinkability of structures in which parts and whole are interdependent (MI). In the first section, I show that in the framework of E. Husserl’s formal part–whole ontology, the conceptualization of such an interdependence leads to (mereo)logical problems. The second section turns to and affirms the experience of this interplay between parts and whole, exemplified with B. Pinna’s recent research on meaningful Gestalt perception. In the final section, I (...) take the experienceability of MI as a justification to suggest a way of rethinking it. This entails an implementation of the process of foregrounding and backgrounding displayed by reversible figures and originally described by E. Rubin. This can avoid both an identity relation between parts and whole and their mutual exclusion as well as hierarchization due to their apparent differences. It would also guarantee the inherent dynamics of interdependence. (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)

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)

Classical mereology is a particularly strong theory about the part–whole relation. Not only does it ensure that any collection of entities composes a whole, or ‘fusion’, it also states that this object is unique: no two entities have the same parts. Recently, Claudio Calosi (dialectica 68(1):121–139, 2014) has argued that this extensional aspect makes classical mereology incompatible with multilocated entities. Calosi’s argument is arguably the most precise one from a whole battery of arguments to the effect that some mereological principle (...) is at odds with multilocation. Still, I show that Calosi’s arguments fail and that classical mereology is a safe space for multilocation. Moreover, I argue that the question of extensionality is orthogonal to the question of multilocation. (shrink)

Classical mereology is a particularly strong theory about the part–whole relation. Not only does it ensure that any collection of entities composes a whole, or ‘fusion’, it also states that this object is unique: no two entities have the same parts. Recently, Claudio Calosi (dialectica 68(1):121–139, 2014) has argued that this extensional aspect makes classical mereology incompatible with multilocated entities. Calosi’s argument is arguably the most precise one from a whole battery of arguments to the effect that some mereological principle (...) is at odds with multilocation. Still, I show that Calosi’s arguments fail and that classical mereology is a safe space for multilocation. Moreover, I argue that the question of extensionality is orthogonal to the question of multilocation. (shrink)

In debates about the metaphysics of material objects examples of colocated objects are commonly taken to be examples of coincidence too. But the argument that colocation is best understood as involving coincidence is never spelled out. This paper shows under what conditions colocation entails coincidence and argues that the entailment depends on a principle that actually rules out certain forms of colocation. This undermines the argument from colocation to coincidence.

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.

One of the more persistent debates in mereology is whether distinct wholes can have the same parts. Extensional mereologists hold that if there is no part that makes the difference, then there is nothing to distinguish the wholes, so sameness of parts implies identity. Non-extensionalists, however, do think there are cases where distinct wholes share all their parts. This paper argues that the kind of argument non-extensionalists employ can also be levelled against a widely accepted extensionality principle of plural logic. (...) Non-extensionalists thus face a dilemma: either give up the argument for non-extensional mereology, or deny both the extensionality principle of mereology and the analogous principle for plural logic. (shrink)

Orthodoxy has it that mereological composition can never be a vague matter, for if it were, then existence would sometimes be a vague matter too, and that's impossible. I accept that vague composition implies vague existence, but deny that either is impossible. In this paper I develop degree-theoretic versions of quantified modal logic and of mereology, and combine them in a framework that allows us to make clear sense of vague composition and vague existence, and the relationships between them.

The standard definition of atomicity—the thesis that everything is ultimately composed of entities that lack proper parts—is satisfied by a model that is not atomistic. The standard definition is therefore an incorrect characterization of atomicity. I show that the model satisfies the axioms of all but the strongest mereology and therefore that the standard definition of atomicity is only adequate given some controversial metaphysical assumptions. I end by proposing a new definition of atomicity that does not require extensionality or unrestricted (...) summation. (shrink)

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

We argue that a formal semantics for music can be developed, although it will be based on very different principles from linguistic semantics and will yield less precise inferences. Our framework has the following tenets: Music cognition is continuous with normal auditory cognition. In both cases, the semantic content derived from an auditory percept can be identified with the set of inferences it licenses on its causal sources, analyzed in appropriately abstract ways. What is special about music semantics is that (...) it aggregates inferences based on normal auditory cognition with further inferences drawn on the basis of the behavior of voices in tonal pitch space. This makes it possible to define an inferential semantics but also a truth-conditional semantics for music. In particular, a voice undergoing a musical movement m is true of an object undergoing a series of events e just in case there is a certain structure-preserving map between m and e. Aspects of musical syntax might be derivable on semantic grounds from an event mereology, which also explains some cases in which tree structures are inadequate for music. Intentions and emotions may be attributed at several levels, and we speculate on possible explanations of the special relation between music and emotions. (shrink)

This paper compares the two known logical forms of hierarchy, both of which have been used in models of natural phenomena, including the biological. I contrast their general properties, internal formal relations, modes of growth (emergence) in applications to the natural world, criteria for applying them, the complexities that they embody, their dynamical relations in applied models, and their informational relations and semiotic aspects.

Current Perspectives in Philosophy of Biology.

The point of this paper is to bring together three topics: non-existent objects, mereology, and nothing. There are important inter-connections, which it is my aim to spell out, in the service of an account of the last of these.

We contribute to the ongoing discussion on mathematical structuralism by focusing on a question that has so far been neglected: when is a structure part of another structure? This paper is a first step towards answering the question. We will show that a certain conception of structures, abstractionism about structures, yields a natural definition of the parthood relation between structures. This answer has many interesting consequences; however, it conflicts with some standard mereological principles. We argue that the tension between abstractionism (...) about structure and classical mereology is an interesting result and conclude that the mereology of abstract structures is a subject that deserves further exploration. We also point out some connections between our discussion of the mereology of structures and recent work on non-well-founded mereologies. (shrink)

I argue that wholes are neither identical to nor distinct from their parts. Instead, wholes are invariants under some transformations in their parts. Similarly, higher-level properties are neither identical to nor distinct from their lower-level realizers. Instead, higher-level properties are aspects of their realizers that are invariant under some transformations in their realizers. Nowhere in this picture is there any ontological hierarchy between levels of composition or realization. Neither wholes nor their parts are more fundamental. Neither is prior. Neither reduces (...) to the other. Neither is eliminated. Ditto for higher-level properties and their lower-level realizers. Instead, wholes and their properties as well as parts and their properties are different yet invariant aspects of reality. The result is an egalitarian account of composition and realization. (shrink)

It is widely assumed that a geometric model of boundaries, which prescribes a tripartite topological characterisation of the boundaries for material objects – fully open, fully closed, or partially open/closed – can be unproblematically extended from regions to material objects. Drawing on a disanalogy between regions and material objects – that only the latter move – I demonstrate the incoherence of open material objects through two arguments relating to the ability for such objects to freely move. The first is a (...) dilemma considering separately open material objects occupying their location directly or indirectly. It is argued that movement in the former case would involve a miraculous topological transformation; whilst in the latter case, would involve miraculous reorganising movements in the object's proper parts. The second argument reignites a problem regarding the moment of change specifically for the movement of such objects. (shrink)

I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...) their fusion, because the first two have a kind of internal organizational coherence that their putative fusion lacks. Kolmogorov complexity theory supplies the needed rigorous sense of “internal organizational coherence”. (shrink)

Theoria, EarlyView. -/- In his recent book Thin Objects, Øystein Linnebo (2018) argues for the existence of a hierarchy of abstract objects, sufficient to model ZFC, via a novel and highly interesting argument that relies on a process called dynamic abstraction. This paper presents a way for a nominalist, someone opposed to the existence of abstract objects, to avoid Linnebo's conclusion by rejecting his claim that certain abstraction principles are sufficient for reference (RBA). Section 1 of the paper explains Linnebo's (...) argument for RBA. It offers a reading of Linnebo's work upon which he has two arguments for RBA: one deductive and one abductive, and argues that whilst the deductive argument is unsound the abductive one is prima facie plausible. The nominalist must therefore find a way to respond to the abductive argument. Section 2 outlines just such a response, by offering an alternative explanation of the cases Linnebo wishes to argue from. Most interestingly, it shows that abstraction in Linnebo's most difficult case (the “reference to ordinary bodies” case) can be achieved using mereological means, rather than relying on RBA. (shrink)

Derek Parfit’s thesis that identity doesn’t matter in survival has been extensively discussed except for its metaphysical robustness. How can we justify the abandonment of identity in the way Parfit suggests? My argument is the following. Those who want to endorse the thesis that identity doesn’t matter (and, therefore, abandon identity across time) should adopt exdurantism, i.e. a metaphysics according to which the world is composed by temporal parts each existing at a time and according to which there is nothing (...) as a numerically same entity which exists at different times. I show that the metaphysics behind Parfit’s theory is neither compatible with endurantism, according to which object persists by being wholly present at different times, nor with perdurantism, according to which entities are aggregates of temporal and spatial parts. (shrink)

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

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but plural logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets when characterizing their semantics, we arrive at a Russellian paradox. And if we use predicate logic and mereoogical ums, the semantics turns out (...) to be too weak. We then develop an account where mass nouns are treated as non-singular terms. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: "The silverware that is on the table comes from Italy." We show that this account provides a satisfactory semantics for a wide range of sentences. (shrink)

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but non-singular logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets, we arrive at a Russellian paradox when characterizing the semantics of mass nouns. Likewise, a semantics of mass nouns based upon predicate logic (...) and mereological sums is too weak, since it cannot characterize the “intermediary” construals that sentences containing mass nouns may receive. We then develop an account where mass nouns are treated as non-singular terms, which may refer to several things at once. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: “The silverware that is on the table comes from Italy”. We show that this account provides a satisfactory semantics for a wide range of sentences, including cases often seen as difficult, like “The gold on the table weighs seven ounces” (Bunt 1985) and “All phosphorus is either red or black” (Roeper 1983). (shrink)

In ‘Essential stuff' (2008) and ‘Stuff' (2009), Kristie Miller argues that two generally accepted theses, often formulated as follows, are incompatible: - (Temporal) mereological essentialism for stuff (or matter), the thesis that any portion of stuff has the same parts at every time it exists. - Stuff composition, the thesis that for any two portions of stuff, there exists a portion of stuff that is their mereological sum (or fusion). She does this by considering competing hypotheses about stuff, trying to (...) prove inconsistency in all cases and with all corresponding understandings of mereological essentialism and stuff composition. I explain why, from an endurantist standpoint, her argument does not go through. (shrink)

Realists wanting to capture the facts of quantum entanglement in a metaphysical interpretation find themselves faced with several options: to grant some species of fundamental nonseparability, adopt holism, or to view localized spacetime systems as ultimately reducible to a higher-dimensional entity, the quantum state or wave function. Those adopting the latter approach and hoping to view the macroscopic world as grounded in the quantum wave function face the macro-object problem. The challenge is to articulate the metaphysical relation obtaining between three-dimensional (...) macro-objects and the wave function so that the latter may be seen in some sense as constituting the former. This paper distinguishes several strategies for doing so and defends one based on a notion of partial instantiation. (shrink)

A dilemma has stymied interpretations of the Stranger’s method of dividing kinds into subkinds in Plato’sSophistandStatesman. The dilemma assumes that the kinds are either extensions or intensions. Now kinds divide like extensions, not intensions. But extensions cannot explain the distinct identities of kinds that possess the very same members. We propose understanding a kind as like an animal body—the Stranger’s simile for division—possessing both an extension and an intension. We find textual support in the Stranger’s paradigmatic four steps for collecting (...) a subkind. (shrink)