Pixelism is the combination of three metaphysical thesis, namely a radical form of exdurantism, mereological nihilism and counterpart theory. Pixelism is a theory that evaluates all the metaphysical phenomena of persistence, composition and modality in a homogeneous and consistent manner. In a pixel world, there is no identity over time and over possible worlds and nothing persists over more than an instant or a world. Entities can be univocally identified by a five-coordinates system (the three spatial dimensions, the temporal one (...) and the possible worlds), and their relation is a counterpart relation both in different worlds and at different times or different regions of space. In this paper I will provide two models for pixelism: the first one takes pixels to be hypercubes, i. e. four-dimensional cubes, the acceptance of which is conditional on the acceptance of extended simples. The second one considers pixels as points in a four-dimensional space. (shrink)

In his paper ‘Mind, Mortality and Material Being’ Paul Anders attempts to show that Peter van Inwagen’s materialist metaphysics of the human person, combined with the belief that human persons survive death, faces a dilemma. Either, on the one hand, van Inwagen has to accept an account of the survival of human persons across death that cannot escape the duplication objection, or, on the other hand, van Inwagen has to accept an account of the survival of human persons across death (...) that entails the possibility of that which is logically impossible and, in consequence, renders his metaphysics necessarily false. This paper is concerned with the second horn of the dilemma. In this paper, I will attempt to do two things. First, I will attempt to show that Anders’ description of van Inwagen’s ‘naked kernel’ account of the survival of human persons across death is, at times, unclear, before, second, attempting to demonstrate that there is a response that van Inwagen could give to Anders’ argument regardless of these unclarities. Consequently, I think that, at least until Anders’ description is made clearer, and until Anders tells us why van Inwagen can’t opt for the solution I propose, we should consider van Inwagen’s inclination that God can preserve a kernel that is sufficient for the survival of human persons across death to be unharmed by Anders’ argument. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

We face reality presented with the data of conscious experience and nothing else. The project of early modern philosophy was to build a complete theory of the world from this starting point, with no cheating. Crucial to this starting point is the data of conscious sensory experience – sense data. Attempts to avoid this project often argue that the very idea of sense data is confused. But the sense-data way of talking, the sense-data language, can be freed from every blemish (...) using ideas from contemporary metaontology. We can adopt a sense-data framework that vindicates the traditional claims of sense-data theories and leads to plausible theories of perception and color. We can, we should, and in a sense, we must. Yet when we do, we face the traditional problem of external world skepticism, head-on. The real challenge of skepticism is forced upon us; it cannot honestly be avoided using externalist tricks, burden of proof shifting, or other razzle dazzle. But the challenge can be met: we are rational to posit the external world as the best explanation of the many synchronic and diachronic patterns over our sense-data. This paper argues for all of these points and ends with a plea for analytic empiricism – a traditional sense-data version of empiricism that uses all of the tools of analytic philosophy while avoiding the more questionable doctrines of the Vienna Circle (phenomenalism, verificationism). Analytic empiricism is our last best hope for completing the great philosophical project of early modern philosophy. (shrink)

When one considers one's own persistence over time from the first-person perspective, it seems as if facts about one's persistence are "further facts," over and above facts about physical and psychological continuity. But the idea that facts about one's persistence are further facts is objectionable on independent theoretical grounds: it conflicts with physicalism and requires us to posit hidden facts about our persistence. This essay shows how to resolve this conflict using the idea that imagining from the first-person point of (...) view is a guide to centered possibility, a type of possibility analyzed in terms of centered worlds. (shrink)

Leibniz argues that there must be a fundamental level of simple substances because composites borrow their reality from their constituents and not all reality can be borrowed. I contend that the underlying logic of this ‘borrowed reality argument’ has been misunderstood, particularly the rationale for the key premise that not all reality can be borrowed. Contrary to what has been suggested, the rationale turns neither on the alleged viciousness of an unending regress of reality borrowers nor on the Principle of (...) Sufficient Reason, but on the idea that composites are phenomena and thus can be real only insofar as they have a foundation in substances, from which they directly ‘borrow’ their reality. The claim that composites are phenomena rests in turn on Leibniz's conceptualism about relations. So understood, what initially looked like a disappointingly simple argument for simples turns out to be a rather rich and sophisticated one. (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)

The Special Composition Question may be formulated as follows: for any xs whatsoever, what are the metaphysically necessary and jointly sufficient conditions in virtue of which there is a y such that those xs compose y? But what is the scope of the sought after explanation? Should an answer merely explain compositional facts, or should it explain certain ontological facts as well? On one natural reading, the question seeks an explanation of both the compositional facts and the ontological; the question (...) seeks to explain how composite objects exist; how there is a y such that the xs compose y. But it turns out that some answers to the Special Composition Question presuppose those ontological facts rather than explain those ontological facts. In this paper, I will indicate what I take to be the different explanatory demands met by the representative answers. I will argue that the wide scope explanatory demands can’t be satisfied. I will also show that this result has bearing on the current debate about composition. (shrink)

The hard problem of consciousness arises in most incarnations of present day physicalism. Why should certain physical processes necessarily be accompanied by experience? One possible response is that physicalism itself should be modified in order to accommodate experience: But, modified how? In the present work, we investigate whether an ontology derived from quantum field theory can help resolve the hard problem. We begin with the assumption that experience cannot exist without being accompanied by a subject of experience (SoE). While people (...) well versed in Indian philosophy will not find that statement problematic, it is still controversial in the analytic tradition. Luckily for us, Strawson has elaborately defended the notion of a thin subject—an SoE which exhibits a phenomenal unity with different types of content (sensations, thoughts etc.) occurring during its temporal existence. Next, following Stoljar, we invoke our ignorance of the true physical as the reason for the explanatory gap between present day physical processes (events, properties) and experience. We are therefore permitted to conceive of thin subjects as related to the physical via a new, yet to be elaborated relation. While this is difficult to conceive under most varieties of classical physics, we argue that this may not be the case under certain quantum field theory ontologies. We suggest that the relation binding an SoE to the physical is akin to the relation between a particle and (quantum) field. In quantum field theory, a particle is conceived as a coherent excitation of a field. Under the right set of circumstances, a particle coalesces out of a field and dissipates. We suggest that an SoE can be conceived as akin to a particle—a SelfOn—which coalesces out of physical fields, persists for a brief period of time and then dissipates in a manner similar to the phenomenology of a thin subject. Experiences are physical properties of selfons with the constraint (specified by a similarity metric) that selfons belonging to the same natural kind will have similar experiences. While it is odd at first glance to conceive of subjects of experience as akin to particles, the spatial and temporal unity exhibited by particles as opposed to fields and the expectation that selfons are new kinds of particles, paves the way for cementing this notion. Next, we detail the various no-go theorems in most versions of quantum field theory and discuss their impact on the existence of selfons. Finally, we argue that the time is ripe for a rejuvenated Indian philosophy to begin tackling the three-way relationship between SoEs (which may become equivalent to jivas in certain Indian frameworks), phenomenal content and the physical world. With analytic philosophy still struggling to come to terms with the complex worlds of quantum field theory and with the relative inexperience of the western world in arguing the jiva-world relation, there is a clear and present opportunity for Indian philosophy to make a worldcentric contribution to the hard problem of experience. (shrink)

If you retain your belief upon learning that a large number and percentage of your recognized epistemic superiors disagree with you, then what happens to the epistemic status of your belief? I investigate that theoretical question as well has the applied case of philosophical disagreement—especially disagreement regarding purely philosophical error theories, theories that do not have much empirical support and that reject large swaths of our most commonsensical beliefs. I argue that even if all those error theories are false, either (...) (a) the average philosopher’s true commonsensical beliefs are epistemically impoverished, or (b) a good portion of philosophy is bunk and philosophers should give up most of their error theories despite the fact that their supporting arguments are generally as good as or even better than other philosophical arguments. (shrink)

The impressive variation amongst biological individuals generates many complexities in addressing the simple-sounding question what is a biological individual? A distinction between evolutionary and physiological individuals is useful in thinking about biological individuals, as is attention to the kinds of groups, such as superorganisms and species, that have sometimes been thought of as biological individuals. More fully understanding the conceptual space that biological individuals occupy also involves considering a range of other concepts, such as life, reproduction, and agency. There has (...) been a focus in some recent discussions by both philosophers and biologists on how evolutionary individuals are created and regulated, as well as continuing work on the evolution of individuality. (shrink)

Traditionally, social entities (i.e., social properties, facts, kinds, groups, institutions, and structures) have not fallen within the purview of mainstream metaphysics. In this chapter, we consider whether the exclusion of social entities from mainstream metaphysics is philosophically warranted or if it instead rests on historical accident or bias. We examine three ways one might attempt to justify excluding social metaphysics from the domain of metaphysical inquiry and argue that each fails. Thus, we conclude that social entities are not justifiably excluded (...) from metaphysical inquiry. Finally, we ask how focusing on social entities could change the character of metaphysical inquiry. We suggest that starting from examples of social entities might lead metaphysicians to rethink the assumption that describing reality in terms of intrinsic, independent, and individualistic features is preferable to describing it in terms of relational, dependent, and non-individualistic features. (shrink)

There’s the question of what there is, and then there’s the question of what ultimately exists. Many contend that, once we have this distinction clearly in mind, we can see that there is no sensible debate to be had about whether there are such things as properties or tables or numbers, and that the only ontological question worth debating is whether such things are ultimate (in one or another sense). I argue that this is a mistake. Taking debates about ordinary (...) objects as a case study, I show that the arguments that animate these debates bear directly on the question of which objects there are and cannot plausibly be recast as arguments about what’s ultimate. I then address the objection that, because they are easy answerable, questions about what there is cannot be a proper subject of ontological debate. (shrink)

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)

I propose an analysis of the notion of a substance. I define two 'quasi-logical' independence relations, and state the analysis in terms of the distribution of these relations among substances and properties generally. This analysis treats the categories of substance and property as mutually dependent. To show that it (probably) states a sufficient condition for substance, I argue that it is in a certain kind of equilibrium. This illustrates a promising general approach to analysing fundamental metaphysical notions.

Each person is perceived by others and by herself as an individual in a very strong sense, namely as a unique individual. Moreover, this supposed uniqueness is commonly thought of as linked with another character that we tend to attribute to persons (as opposed to stones or chairs and even non-human animals): a kind of depth, hidden to sensory perception, yet in some measure accessible to other means of knowledge. I propose a theory of strong or essential individuality. This theory (...) is introduced by way of a critical discussion of Van Inwagen’s and Baker’s ontologies of persons. Composition Theory and Constitution Theory are shown to be complementary, in their opposite strong and weak points. I argue that both theories have unsatisfactory consequences concerning personal identity, a problem which the proposed theory seems to solve more faithfully both to folk intuitions and the phenomenology of personal life. (shrink)

Alex Byrne’s article, “Are Women Adult Human Females?”, asks a question that Byrne treats as nearly rhetorical. Byrne’s answer is, ‘clearly, yes’. Moreover, Byrne claims, 'woman' is a biological category that does not admit of any interpretation as (also) a social category. It is important to respond to Byrne’s argument, but mostly because it is paradigmatic of a wider phenomenon. The slogan “women are adult human females” is a political slogan championed by anti-trans activists, appearing on billboards, pamphlets, and anti-trans (...) online forums. In this paper, I respond to Byrne’s argument, revealing significant problems with its background assumptions, content, and methodology. (shrink)

The Stoics are famously committed to the thesis that only bodies are, and for this reason they are rightly called “corporealists.” They are also famously compared to Plato’s earthborn Giants in the Sophist, and rightly so given their steadfast commitment to body as being. But the Stoics also notoriously turn the tables on Plato and coopt his “dunamis proposal” that being is whatever can act or be acted upon to underwrite their commitment to body rather than shrink from it as (...) the Giants do. The substance of Stoic corporealism, however, has not been fully appreciated. This paper argues that Stoic corporealism goes beyond the dunamis proposal, which is simply an ontological criterion for being, to the metaphysics of body. This involves, first, an account of body as metaphysically simple and hence fundamental; second, an account of body as malleable and continuous, hence fit for blending (krasis di’ holou) and composition. In addition, the metaphysics of body involves a distinction between this composition relation seen in the cosmology, and the constitution relation by which the four-fold schema called the Stoic Categories proceeds, e.g. the relation between a statue and its clay, or a fist and its underlying hand. It has not been appreciated that the cosmology and the Categories are distinct — and complementary — explanatory enterprises, the one accounting for generation and unity, the other taking those individuals once generated, and giving a mereological analysis of their identity and persistence conditions, kinds, and qualities. The result is an elegant division of Plato’s labor from the Battle of Gods and Giants. On the one hand, the Stoics rehabilitate the crude cosmology of the Presocratics to deliver generation and unity in completely corporeal terms, and that work is found in their Physics. On the other hand, they reform the Giants and “dare to corporealize,” delivering all manner of predication (from identity to the virtues), and that work is found in Stoic Logic. Recognizing the distinctness of these explanatory enterprises helps dissolve scholarly puzzles, and harmonizes the Stoics with themselves. (shrink)

In this paper, I explore various views on which mind-body dualism is true, but the soul is located in the body. I argue that this sort of dualism (which I call 'somatic dualism') once was a not-uncommon view in the philosophy of mind. I also argue that it has the resources to reply to some of the problems thought to affect Cartesian dualism.

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)

Some philosophers accept what I call minimalist views about composition. They either deny that composition ever occurs, or they only allow that composition occurs when some things are taken up into a life. While minimalists often take their views to be somewhat revisionary, they usually want to distinguish their views from truly radical views such as the view that there is no external world at all. They often do this by noting that, although they don’t believe that there are tables, (...) chairs, or planets, they do believe that there are mereological simples arranged tablewise, chairwise, and planetwise. In this paper, I appeal to the nature of perceptual experience to present a problem for this move. I contend that, given some plausible assumptions, compositional minimalists cannot consistently maintain that they are justified in their minimalism and justified in believing propositions about the arrangements of mereological simples. I will argue that this commits such minimalists to external world skepticism. (shrink)

Many contemporary philosophers rate error theories poorly. We identify the arguments these philosophers invoke, and expose their deficiencies. We thereby show that the prospects for error theory have been systematically underestimated. By undermining general arguments against all error theories, we leave it open whether any more particular arguments against particular error theories are more successful. The merits of error theories need to be settled on a case-by-case basis: there is no good general argument against error theories.

Some philosophers deny the existence of composite material objects. Other philosophers hold that whenever there are some things, they compose something. The purpose of this paper is to scrutinize an objection to these revisionary views: the objection that nihilism and universalism are both unacceptably uncharitable because each of them implies that a great deal of what we ordinarily believe is false. Our main business is to show how nihilism and universalism can be defended against the objection. A secondary point is (...) that universalism is harder to defend than nihilism. (shrink)

In the ‘ordinary business of life’, everyone makes claims about what there is. For instance, we say things like: ‘There are some beautiful chairs in my favourite furniture shop’. Within the context of philosophical debate, some philosophers also make claims about what there is. For instance, some ontologists claim that there are chairs; other ontologists claim that there are no chairs. What is the relation between ontologists’ philosophical claims about what there is and ordinary claims about what there is? According (...) to Cian Dorr, ontologists’ claims and denials of existence belong to ‘a sort of professional jargon’. Dorr claims, for example, that ‘There are prime numbers between 20 and 30’ can be used superficially or used fundamentally. Ordinary uses of are superficial: we use the sentence to assert a boring, well-known truth. But in the ontology room, is used fundamentally, to assert that numbers are ‘part of the ultimate furniture of reality’: and this is a substantial metaphysical doctrine, not a boring truth. In this paper, we will show that none of Dorr’s arguments for these claims succeeds. (shrink)

Mentalistic (or Lockean) accounts of personal identity are normally formulated in terms of causal relations between psychological states such as beliefs, memories, and intentions. In this paper we develop an alternative (but still Lockean) account of personal identity, based on phenomenal relations between experiences. We begin by examining a notorious puzzle case due to Bernard Williams, and extract two lessons from it: first, that Williams's puzzle can be defused by distinguishing between the psychological and phenomenal approaches, second, that so far (...) as personal identity is concerned, it is phenomenal rather than psychological continuity that matters. We then consider different ways in which the phenomenal approach may be developed, and respond to a number of objections. That with which the consciousness of this present thinking thing can join itself, makes the same person, and is one self with it, and with nothing else; and so attributes to itself and owns all the actions of that thing, as its own, as far as that consciousness reaches, and no farther; as every one who reflects will perceive. Locke, Essay Concerning Human Understanding [II.xxvii.17]. (shrink)

In 1952, two well-known characters called ‘A’ and ‘B’ met for the first time to argue about the Identity of Indiscernibles (Black, 1952). A argued that the principle is true, and B that it is false. By all accounts A took a bit of a beating and came out worst-off. Forty-three years later John O’Leary-Hawthorne offered a response on behalf of A that looked as if it would work so long as A was willing to accept the universal-bundle theory of (...) substance (Hawthorne, 1995). In 1997, A and B met again (Zimmerman, 1997). A took Hawthorne’s advice and revealed himself as a universal-bundle theorist. But B was well-prepared, and once more A took a beating. Since then Gonzalo Rodriguez-Pereyra (2004) has put the boot in, offering further criticism of A’s position. In recent years A has been rather quiet, leaving B to reign as the undisputed champion. However, it turns out that A is down, but not out. And now it’s time for A’s revenge. (shrink)

Some platonists truly agonize over the ontological commitments which their platonism demands of them. Peter van Inwagen, for example, confesses candidly,I am happy to admit that I am uneasy about believing in the existence of ‘causally irrelevant’ objects. The fact that abstract objects, if they exist, can be neither causes or [sic] effects is one of the many features of abstract objects that make nominalism so attractive. I should very much like to be a nominalist, but I don't see how (...) to be one …. (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)

Mereological realism holds that the world has a mereological structure – i.e. a distribution of mereological properties and relations. In this article, I defend Eleaticism about properties, according to which there are no causally inert non-logical properties. I then present an Eleatic argument for mereological anti-realism, which denies the existence of both mereological composites and mereological simples. After defending Eleaticism and mereological anti-realism, I argue that mereological anti-realism is preferable to mereological nihilism. I then conclude by examining the thesis that (...) composition is identity and noting its consequences for the question of mereological structure. (shrink)

The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds : ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative parsimony, commonly drawn regarding ontological commitments, to the domain of ideological commitments. I then argue that qualitative ideological parsimony is a theoretical virtue. My (...) defense proceeds by demonstrating the merits of qualitative ideological parsimony and by showing how the qualitative conception of ideological parsimony undermines two notable arguments from ideological parsimony: David Lewis’ defense of modal realism and Ted Sider’s defense of mereological nihilism. (shrink)

Monism is the view that there is only a single material object in existence: the world. According to this view, therefore, the ordinary objects of common sense—cats and hats, cars and stars, and so on—do not actually exist; there is only the world. Because of this, monism is routinely dismissed in the contemporary literature as being absurd and obviously false. It is simply obvious that there is a plurality of material things, thus it is simply obvious that monism is false, (...) or so the argument goes. I call this the common sense argument against monism and in this paper I offer a response. I argue that providing the monist can make his view consistent with the appearance that there is a multiplicity of material things, then it is not rationally acceptable to reject monism solely on the basis of that appearance. Through an appeal to a particular type of property—distributional properties—I sketch out a plausible story of how monism is perfectly consistent with the appearance of plurality, and thus nullify the common sense argument. There may be any number of arguments that serve to undermine monism, but the common sense argument is not one of them. Monism deserves to be taken more seriously than that. (shrink)

Mereological nihilism is the view that there are no composite objects; everything in existence is mereologically simple. The view is subject to a number of difficulties, one of which concerns what I call the problem of emergence. Very briefly, the problem is that nihilism seems to be incompatible with emergent properties; it seems to rule out their very possibility. This is a problem because there are good independent reasons to believe that emergent properties are possible. This paper provides a solution (...) to the problem. I will show that nihilism and emergence are perfectly compatible, providing one accepts a novel understanding of how objects can instantiate properties: what I call irreducibly collective instantiation. (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)

In his paper, “Identity Statements and Essentialism,” Loux seeks to demonstrate sortal essentialism based on Frege’s thesis that all statements of number concerning a collection require that the members fall under the same sortal concept. I shall attempt to argue that a detailed analysis of Loux’s argument reveals it as failing to imply the type of sortal dependency thesis necessary for the justification of sortal essentialism. However, if one construes the transworld identity relation as no different from our run of (...) the mill identity relation, then his argument can serve as the basis for a proof of a type of nontrivial essentialism, thereby showing that the possible worlds picture of modality is indeed committed to a robust essentialism. (shrink)

Descriptive metaphysics investigates our naïve ontology as this is articulated in the content of our perception or of our pre-reflective thought about the world. But is access to such content reliable? Sceptics about the standard modes of access (introspection, or language-driven intuitions) may think that investigations in descriptive metaphysics can be aided by the controlled findings of cognitive science. Cognitive scientists have studied a promising range of representational advantages, that is, ways in which cognition favours one type of entity over (...) another. The notion of representational advantage is investigated and some scepticism is expressed as to its appropriateness for use in descriptive metaphysics. (shrink)

David Lewis (1986) criticizes moderate views of composition on the grounds that a restriction on composition must be vague, and vague composition leads, via a precisificational theory of vagueness, to an absurd vagueness of existence. I show how to resist this argument. Unlike the usual resistance, however, I do not jettison precisificational views of vagueness. Instead, I blur the connection between composition and existence that Lewis assumes. On the resulting view, in troublesome cases of vague composition, there is an object, (...) which definitely exists, about which it is vague whether the relevant borderline parts compose it. (shrink)

In this paper we consider the emerging position in metaphysics that artifact functions characterize real kinds of artifacts. We analyze how it can circumvent an objection by David Wiggins (Sameness and substance renewed, 2001, 87) and then argue that this position, in comparison to expert judgments, amounts to an interesting fine-grained metaphysics: taking artifact functions as (part of the) essences of artifacts leads to distinctions between principles of activity of artifacts that experts in technology have not yet made. We show, (...) moreover, that our argument holds not only in the artifactual realm but also in biology: taking biological functions as (part of the) essences of organs leads to distinctions between principles of activity of organs that biological experts have not yet made. We run our argument on the basis of analyses of artifact and biological functions as developed in philosophy of technology and of biology, thus importing results obtained outside of metaphysics into the debate on ontological realism. In return, our argument shows that a position in metaphysics provides experts reason for trying to detect differences between principles of activities of artifacts and organs that have not been detected so far. (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)

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)

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)

In his book Objects and Persons, Trenton Merricks has reoriented and fine-tuned an argument from the philosophy of mind to support a selective eliminativism about macroscopic objects.1 The argument turns on a rejection of systematic causal overdetermination and the conviction that microscopic things do the causal work that is attributed to a great many (though not all) macroscopic things. We will argue that Merricks’ argument fails to establish his selective eliminativism.

The general question (G) How do we categorize artifacts? can be subject to three different readings: an ontological, an epistemic and a semantic one. According to the ontological reading, asking (G) is equivalent to asking in virtue of what properties, if any, a certain artifact is an instance of some artifact kind: (O) What is it for an artifact a to belong to kind K? According to the epistemic reading, when we ask (G) we are investigating what properties of the (...) object we exploit in order to decide whether a certain artifact belongs to a certain kind. (G) thus becomes: (E) How can we know that artifact a belongs to kind K? Finally, (G) can also be read as a question concerning the semantics of artifact kind terms. The semantic reading of (G) is: (S) What kind of reference do artifact kind terms have, if any? In this editorial we expand on the different answers to (O), (E) and (S) that are given in the selected literature on the topic. The result should give us an overall picture of the possible answers to (G). (shrink)

In “Tropes and Ordinary Physical Objects”, Kris McDaniel argues that ordinary physical objects are fusions of monadic and polyadic tropes. McDaniel calls his view “TOPO”—for “Theory of Ordinary Physical Objects”. He argues that we should accept TOPO because of the philosophical work that it allows us to do. Among other things, TOPO is supposed to allow endurantists to reply to Mark Heller’s argument for perdurantism. But, we argue in this paper, TOPO does not help endurantists do that; indeed, we argue (...) that anyone who accepts TOPO should reject endurantism. (shrink)

In her ground-breaking and highly influential book Transformative Experience, L.A. Paul makes two claims: (1) one cannot evaluate and compare certain experiential outcomes (e.g. being a parent and being a non-parent) unless one can grasp what these outcomes are like; and (2) one can evaluate and compare certain intuitively horrible outcomes (e.g. being eaten alive by sharks) as bad and worse than certain other outcomes even if one cannot grasp what these intuitively horrible outcomes are like. We argue that the (...) conjunction of these two claims leads to an implausible discontinuity in the evaluability of outcomes. One implication of positing such a discontinuity is that evaluative comparisons of outcomes will not be proportionally sensitive to variation in the underlying features of these outcomes. This puts pressure on Paul to abandon either (1) or (2). But (1) is central to her view and (2) is very hard to deny. We call this the Shark Problem. (shrink)

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition as (...) identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (shrink)

What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.

Orthodoxy says that the thesis that composition is identity (CAI) entails universalism: the claim that any collection of entities has a sum. If this is true it counts in favour of CAI, since a thesis about the nature of composition that settles the otherwise intractable special composition question (SCQ) is desirable. But I argue that it is false: CAI is compatible with the many forms of restricted composition, and SCQ is no easier to answer given CAI than otherwise. Furthermore, in (...) seeing why this is the case we reveal an objection to CAI: that it allows for the facts concerning what there is to be settled whilst leaving open the question about what is identical to what. (shrink)