The ancient puzzle of Dion and Theon has given rise to a surprising array of apparently implausible views. For example, in order to solve the puzzle, several philosophers have been led to deny the existence of their own feet, others have denied that objects can gain and lose parts, and large numbers of philosophers have embraced the thesis that distinct objects can occupy the same space, having all their material parts in common. In this paper, I argue for an alternative (...) approach: I claim that human beings have ordinary parts—hands, heads, feet, and so on—but no extraordinary parts, such as ‘foot-complements’, the existence of which is essential to the puzzle. I rebut three objections to this approach: an objection that it is unacceptably metaphysically arbitrary, an objection that the view is incompatible with versions of the puzzle involving decapitation, and an objection concerning masses of matter. If we can believe that there are such things as hands and feet without involving ourselves in paradox, and without accepting large numbers of co-located material objects that share all their material parts, then that is what we should do. My view is the only known alternative which allows this. (shrink)

If you’re a materialist, you probably think that rabbits are conscious. And you ought to think that. After all, rabbits are a lot like us, biologically and neurophysiologically. If you’re a materialist, you probably also think that conscious experience would be present in a wide range of naturally-evolved alien beings behaviorally very similar to us even if they are physiologically very different. And you ought to think that. After all, to deny it seems insupportable Earthly chauvinism. But a materialist who (...) accepts consciousness in weirdly formed aliens ought also to accept consciousness in spatially distributed group entities. If she then also accepts rabbit consciousness, she ought to accept the possibility of consciousness even in rather dumb group entities. Finally, the United States would seem to be a rather dumb group entity of the relevant sort. If we set aside our morphological prejudices against spatially distributed group entities, we can see that the United States has all the types of properties that materialists tend to regard as characteristic of conscious beings. (shrink)

The paper deals with cases of counting things that could exist but do not actually exist that resist common strategies for actualist paraphrases and that play an important role in motivating Timothy Williamson's ontology of contingently concrete objects. It is argued that these cases should be understood as cases of quantification not over individual possible objects but rather over kinds of objects, some of which do not actually have instances. This claim is motivated by a comparison with other cases of (...) natural-language quantification with a similar logical form that, in any case, have to be interpreted as involving quantification over kinds of things even if their surface structure seems to suggest otherwise. (shrink)

Mereological nihilism is the view that no objects have proper parts. Despite how counter‐intuitive it is, it is taken quite seriously, largely because it solves a number of puzzles in the metaphysics of material objects – or so its proponents claim. In this article, I show that for every puzzle that mereological nihilism solves, there is a similar puzzle that (a) it doesn’t solve, and (b) every other solution to the original puzzle does solve. Since the solutions to the new (...) puzzles apply just as well to the old puzzles, the old puzzles provide no motivation to be a mereological nihilist. (shrink)

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)

I shall explore in this article the hypothesis that structures are relations between the components of complex entities. After having introduced hylomorphism, its major advantages and the major views of the nature of structures, I shall introduce the distinctions between external and internal relations and the one between symmetrical and non-symmetrical relations. I shall also describe the theory of non-symmetrical relations that I accept, i.e., the O-Roles theory, as most structures seem to be external and non-symmetrical relations. Later on, I (...) shall develop my hypothesis and I shall deal with one objection, i.e., that relations necessarily come together with Bradley's vicious regress. Finally, I shall also hypothesize that complex entities are different from structures and from their structured components. In this respect, I shall defend a " simple view " of complex entities. Dwelling on this view, I shall also reply to some recent objections against hylomorphism. (shrink)

Debunking arguments typically attempt to show that a set of beliefs or other intensional mental states bear no appropriate explanatory connection to the facts they purport to be about. That is, a debunking argument will attempt to show that beliefs about p are not held because of the facts about p. Such beliefs, if true, would then only be accidentally so. Thus, their causal origins constitute an undermining defeater. Debunking arguments arise in various philosophical domains, targeting beliefs about morality, the (...) existence of God, logic, and others. They have also arisen in material-object metaphysics, often aimed at debunking common-sense ontology. And while most of these arguments feature appeals to ‘biological and cultural contingencies’ that are ostensibly responsible for our beliefs about which kinds of objects exist, few of them take a serious look at what those contingencies might actually be. The purpose of this paper is twofold. First, to remedy this by providing empirical substantiation for a key premise in these debunking arguments by examining data from cognitive science, evolutionary biology, and developmental psychology that support a ‘debunking explanation’ of our common-sense beliefs and intuitions about which objects exist. Second, to argue that such data also undermines a particular kind of rationalist defense of common-sense ontology, sometimes employed as a response to the debunking threat. (shrink)

How does mathematics apply to something non-mathematical? We distinguish between a general application problem and a special application problem. A critical examination of the answer that structural mapping accounts offer to the former problem leads us to identify a lacuna in these accounts: they have to presuppose that target systems are structured and yet leave this presupposition unexplained. We propose to fill this gap with an account that attributes structures to targets through structure generating descriptions. These descriptions are physical descriptions (...) and so there is no such thing as a solely mathematical account of a target system. (shrink)

In the introduction to his Realism, mathematics and modality, and in earlier papers included in that collection, Hartry Field offered an epistemological challenge to platonism in the philosophy of mathematics. Justin Clarke-Doane Truth, objects, infinity: New perspectives on the philosophy of Paul Benacerraf, 2016) argues that Field’s challenge is an illusion: it does not pose a genuine problem for platonism. My aim is to show that Clarke-Doane’s argument relies on a misunderstanding of Field’s challenge.

Nihilism is the thesis that no composite objects exist. Some ontologists have advocated abandoning nihilism in favor of deep nihilism, the thesis that composites do not existO, where to existO is to be in the domain of the most fundamental quantifier. By shifting from an existential to an existentialO thesis, the deep nihilist seems to secure all the benefits of a composite-free ontology without running afoul of ordinary belief in the existence of composites. I argue that, while there are well-known (...) reasons for accepting nihilism, there appears to be no reason at all to accept deep nihilism. In particular, deep nihilism draws no support either from the usual arguments for nihilism or from considerations of parsimony. (shrink)

When some objects are the parts of another object, they compose that object and that object is composite. This article is intended as an introduction to the central questions about composition and a highly selective overview of various answers to those questions. In §1, we review some formal features of parthood that are important for understanding the nature of composition. In §2, we consider some answers to the question: which pluralities of objects together compose something? As we will see, the (...) dominant answers are all of them and none of them. In §§3-4, we examine one of the main arguments that has driven philosophers to these extreme answers: the argument from vagueness. In §5, we turn to the question of whether composition is unique: is it sometimes the case that some things compose more than one thing? Finally, in §6, we turn from the question of which composites exist to the question of which composites exist fundamentally. (shrink)

I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to (...) essences; and that we can gain knowledge of them. We can know about which properties are, and which properties are not, essential to a given entity. This knowledge of essence offers a route to knowledge of the ways those entities must be or could be. (shrink)

Artworks have authors. According to Christy Mag Uidhir, this simple assumption has significant consequences for the ontology of artworks. One such consequence is that artworks cannot be identified with abstract entities: if there are works of art, they are concrete entities. Therefore, one cannot create an abstract work of art. Mag Uidhir presents a novel challenge against abstract creationism, the view that certain kinds of art objects are abstract artifacts. This article has two aims. First, it provides a defense of (...) abstract creationism against Mag Uidhir’s arguments. Second, it argues that creation, even in the case of concrete artifacts, is never purely causal: to create an artifact is to bring about the conditions on which the created object ontologically depends. I conclude that a properly developed account of creation provides a better understanding of the question of how one comes to create an artifact, be it abstract or concrete. (shrink)

Peter van Inwagen has in recent decades made significant and influential contributions to metaphysics. In his Material Beings he advanced a novel ontology according to which chairs and other medium-sized dry goods don’t really exist. He went on to make important contributions to metaontology. Parts of his Ontology, Identity, and Modality and Existence: Essays in Ontology defend a broadly Quinean conception of existence questions and how to address them. I argue that the metaontology articulated in those later works is in (...) fact inconsistent with his defense of his ontology advanced in his earlier work. (shrink)

This paper offers a conditional defence of a minimalist theory of appropriation. The conclusion of its main argument is that, if people do enjoy a natural right to appropriate unappropriated resources, then that right is best understood as a derivative right that stems from a more fundamental natural right to self-preservation. If this conclusion is correct, then insofar as people have a natural right to appropriation, it is much more limited than it is usually assumed, as the minimalist theory places (...) very stringent restrictions on both the amount of unappropriated resources each person has a right to appropriate and the use they can make of those appropriated resources. The conclusion of my argument can be either used as a premise in a modus tollens argument to be used against natural-right theories of property rights or as a premise in a modus ponens argument in favour of a broadly left-libertarian theory. (shrink)

In "Mathematical Truth", Paul Benacerraf articulated an epistemological problem for mathematical realism. His formulation of the problem relied on a causal theory of knowledge which is now widely rejected. But it is generally agreed that Benacerraf was onto a genuine problem for mathematical realism nevertheless. Hartry Field describes it as the problem of explaining the reliability of our mathematical beliefs, realistically construed. In this paper, I argue that the Benacerraf Problem cannot be made out. There simply is no intelligible problem (...) that satisfies all of the constraints which have been placed on the Benacerraf Problem. The point generalizes to all arguments with the structure of the Benacerraf Problem aimed at realism about a domain meeting certain conditions. Such arguments include so-called "Evolutionary Debunking Arguments" aimed at moral realism. I conclude with some suggestions about the relationship between the Benacerraf Problem and the Gettier Problem. (shrink)

There is a long tradition comparing moral knowledge to mathematical knowledge. In this paper, I discuss apparent similarities and differences between knowledge in the two areas, realistically conceived. I argue that many of these are only apparent, while others are less philosophically significant than might be thought. The picture that emerges is surprising. There are definitely differences between epistemological arguments in the two areas. However, these differences, if anything, increase the plausibility of moral realism as compared to mathematical realism. It (...) is hard to see how one might argue, on epistemological grounds, for moral antirealism while maintaining commitment to mathematical realism. But it may be possible to do the opposite. (shrink)

The special composition question is the question, ‘When do some things compose something?’ The answers to this question in the literature have largely been at odds with common sense, either by allowing that any two things compose something, or by denying the existence of most ordinary composite objects. I propose a new ‘series-style’ answer to the special composition question that accords much more closely with common sense, and I defend this answer from van Inwagen's objections. Specifically, I will argue that (...) the proposed answer entails the transitivity of parthood, that it is non-circular, and that it casts some light on the ancient puzzle about the Ship of Theseus. (shrink)

Conflicts between our best philosophical theories (BPTs) and our common beliefs are widespread. For example, if eliminativism is our BPT, then our BPT conflicts with common beliefs about the existence of middle-sized composite artifacts. “Compatibilism” is the name usually given to a theoretical attitude, according to which, in the case of a conflict between BPT and a common belief P, we should try to find a reconciliation. The two major variants of compatibilism are “semantic compatibilism” (SC) and “cognitive compatibilism” (CC). (...) According to SC, to be reconciled with BPT is the “real” version of the content of our ordinary assertions; according to CC, to be reconciled with BPT is the mental state we are “really” in while thinking P. In this paper, we present a new kind of compatibilism, epistemic compatibilism (EC). According to EC, to be reconciled with BPT is the explanation of why we believe that P. After presenting EC, we will argue that it fares better than SC and CC for at least two related reasons: EC does not rely on any form of what we call semantic or cognitive “recarving”; thus, EC avoids some sceptical problems that aect the other two versions of compatibilism. (shrink)

Critical discussion of Susanna Schellenberg's account of hallucination and perceptual evidence.

It is not uncommon to think that the existence of exhaustive and infallible divine foreknowledge uniquely threatens the existence of human freedom. This paper shows that this cannot be so. For, to uniquely threaten human freedom, infallible divine foreknowledge would have to make an essential contribution to an explanation for why our actions are not up to us. And infallible divine foreknowledge cannot do this. There remains, however, an important question about the compatibility of freedom and foreknowledge. It is a (...) question not about the existence of foreknowledge, but about its mechanics. (shrink)

This paper argues that there is significant motivation for contemporary ethicists to affirm a view I call “moral property eliminativism.” On this eliminativist view, there are no moral properties, but there are moral truths that are made true by only nonmoral entities. Moral property eliminativism parallels eliminativist views defended in other domains of philosophical inquiry, but has gone nearly entirely overlooked by contemporary ethicists. I argue that moral property eliminativism is motivated by the claim that there cannot be differences in (...) moral truths without differences in nonmoral ontology—a claim widely endorsed by contemporary ethicists. Engaging with a variety of ways whereby one might resist the motivation I cite for moral property eliminativism, I argue that alternative contemporary metaethical views tend to purchase moral properties at the price of unnecessary theoretical complexity. (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 paper we present a new metaphysical theory of material objects. On our theory, objects are bundles of property instances, where those properties give the nature or essence of that object. We call the theory essential bundle theory. Property possession is not analysed as bundle-membership, as in traditional bundle theories, since accidental properties are not included in the object’s bundle. We have a different story to tell about accidental property possession. This move reaps many benefits. Essential bundle theory delivers (...) a simple theory of the essential properties of material objects; an explanation of how object coincidence can arise; an actual-world ground for modal differences between coincident objects; a simple story about intrinsic properties; and a plausible account of certain ubiquitous cases of causal overdetermination. (shrink)

Rose and Schaffer (forthcoming) argue that teleological thinking has a substantial influence on folk intuitions about composition. They take this to show (i) that we should not rely on folk intuitions about composition and (ii) that we therefore should not reject theories of composition on the basis of intuitions about composition. We cast doubt on the teleological interpretation of folk judgments about composition; we show how their debunking argument can be resisted, even on the assumption that folk intuitions have a (...) teleological source; and we argue that, even if folk intuitions about composition carry no weight, theories of composition can still be rejected on the basis of the intuitions of metaphysicians. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

Eliminativists sometimes invoke evolutionary debunking arguments against ordinary object beliefs, either to help them establish object skepticism or to soften the appeal of commonsense ontology. I argue that object debunkers face a self-defeat problem: their conclusion undermines the scientific support for one of their premises, because evolutionary biology depends on our object beliefs. Using work on reductionism and multiple realizability from the philosophy of science, I argue that it will not suffice for an eliminativist debunker to simply appeal to some (...) object-free surrogate theory of evolution that results from converting any scientific proposition about some object K into a proposition about simples arranged K-wise. In the process, I examine some hazards peculiar to eliminative reductions of scientific theories, and propose a trilemma for eliminativists who attempt to recoup generality for ontologically sparse reducing theories by appealing to pluralities of simples arranged K-wise. The paper is intended to define and develop the object debunker’s self-defeat problem for further study, and to clarify some of the ways sparse and abundant ontologies interact with scientific theory. (shrink)

The paper argues -- against the standard view in metaphysics -- that the existence of ordinary objects like tomatoes is (near-enough) established by the fact that such things are apparently encountered in perception.

Pluralists about coincident entities say that distinct entities may be spatially coincident throughout their entire existence. The most pressing issue they face is the grounding problem. They say that coincident entities may differ in their persistence conditions and in the sortals they fall under. But how can they differ in these ways, given that they share all their microphysical properties? What grounds those differences, if not their microphysical properties? Do those differences depend only on the way we conceptualise those objects? (...) Are they primitive facts about reality? Neither option is pleasant for the pluralist, but what else can she say? To respond to the grounding problem, the pluralist should first tell a story about what material objects are. If that story explains how the modal and sortal properties of objects are grounded, in a way that allows for differences between coincident objects, then she has a response to the problem. That is precisely my aim in this paper. (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)