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 paper argues that no second order theory is ontologically commited to anything beyond what its individual variables range over.

Critics of contemporary metaphysics argue that it attempts to do the hard work of science from the ease of the armchair. Physics, not metaphysics, tells us about the fundamental facts of the world, and empirical psychology is best placed to reveal the content of our concepts about the world. Exploring and understanding the world through metaphysical reflection is obsolete. In this paper, I will show why this critique of metaphysics fails, arguing that metaphysical methods used to make claims about the (...) world are similar to scientific methods used to make claims about the world, but that the subjects of metaphysics are not the subjects of science. Those who argue that metaphysics uses a problematic methodology to make claims about subjects better covered by natural science get the situation exactly the wrong way around: metaphysics has a distinctive subject matter, not a distinctive methodology. The questions metaphysicians address are different from those of scientists, but the methods employed to develop and select theories are similar. In the first section of the paper, I will describe the sort of subject matter that metaphysics tends to engage with. In the second section of the paper, I will show how metaphysical theories are classes of models and discuss the roles of experience, common sense and thought experiments in the construction and evaluation of such models. Finally, in the last section I will discuss the way these methodological points help us to understand the metaphysical project. Getting the right account of the metaphysical method allows us to better understand the relationship between science and metaphysics, to explain why doing metaphysics successfully involves having a range of different theories, to understand the role of thought experiments involving fictional worlds, and to situate metaphysical realism in a scientifically realist context. (shrink)

This paper is a critical response to Eli Hirsch’s recent work in metaontology. Hirsch argues that several prominent ontological disputes about physical objects are verbal, a conclusion he takes to vindicate common sense ontology. In my response, I focus on the debate over composition (van Inwagen’s special composition question). I argue that given Hirsch’s own criterion for a dispute’s being verbal – a dispute is verbal iff charity requires each side to interpret the other sides as speaking the truth in (...) their own languages –his case for verbalness comes up short. Hirsch ignores an important facet of charity, which I call charity to expressibility, viz. that we ought ceteris paribus to interpret linguistic communities as not speaking expressively impoverished languages. In fact, I argue that given his criterion, the debate over composition turns out nonverbal. I close by suggesting that even if the dispute over composition is nonverbal, the sides can arrive at a kind of limited conciliation through charitable interpretation of one another. Each side ought to interpret a great many of the other sides claims as “factual” even if false. (shrink)

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

Is conceptual relativity a genuine phenomenon? If so, how is it properly understood? And if it does occur, does it undermine metaphysical realism? These are the questions we propose to address. We will argue that conceptual relativity is indeed a genuine phenomenon, albeit an extremely puzzling one. We will offer an account of it. And we will argue that it is entirely compatible with metaphysical realism. Metaphysical realism is the view that there is a world of objects and properties that (...) is independent of our thought and discourse (including our schemes of concepts) about such a world. Hilary Putnam, a former proponent of metaphysical realism, later gave it up largely because of the alleged phenomenon that he himself has given the label ‘conceptual relativity’. One of the key ideas of conceptual relativity is that certain concepts—including such fundamental concepts as object, entity, and existence—have a multiplicity of different and incompatible uses (Putnam 1987, p. 19; 1988, pp. 110 14). According to Putnam, once we recognize the phenomenon of conceptual relativity we must reject metaphysical realism: The suggestion . . . is that what is (by commonsense standards) the same situation can be described in many different ways, depending on how we use the words. The situation does not itself legislate how words like “object,” “entity,” and “exist” must be used. What is wrong with the notion of objects existing “independently” of conceptual schemes is that there are no standards for the use of even the logical notions apart from conceptual choices.” (Putnam 1988, p. 114) Putnam’s intriguing reasoning in this passage is difficult to evaluate directly, because conceptual [1] relativity is philosophically perplexing and in general is not well understood. In this paper we propose a construal of conceptual relativity that clarifies it considerably and explains how it is possible despite its initial air of paradox. We then draw upon this construal to explain why, contrary to Putnam and others, conceptual relativity does not conflict with metaphysical realism, but in fact comports well with it.. (shrink)

The Received View of particles in quantum mechanics is that they are indistinguishable entities within their kinds and that, as a consequence, they are not individuals in the metaphysical sense and self-identity does not meaningfully apply to them. Nevertheless cardinality does apply, in that one can have n> 1 such particles. A number of authors have recently argued that this cluster of claims is internally contradictory: roughly, that having more than one such particle requires that the concepts of distinctness and (...) identity must apply after all. A common thread here is that the notion of identity is too fundamental to forego in any metaphysical account. I argue that this argument fails. I then argue that the failure of individuality and identity applies also to macroscopic physical objects, that the problems cannot be constrained to apply only within the microscopic realm. (shrink)

The first section of this paper introduces talk about absolutely everything -- the world as a totality -- as an integral element in the project of natural theology, as it has been presented by Fergus Kerr and Denys Turner respectively. The following section presents talk about the world as a totality of facts as a theme in philosophical logic and outlines a problem it has given rise to there. After confronting the solution originally suggested by Bertrand Russell and defended by (...) David Armstrong, the paper points to key elements of the solution presented by Wittgenstein in Tractatus Logico-Philosophicus. I show how Wittgenstein’s answer to the question of unrestricted quantification draws on his notion of showing and the inexpressible. Against this background, the concluding section draws attention to an important difference in ambition between Kerr’s and Turner’s description of the prospects for natural theology. (shrink)

Abstract: This paper explores the relevance of themes from Wittgenstein's Tractatus Logico-Philosophicus to the ongoing discussion of metaphysical nihilism. I set out by showing how metaphysical nihilism is of paramount importance for cosmological arguments. Metaphysical nihilism is the position that there might have been nothing. Two conflicting intuitions emerge from a survey of discussions of metaphysical nihilism: Firstly, that metaphysical nihilism is true, and secondly, that formulations of the position are somehow unclear or nonsensical. By considering formalizations of philosophical language, (...) the second intuition is sharpened, while the first intuition is given expression through the Tractarian distinction between what is said and what is shown by our symbolism. I conclude by exploring and rejecting objections to making metaphysical nihilism a scientific, rather than a philosophical question. (shrink)

Four-dimensionalism, the stage theory version in particular, has been defended as the best solution for avoiding vagueness in regards to composition, persistence and identity. Stage theory is highly problematic by itself, and the two views usually packed with it, unrestricted composition and counterpart theory, are a heavy burden. However, dispensing with these two views, four-dimensionalism could avoid vague persistence by issuing a criterion that would establish sharp temporal boundaries for the existence of genuine entities (simples, molecules and living organisms). This (...) would avoid vague existence and vague identity, but in a way that is still compatible with endurantism. Nevertheless, a minimal (substantialist) four-dimensionalism, a worm perdurantist ontology, would fit better with the unique way in which organisms persist: by retaining both identity and intrinsic change. (shrink)

Inspired by Cantor's Theorem (CT), orthodoxy takes infinities to come in different sizes. The orthodox view has had enormous influence in mathematics, philosophy, and science. We will defend the contrary view---Countablism---according to which, necessarily, every infinite collection (set or plurality) is countable. We first argue that the potentialist or modal strategy for treating Russell's Paradox, first proposed by Parsons (2000) and developed by Linnebo (2010, 2013) and Linnebo and Shapiro (2019), should also be applied to CT, in a way that (...) vindicates Countabilism. Our discussion dovetails with recent independently developed treatments of CT in Meadows (2015), Pruss (2020), and Scambler (2021), aimed at establishing the mathematical viability, and therefore epistemic possibility, of Countabilism. Unlike these authors, our goal isn't to vindicate the mathematical underpinnings of Countabilism. Rather, we aim to argue that, given that Countabilism is mathematically viable, Countabilism should moreover be regarded as true. After clarifying the modal content of Countabilism, we canvas some of Countabilism's many positive implications, including that Countabilism provides the best account of the pervasive independence phenomena in set theory, and that Countabilism has the power to defuse several persistent puzzles and paradoxes found in physics and metaphysics. We conclude that in light of its theoretical and explanatory advantages, Countabilism is more likely true than not. (shrink)

In this article I attempt to give an account of the thesis according to which composition is identity and of the criticisms that might be formulated against it. According to a weak version of the thesis, composition, in virtue of being analogous in important respects to identity, is as ontologically innocent as identity. According to the strong version of the thesis, composition is literally a species of the generic relation of identity, and is as ontologically innocent as any species of (...) identity. As we will see, the weak version begs the question or incurs in a non sequitur ; and the strong version is incoherent and faces a dilemma. Thus, composition is not identity: one thing cannot be identical to many things. (shrink)

Let’s call the sentence “why is there something rather than nothing?” the Question. There’s no consensus, of course, regarding which proposed answer to the Question, if any, is correct, but occasionally there’s also controversy regarding the meaning of the Question itself. In this paper I argue that such controversy persists because there just isn’t one unique interpretation of the Question. Rather, the puzzlement expressed by the sentence “why is there something rather than nothing?” varies depending on the ontology implicitly or (...) explicitly endorsed by the speaker. In this paper I do three things. First, I argue that other proposals according to which the Question has one uniquely adequate interpretation are false. Second, I give several examples of the way in which the meaning of the Question can vary depending on the ontology to which it is coupled. Third, I explore the implications of my thesis for the manner in which we should approach future attempts to answer the Question. (shrink)

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

I would like to attack a certain view: The view that the concept of identity can fail to apply to some things although, for some positive integer n, we have n of them. The idea of entities without self-identity is seriously entertained in the philosophy of quantum mechanics. It is so pervasive that it has been labelled the Received View. I introduce the Received View in Section 1. In Section 2 I explain what I mean by entity, and I argue (...) that supporters of the Received View should agree with my characterization of the corresponding notion of entity. I also explain what I mean by identity, and I show that supporters of the Received View agree with my characterization of that notion. In Section 3 I argue that the concept of identity, so characterized, is one with the concept of oneness. Thus, it cannot but apply to what belongs to a collection with n elements, n being a positive integer. In Section 4 I add some considerations on the primitiveness of identity or unity and the status of the Identity of Indiscernibles. In Section 5 I address the problem of how reference to indiscernible objects with identity can be achieved. (shrink)

The basic question of ontology is “What exists?”. The basic question of metaontology is: are there objective answers to the basic question of ontology? Here ontological realists say yes, and ontological anti-realists say no. (Compare: The basic question of ethics is “What is right?”. The basic question of metaethics is: are there objective answers to the basic question of ethics? Here moral realists say yes, and moral anti-realists say no.) For example, the ontologist may ask: Do numbers exist? The Platonist (...) says yes, and the nominalist says no. The metaontologist may ask: is there an objective fact of the matter about whether numbers exist? The ontological realist says yes, and the ontological anti-realist says no. Likewise, the ontologist may ask: Given two distinct entities, when does a mereological sum of those entities exist? The universalist says always, while the nihilist says never. The metaontologist may ask: is there an objective fact of the matter about whether the mereological sum of two distinct entities exists? The ontological realist says yes, and the ontological anti-realist says no. Ontological realism is often traced to Quine (1948), who held that we can determine what exists by seeing which entities are endorsed by our best scientific theory of the world. In recent years, the practice of ontology has often presupposed an ever-stronger ontological realism, and strong versions of ontological realism have received explicit statements by Fine (this volume), Sider (2001; this volume), van Inwagen (1998; this volume), and others. (shrink)

Often philosophers have reason to ask fundamental questions about the aims, methods, nature, or value of their own discipline. When philosophers systematically examine such questions, the resulting work is sometimes referred to as “metaphilosophy.” Metaphilosophy, it should be said, is not a well-established, or clearly demarcated, field of philosophical inquiry like epistemology or the philosophy of art. However, in the late 20th and early 21st centuries there has been a great deal of metaphilosophical work on issues concerning the methodology of (...) philosophy in the analytic tradition. This article focuses on that work. (shrink)

I argue for three central theses: ‘intuition’ is ambiguous, in material object metaphysics ‘intuition’ refers to pre-theoretical beliefs, and these pre-theoretical beliefs are generated by an innate physical reasoning system. I begin by outlining the relevant background discussions on the nature of intuitions and their role in philosophy to motivate the need for a more careful investigation of the meaning of ‘intuition’ and the role of intuitions in specific sub-disciplines of philosophy. In chapters one and two I argue that ‘intuition’ (...) is ambiguous between an inflationary and deflationary sense. In the inflationary sense, ‘intuition’ refers to a priori intellectual seemings with a special phenomenology, conceptual etiology, and modal content. In the deflationary sense, ‘intuition’ refers to beliefs or inclinations to believe. In chapter three I specifically examine the use of intuitions in material object metaphysics and conclude that in this sub-community ‘intuition’ is used in the deflationary sense to refer to pre-theoretical beliefs. Drawing from research on infant cognition, in the final chapter I argue that intuitions regarding material object metaphysics are those judgments that arise from an innate physical reasoning system. Based on this empirical observation, I argue that metaphysicians ought to give preference to abstract intuitions over intuitions regarding concrete cases because these abstract intuitions reflect the innate structure of our physical reasoning mechanisms. (shrink)