Two kinds of individuals are distinguished: abstract and concrete. Whereas abstract individuals belong to our conceptual sphere, concrete individuals (i.e. particulars) individuate the world of matter. A subject investigating the external world projects abstract individuals onto concrete ones. The proposal offers a solution to various metaphysical and epistemological puzzles concerned with individuals, e.g., the Ship of Theseus, the Polish Logician, problems with reidentification, or proper names.

La philosophie analytique est ici considérée à son point de départ. Les conditions de l’expression sont vues comme synonymes de celles de la pensée. Une entreprise d’explicitation est à cette suite appliquée en retour à la méthode scientifique qui était auparavant le modèle. La distinction de la syntaxe et de la sémantique, commandée par l’analyse logique, est alors appliquée à l’ensemble des systèmes de représentation: oeuvre d’art, action humaine, esprit. Cette évolution montre un souci essentiel: l’instrument technique de la connaissance.

There are, by now, many rival, sophisticated philosophical accounts of causation that qualify as ‘metaphysically reductive’. This is a good thing: these collective efforts have vastly improved our understanding of causation over the last 30 years or so. They also put us in an excellent position to reflect on some central methodological questions: What exactly is the point of offering a metaphysical reduction of causation? What philosophical scruples ought to guide the pursuit of such a reduction? Finally, how should answers (...) to these latter questions affect one’s assessment of the main contemporary approaches? That’s what we investigate in this essay. Section 1 lays out our presuppositions. Section 2 reviews a sample of philosophical accounts. Then comes the main event: Section 3 looks in detail at the foregoing methodological questions, closing with a reconsideration of our sample accounts, in light of what we’ve found. (shrink)

A predicate logic typically has a heterogeneous semantic theory. Subjects and predicates have distinct semantic roles: subjects refer; predicates characterize. A sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. Traditional term logic, by contrast, has a homogeneous theory: both subjects and predicates refer; and a sentence is true if the subject and predicate name one and the same thing. In this paper, I will examine evidence for ascribing to Aristotle the (...) view that subjects and predicates refer. If this is correct, then it seems that Aristotle, like the traditional term logician, problematically conflates predication and identity claims. I will argue that we can ascribe to Aristotle the view that both subjects and predicates refer, while holding that he would deny that a sentence is true just in case the subject and predicate name one and the same thing. In particular, I will argue that Aristotle's core semantic notion is not identity but the weaker relation of constitution. For example, the predication ‘All men are mortal’ expresses a true thought, in Aristotle's view, just in case the mereological sum of humans is a part of the mereological sum of mortals. (shrink)

Here is a puzzle from the Stoic, Chrysippus: There was once a man called Dion, who was unfortunate enough to have his foot annihilated. Thereafter, he was known as Theon. Theon is identical to what was left over after Dion’s foot was removed. That is, Theon is that part of Dion that does not include his foot. If all this is true, then Theon is a proper part of Dion. That is, he is a part of Dion, but not identical (...) to Dion. But if that’s right, then, surprisingly, Dion didn’t survive the loss of his foot. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

I argue for a property mereology and for mereological bundle theory. I then apply this theory to the one over many problem (universals) and puzzles concerning persistence and material constitution.

Considering topology as an extension of mereology, this paper analyses topological variants of mereological essentialism (the thesis that an object could not have different parts than the ones it has). In particular, we examine de dicto and de re versions of two theses: (i) that an object cannot change its external connections (e.g., adjacent objects cannot be separated), and (ii) that an object cannot change its topological genus (e.g., a doughnut cannot turn into a sphere). Stronger forms of structural essentialism, (...) such as morphological essentialism (an object cannot change shape) and locative essentialism (an object cannot change position) are also examined. (shrink)

Establishing Dispositionalism as a viable theory of modality requires the successful fulfilment of two tasks: showing that all modal truths can be derived from truths about actual powers, and offering a suitable metaphysics of powers. These two tasks are intertwined: difficulties in one can affect the chances of success in the other. In this paper, I generalise an objection to Dispositionalism by Jessica Leech and argue that the theory in its present form is ill-suited to account for de re truths (...) about merely possible entities. I argue that such difficulty is rooted in a problem in the metaphysics of powers. In particular, I contend that the well-known tension between two key principle of powers ontology, namely Directedness and Independence has received an unsatisfactory solution so far, and that it is this unsatisfactory solution concerning the status of “unmanifested manifestations” that makes it hard for Dispositionalism to account for mere possibilia. I develop a novel account of the status of unmanifested manifestations and an overall metaphysics of powers which allows to better respond to Leech's objection and handle mere possibilia. The central idea of the proposal is that unmanifested manifestations are akin to mere logical existents, and are best characterised as non-essentially non-located entities. (shrink)

The question of whether it is permissible to quantify into a modal context is re-examined from an empiricist perspective. Following Wiggins, it is argued that an ontology of continuants implies essentialism, but it is also argued, against Wiggins, that the only conception of necessity that we need to start out with is that of analyticity. Essentialism, of a limited kind, can then be actually generated from this. An exceptionally fine-grained identity criterion for continuants is defended in this context. The debate (...) between Wiggins and Ayer over the legitimacy of de re modality is then examined in the light of these results, and it is argued that my position is consistent with Ayer’s minimalist assumptions. It is also argued that non-continuants will not sustain the essential/accidental distinction, thus giving some concessions to the sceptics. It is also shown that there are close connections between these issues and the more modern two-dimensionalist way of disentangling the necessary from the a posteriori, and that the latter needs to learn from the former. (shrink)

Neste artigo é defendida a tese de que a noção aristotélica de perfeição silogística não é completamente arbitrária e reflete características lógicas, apesar de alguns aspectos não lógicos. Em consonância com a sugestão de alguns intérpretes de que a validade dos silogismos em primeira figura se fundamenta no dictum de omni et nullo, será apontado como essa fundamentação se desdobra em procedimentos dedutivos encontrados nos textos de Aristóteles. Tomando definições ou explicitações das proposições categóricas como parâmetro, a perfeição ou imperfeição (...) de um silogismo, independentemente das relações de prova que se adote entre as figuras silogísticas, não se mostra arbitrária. (shrink)

Priority monism is the doctrine that there is only one basic object: the entire cosmos. Priority monists often take this to be a metaphysically necessary thesis. I explore the consequences of modalizing the priority monist thesis. I argue that, modulo some assumptions, the modalized thesis entails the necessary existence of the actual cosmos. I further argue that, if the modalized thesis is true, and the actual cosmos necessarily exists, then the only possible concrete objects are the actually existing ones.

The proper sensible criterion of sensory individuation holds that senses are individuated by the special kind of sensibles on which they exclusively bear about (colors for sight, sounds for hearing, etc.). H. P. Grice objected to the proper sensibles criterion that it cannot account for the phenomenal difference between feeling and seeing shapes or other common sensibles. That paper advances a novel answer to Grice's objection. Admittedly, the upholder of the proper sensible criterion must bind the proper sensibles –i.e. colors– (...) to the common sensibles –i.e. shapes– so as to account for the visual phenomenal character of shapes. But, as Grice rightly objected, neither association, nor ontological dependence will do –I spend some time isolating why dependence is a bad answer here, basically because the dependence of shape on colors is generic, and that genericity is arguably not part of the phenomenal content of perception. -/- Grice is wrong, however, to think that once association and dependence have been rebutted, there is no other way to attach color to extension. The right way to connect proper and common sensibles is rather trivial, although it seems to have been widely neglected: proper sensibles FILL common ones. To see a shape, by contrast to feeling it, is to perceived as filled by some color. To feel a shape, is to perceive it as, say, filled by pressure. Filling in is the phenomenal connection between proper and common sensibles. -/- One important corollary of that proposal is that proper sensibles –color, pressure, noise, taste...– have to belong to the category of stuffs, in the sense of uncountable entities. Against the widespread view that colors are properties, which have countable instances, the last part of the paper argues that colors are phenomenal stuffs, which fill some visual area. One commits a category mistake in asking: "How many tropes/instances of this determinate redness is there on that ladybird". One should rather ask "How much of this determinate redness is there on that ladybird". (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)

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)

Samuel Johnson claimed to have refuted Berkeley by kicking a stone. It is generally thought that Johnson misses the point of Berkeley's immaterialism for a rather obvious reason: Berkeley never denied that the stone feels solid, but only that the stone could exist independently of any mind. I argue that Johnson was on the right track. On my interpretation, Johnson’s idea is that because the stone feels to resist our effort, the stone seems to have causal powers. But if appearances (...) are to be taken at face value, as Berkeley insists, then the stone has causal powers. I argue that such causal powers threaten not only Berkeley’s view that only minds are active, but also, and more fundamentally, his central claim that sensible things depend on perception. (shrink)

Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific (...) treatment of this world relate to traditional and contemporary metaphysics and formal ontology? Can we embrace a thesis of common-sense realism to the effect that the world of common sense exists uniquely? Or must we adopt instead a position of cultural relativism which would assign distinct worlds of common sense to each group and epoch? The present paper draws on recent work in computer science (especially in the fields of naive and qualitative physics), in perceptual and developmental psychology, and in cognitive anthropology, in order to consider in a new light these and related questions and to draw conclusions for the methodology and philosophical foundations of the cognitive sciences. (shrink)

Elselijn Kingma argues that, in cases of mammalian placental pregnancy, the foster (roughly, the post-implantation embryo/foetus) is part of the gravida (the pregnant organism). But she does not consider the possibility of proper overlap. I show that this generates a number of serious problems for her argument and trace the oversight to a quite general issue within the literature on biological individuality. Doing so provides an opportunity to pull apart and clarify the relations between some importantly distinct questions concerning organismality (...) and organismic parthood, and to identify the implications that this has for those who want to draw on this literature when making metaphysical or mereological arguments. (shrink)

Vere Chappell has pointed out that it is not clear whether Locke has a well-developed ontology or even whether he is entitled to have one.2 Nevertheless, it is clear that Locke believes that there are organisms, and it is clear that he thinks that there are substances. But does he believe that organisms are substances? There are certainly parts of the Essay in which Locke seems unequivocally to state that organisms are substances. For instance, in 2.23.3 Locke uses men and (...) horses as examples of substances. In Locke’s most explicit the account of abstraction, given in 3.3.7-9, organism [vivens] is treated as a sub-species of body and body as a sub-species of substance; so, by transitivity, organism is a kind of substance. Finally, in his discussion of essences in 3.6, Locke uses all of the following organisms as examples of substances: horses, mules, men, sheep, goats, plants, drills, changelings, asses, bulls, cats, and rats. This textual evidence would seem to settle the matter about the ontological status of organisms. However, there are other parts of the Essay in which the ontological status of organisms is less clear, to say the least. In fact, there are texts in which Locke seems to state (or at least to be committed to the.. (shrink)

What follows is a contribution to the theory of space and of spatial objects. It takes as its starting point the philosophical subfield of ontology, which can be defined as the science of what is: of the various types and categories of objects and relations in all realms of being. More specifically, it begins with ideas set forth by Aristotle in his Categories and Metaphysics, two works which constitute the first great contributions to ontological science. Because Aristotle’s ontological ideas were (...) developed prior to the scientific discoveries of the modern era, he approached the objects and relations of everyday reality with the same ontological seriousness with which scientists today approach the objects of physics. We shall seek to show that what Aristotle has to say about these commonsensical objects and relations can, when translated into more formal terms, be of use also to contemporary ontologists. More precisely, we shall argue that his ideas can contribute to the development of a rigorous theory of those social and institutional components of everyday reality – the settings of human behavior – which are the subject of this volume. When modern-day philosophers turn their attentions to ontology they begin not with Aristotle but rather, in almost every case, with a set-theoretic ontology of the sort which is employed in standard model-theoretic semantics. Set-theoretic ontology sees the world in atomistic terms: it postulates a lowest level of atoms or urelements, from out of which successively higher levels of set-theoretic objects are then constructed. The approach to ontology to be defended here, in contrast, starts not with atoms but with the mesoscopic objects by which we are surrounded in our normal day-to-day.. (shrink)

Este artigo é uma breve introdução à filosofia da linguagem. Ele se concentra nos problemas que surgem a partir de dois conceitos centrais: referência e significado. Em particular, o foco central é no problema fundacional da referência e no problema descritivo do significado, assim como a relação entre eles. Embora esta de modo algum seja uma introdução exaustiva ao tema, muitos conceitos centrais são clarificados, como por exemplo teoria da referência, termo singular, termo geral, teoria do significado, composicionalidade, conteúdo, significado (...) linguístico, implicatura conversacional, vagueza, etc. Espera-se que sirva como um primeiro contato com a disciplina, principalmente voltado a estudantes de filosofia, filosofia da linguagem e áreas afins. (shrink)

The trope bundle theories of objects are capable of analyzing monadic inherence (objects having tropes), which is one of their main advantage. However, the best current trope theoretical account of relational tropes, namely, the relata specific view leaves relational inherence (a relational trope relating two or more entities) primitive. This article presents the first trope theoretical analysis of relational inherence by generalizing the trope theoretical analysis of inherence to relational tropes. The analysis reduces the holding of relational inherence to the (...) obtaining of certain other facts about entities of the trope theoretical category system. Moreover, I show that the analysis can deal with asymmetric and non-symmetric relations by assuming that all relation-like tropes are quantities. Finally, I provide an account of the spatial location of tropes in the difficult case in which tropes contribute to determining of the location of other entities. (shrink)

In this paper it is argued that existing ‘self-representational’ theories of phenomenal consciousness do not adequately address the problem of higher-order misrepresentation. Drawing a page from the phenomenal concepts literature, a novel self-representational account is introduced that does. This is the quotational theory of phenomenal consciousness, according to which the higher-order component of a conscious state is constituted by the quotational component of a quotational phenomenal concept. According to the quotational theory of consciousness, phenomenal concepts help to account for the (...) very nature of phenomenally conscious states. Thus, the paper integrates two largely distinct explanatory projects in the field of consciousness studies: (i) the project of explaining how we think about our phenomenally conscious states, and (ii) the project of explaining what phenomenally conscious states are in the first place. (shrink)

We presuppose a position of scientific realism to the effect (i) that the world exists and (ii) that through the working out of ever more sophisticated theories our scientific picture of reality will approximate ever more closely to the world as it really is. Against this background consider, now, the following question: 1. Do the empirical theories with the help of which we seek to approximate a good or true picture of reality rest on any non-empirical presuppositions? One can answer (...) this question with either a 'yes' or a 'no'. 'No' is the preferred answer of most contemporary methodologists -- Murray Rothbard is one distinguished counterexample to this trend -- who maintain that empirical theories are completely free of non-empirical ('a priori') admixtures and who see science as a matter of the gathering of pure 'data' obtained through simple observation. From such data scientific propositions are then supposed to be somehow capable of being established. (shrink)

Some claim that Composition as Identity (CI) entails Mereological Essentialism (ME). If this is right, then we have an effective modus tollens against CI: ME is clearly false, so CI is, too. Rather than deny the conditional, I will argue that a CI theorist should embrace ME. I endorse a theory of modal parts such that ordinary objects are spatially, temporally, and modally extended. Accepting modal parts is certainly beneficial to CI theorists, but it also provides elegant solutions to the (...) traditional puzzles of constitution, making it a competitive move in its own right. (shrink)

Does the Ship of Theseus present a genuine puzzle about persistence due to conflicting intuitions based on “continuity of form” and “continuity of matter” pulling in opposite directions? Philosophers are divided. Some claim that it presents a genuine puzzle but disagree over whether there is a solution. Others claim that there is no puzzle at all since the case has an obvious solution. To assess these proposals, we conducted a cross-cultural study involving nearly 3,000 people across twenty-two countries, speaking eighteen (...) different languages. Our results speak against the proposal that there is no puzzle at all and against the proposal that there is a puzzle but one that has no solution. Our results suggest that there are two criteria—“continuity of form” and “continuity of matter”— that constitute our concept of persistence and these two criteria receive different weightings in settling matters concerning persistence. (shrink)

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider (...) the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. (shrink)

One of the promising approaches to the problem of consciousness has been the Higher-Order Monitoring Theory of Consciousness. According to the Higher-Order Monitoring Theory, a mental state M of a subject S is conscious iff S has another mental state, M*, such that M* is an appropriate representation of M. Recently, several philosophers have developed a Higher-Order Monitoring theory with a twist. The twist is that M and M* are construed as entertaining some kind of constitutive relation, rather than being (...) logically independent of each other. We may call this the Same-Order Monitoring Theory of Consciousness. In this paper, I discuss the nature of the Same-Order Monitoring Theory and argue for its superiority over the more traditional Higher-Order Monitoring Theory. (shrink)

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...) 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)

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.

It is a standard assumption in contemporary metaphysics that concrete objects come with a location in space and time. This applies not only to material objects and events, but also modes (such as the roundness of the apple, the softness of the pillow, Socrates' wisdom) and entities that have been called 'disturbances' (e.g. holes, folds, faults, and scratches). Taking the approach of descriptive metaphysics, I will show that modes and disturbances fail to have a bearer-independent spatial location. This allows for (...) a metaphysical explanation of the Chomskyan contrast between 'There is a fly believed to be in the bottle' and the unacceptable 'There is a flaw believed to be in the argument'. A subsidiary point this paper makes is that in their lack of a direct spatial location, modes need to be sharply distinguished from tropes as a category of foundationalist metaphysics that has been at the center of a pursuit of a one-category ontology since Williams (1953). (shrink)

I offer a diagnosis of the parallelism between the Doctrine of Potential Parts and the Doctrine of Potential Wholes and briefly examine its bearing on Johansson’s account of the Tibbles-Tib Problem.

In Metaphysics of States of Affairs, Bo Meinertsen reviews and works out several underdeveloped points in the existing scholarly debate on states of affairs, and presents his own original account in detail. In this paper, we raise three problems for Meinertsen’s account and draw attention to an alternative view that, though not discussed in the book, is not beset by these problems.

It’s widely accepted that we have most reason to accept theories that best fulfill the following naturalistically respectable criteria: internal consistency, consistency with the facts, and exemplification of the theoretical virtues. It’s also widely accepted that metaphysical theories are necessarily true. I argue that if you accept the aforementioned criteria, you have most reason to reject that metaphysical theories are necessarily true. By applying the criteria to worlds that are all prima facie possible, I show that contingent local matters of (...) particular fact partly determine which theory of composition we should accept at a world. For instance, I argue that when we apply the criteria to our world, we should accept Mereological Nihilism. Furthermore, even if you think that the worlds I mention, such as gunky worlds, are impossible, you should still reject the brute principle that metaphysical theories are necessarily true. Instead, you should only accept that a theory of composition is necessarily true if contingent local matters of particular fact at possible worlds cannot tell in favor of one theory of composition over another. (shrink)

It’s widely accepted that we have most reason to accept theories that best fulfill the following naturalistically respectable criteria: (1) internal consistency, (2) consistency with the facts, and (3) exemplification of the theoretical virtues. It’s also widely accepted that metaphysical theories are necessarily true. I argue that if you accept the aforementioned criteria, you have most reason to reject that metaphysical theories are necessarily true. By applying the criteria to worlds that are all prima facie possible, I show that contingent (...) local matters of particular fact partly determine which theory of composition we should accept at a world. For instance, I argue that when we apply the criteria to our world, we should accept Mereological Nihilism. Furthermore, even if you think that the worlds I mention, such as gunky worlds, are impossible, you should still reject the brute principle that metaphysical theories are necessarily true. Instead, you should only accept that a theory of composition is necessarily true if contingent local matters of particular fact at possible worlds cannot tell in favor of one theory of composition over another. (shrink)

European Journal of Philosophy, EarlyView.

In the third chapter of his major work, the Controversy over the Existence of the World, Roman Ingarden discusses four varieties of dependence entities might exhibit. The aim of this essay is to explore these varieties and to put the claims Ingarden makes concerning them on a rigorous footing.

Catholic opponents of abortion and embryonic stem cell research usually base their position on a hylomorphic account of ensoulment at fertilization. They maintain that we each started out as one-cell ensouled organisms. Critics of this position argue that it is plagued by a number of intractable problems due to fission (twinning) and fusion. We're unconvinced that such objections to early ensoulment provide any reason to doubt the coherence of the hylomorphic account. However, we do maintain that a defense of ensoulment (...) at fertilization must deny that we're essentially organisms. (shrink)

We argue that mereological essentialism for events is independent of mereological essentialism for objects, and that the philosophical fallout of embracing mereological essentialism for events is minimal. We first outline what we should consider to be the parts of events, and then highlight why one would naturally be inclined to think that the object-question and the event-question are linked. Then, we argue that they are not. We also diagnose why this is the case and emphasize the upshot. In particular, we (...) argue that the way we evaluate modal claims which concern events differs from the way we evaluate modal claims which concern objects. Ultimately, then, to our title question we say: the answer does not matter as much as you might think. (shrink)

It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of (...) solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions. (shrink)

It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of (...) solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions. (shrink)

Mereological Nominalism, as traditionally understood, states that properties are mereological wholes and that instantiation is mereological. Thus defined, this view faces a number of well-known issues, which make it virtually untenable. Recently, Effingham :160–185, 2020) has offered an alternative account of Mereological Nominalism, which intends to avoid these problems by accepting while rejecting. In this paper, we argue that this theory is not viable for two main reasons. First, it faces a threat of circularity. Second, the various non-mereological accounts of (...) instantiation envisioned by Effingham in order to replace seem inconsistent with. (shrink)

This paper explains the metaphysical implications of the view that species are individuals (SAI). I first clarify SAI in light of the separate distinctions between individuals and classes, particulars and universals, and abstract and concrete things. I then show why the standard arguments given in defense of SAI are not compelling. Nonetheless, the ontological status of species is linked to the traditional "species problem," in that certain species concepts do entail that species are individuals. I develop the idea that species (...) names are rigid designators and show how this provides additional motivation for SAI. (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)

In this paper, I defend an indexical analysis of the abstract-concrete distinction within the framework of modal realism. This analysis holds the abstract-concrete distinction to be conceptually inseparable from the distinction between the actual and the merely possible, which is assumed to be indexical in nature. The resulting view contributes to the case for modal realism by demonstrating how its distinctive resources provide a reductive analysis of the abstract-concrete distinction. This indexical analysis also provides a solution to a sceptical problem (...) regarding our concreteness, which parallels the sceptical problem that motivates indexicalism about actuality. (shrink)