Truthmaker theorists hold that propositions about higher-level entities (e.g. the proposition that there is a heap of sand) are often made true by lower-level entities (e.g. by facts about the configuration of fundamental particles). This generates a problem: what should we say about these higher-level entities? On the one hand, they must exist (since there are true propositions about them), on the other hand, it seems that they are completely superfluous and should be banished for reasons of ontological parsimony. Some (...) truthmaker theorists—most prominently David Armstrong—have tried to solve this puzzle by arguing that these entities are ‘an ontological free lunch’, i.e. real existents that are still ‘no addition of being’. This answer is prima facie attractive, but I argue in this paper that the standard approaches to truthmaking—modal theories and grounding theories—are unable to vindicate the doctrine of the ontological free lunch, and thus fail to solve the problem of higher-level entities. Fortunately, there is a non-standard account of truthmaking available, the reductive explanation account, which succeeds where the standard approaches fail. (shrink)

I outline and defend a limited realism in socio-political conceptual amelioration (RSCA). RSCA claims that, in some cases, socio-political concepts are ameliorated to represent parts of a concept-independent reality more accurately. My main aim is to dissolve a seeming dilemma for RSCA: Whereas social kinds are mind-dependent (i.e. depending on human thought and action), realism implies that the kinds represented are ontologically independent of the concepts representing them. To dissolve this dilemma, I suggest considering two different roles concepts play concerning (...) social kinds. Concepts can both generate social kinds and represent social kinds. Once a concept has generated a social kind, this social kind is part of a concept-independent reality that can be represented by different concepts. Thereby, RSCA allows amelio-rated concepts to represent social kinds (e.g., rape, marriage) more accurately while acknowledging that human actions or concepts have generated these social kinds. (shrink)

Ted Sider has famously argued that existence, in the unrestricted sense of ontology, cannot be vague, as long as vagueness is modeled by means of precisifications. The first section of Chapter 9 exposes some controversial assumptions underlying Sider’s alleged reductio of vague existence. The upshot of the discussion is that, although existence cannot be vague, it can be super-vague, i.e. higher-order vague, for all orders. The second section develops and defends a novel framework, dubbed negative supervaluationary semantics, which makes room (...) for the possibility of super-vague existence. (shrink)

Lewisian reference magnetism about linguistic content determination [Lewis 1983 has been defended in recent work by Weatherson [2003] and Sider [2009], among others. Two advantages claimed for the view are its capacity to make sense of systematic error in speakers' use of their words, and its capacity to distinguish between verbal and substantive disagreements. Our understanding of both error and disagreement is linked to the role of usage and first order intuitions in semantics and in linguistic theory more generally. I (...) argue, partially on the basis of these more general considerations, that reference magnetism delivers implausible results. Specifically, I argue that the proponent of reference magnetism maintains her analysis of genuinely systematic error at the cost of an empirically unjustifiable error theory regarding ordinary usage. In response, I describe an alternative view of content determination—MUMPS, or Meaning is Use Minus Pragmatics—which is not committed to such error theories. Despite this advantage, MUMPS has high prima facie costs. On such a view, there is a great deal of variation in linguistic meaning across speakers and times. As a result, a large number of seemingly mistaken claims are analysed as expressing true propositions. Correspondingly, a large number of seemingly substantive disagreements are analysed as terminological. However, I argue that these consequences are not as costly as they seem. Despite appearances, MUMPS is consistent with objective, metaphysically realist adjudication of disagreements, even in cases where meanings are not shared and where both parties to a dispute speak truly. MUMPS thus allows for a more nuanced understanding of linguistic usage, change, and variation, without imposing a commitment to any form of metaphysical anti-realism. (shrink)

According to Eli Hirsch many ontological disputes are verbal because, in these disputes, each side is most charitably interpreted as speaking the truth in its own language. In this thesis I argue that the ontological disputes Hirsch targets can’t be verbal. The problem with Hirsch’s proposal is that these ontological disputes are explicable in terms of ancillary disagreements about the explanatory value of intrinsic properties. If Hirsch believes that the ancillary disagreements are nonverbal, I argue, then he should interpret ontological (...) disputes as being nonverbal as well. Alternatively, in order for Hirsch to interpret the ancillary disagreements as being verbal, he must reject an assumption implicit in ontologists’ existence assertions. In this case, he ought to interpret ontologists’ positive existence assertions as false. Either way, there is no plausible way to interpret the disputes Hirsch targets as being verbal. (shrink)

Roughly, the problem of the Trinity is the problem of how God can be one and yet be the Father, the Son, and the Holy Spirit, which are three, not one. That one thing is identical with three distinct things seems to violate traditional laws of identity. I propose a solution to this problem according to which it is just an ordinary claim of one-many identity. For example, one pair of shoes is identical with two shoes; and my one body (...) is identical with its six limbs of arms, legs, head, and torso. The pair of shoes is not identical with each one of the two shoes, nor is my body identical with each one of its six limbs, but rather identical with all of them taken together, or collectively. I argue that the problem of the Trinity should be understood accordingly: God is identical with the Father, the Son, and the Holy Spirit collectively, but not with each one of them distributively. According to the way I develop this proposal, no traditional laws of identity are violated, but merely generalized in an intuitive way. I argue that this is compatible with Christian Orthodoxy as given by the Athanasian Creed. I end by responding to some anticipated objections. (shrink)

Philosophy of mystery -- Do we create our own mysteries? -- Do we know anything at all? -- What is reality? -- Why is there something rather than nothing? -- Why is nature ordered? -- Reductionism and emergence -- Does science dispel mystery? -- What of current mysteries in physics and cosmology? -- What of current mysteries in biology? -- What am i? -- What is consciousness? -- Do we have free will? -- Does god exist? -- Is there an (...) objective meaning to our lives? -- The mystery of the ordinary. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

In a series of publications, Eli Hirsch has presented a sustained defense of common-sense ontology. Hirsch's argument relies crucially on a meta-ontological position sometimes known as ‘superficialism’. Hirsch's argument from superficialism to common-sense ontology is typically resisted on the grounds that superficialism is implausible. In this paper, I present an alternative argument for common-sense ontology, one that relies on (what I argue is) a much more plausible meta-ontological position, which I call ‘constructivism’. Note well: I will not quite argue that (...) constructivism is true; merely that it is significantly more plausible than superficialism, and consequently affords a safer route to common-sense ontology. Thus my main goal in the paper is not quite to establish common-sense ontology, nor for that matter to refute Hirsch's argument for it. My goal is, in a way, more expressive than argumentative: I wish to articulate a novel meta-ontological position, one that I take to be in no way obviously less plausible than already familiar positions, and to point out that the position probably leads to common-sense ontology. I open, in section 1, with a discussion of Hirsch's argument and the main objection to it. I then develop, in section 2, a sketch of the alternative meta-ontology I have in mind. I close, in section 3, with the argument that this alternative meta-ontology, too, leads to common-sense ontology. (shrink)

Are properties perfectly natural (or not) relative to worlds, or are they perfectly natural (or not) tout court? That is, could there be a property P that is instanti-ated at worlds w1 and w2, and is perfectly natural at w1 but not at w2? Here, we offer an original argument for the non-world-relativity of perfect naturalness. Along the way, we reply to a prima facie compelling argument for the contin-gency of perfect naturalness, based upon the connection between natural prop-erties and (...) laws of nature. (shrink)

Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I address this (...) concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

This book is about the idea that some true statements would have been true no matter how the world had turned out, while others could have been false. It develops and defends a version of the idea that we tell the difference between these two types of truths in part by reflecting on the meanings of words. It has often been thought that modal issues—issues about possibility and necessity—are related to issues about meaning. In this book, the author defends the (...) view that the analysis of meaning is not just a preliminary to answering modal questions in philosophy; it is not merely that before we can find out whether something is possible, we need to get clear on what we are talking about. Rather, clarity about meaning often brings with it answers to modal questions. In service of this view, the author analyzes the notion of necessity and develops ideas about linguistic meaning, applying them to several puzzles and problems in philosophy of language. Meaning and Metaphysical Necessity will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and philosophical logic. [See my homepage for a sample chapter.]. (shrink)

We provide an overview of the meta-ontological position known as "Quantifier Variance".

This is a slightly opinionated review of three main factions in metaontology: Quineans, Carnapians, and Meinongians. Emphasis is given to the last camp, as the metaontological aspect of Meinongianism has been underappreciated. The final section then offers some general remarks about the legitimacy of ontology, touching on ideas I have developed in other publications.

In the Phaedrus, Socreates sympathetically describes the ability “to cut up each kind according to its species along its natural joints, and to try not to splinter any part, as a bad butcher might do.” (265e) In contemporary philosophy, Ted Sider (2009, 2011) defends the same idea. As I shall put it, Plato and Sider’s idea is that limning structure is an epistemic goal. My aim in this paper is to articulate and defend this idea. First, I’ll articulate the notion (...) of a structural proposition (§1), and the notion of an epistemic goal (§2), where I’ll assume that epistemic goals are species of accuracy. Then (§3), I’ll argue against some proposals for understanding the idea that limning structure is an epistemic goal: limning structure is neither an aim of belief (§3.1), nor of inquiry (§3.2), nor of concept possession (§3.3). Importantly, non-structural belief is not thereby inaccurate; belief does not “aim” at being structural. Next (§4), I’ll propose a framework for understanding the idea that limning structure is an epistemic goal, and defend that idea. What is required, to defend the view that limning structure is an epistemic goal, is the notion of (what I call) theorizing – a propositional attitude that, unlike belief, does “aim” at being structural (§4.1). I’ll argue that structural truths constitute a species of “important” truths (§4.2), and that apt theorizing is a species of understanding (§4.3). Finally (§5), I’ll discuss the possibility that there is no structure. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

Imagine coming across an alternative community such that, while they have normative terms like 'ought' with the same action-guiding roles and relationships to each other, their normative terms come to pick out different properties. When we come across such a community, or even just imagine it, those of us who strive to be moral and rational want to ask something like the following: Further Question: Which set of concepts ought we use—theirs or ours? The problem, first raised by Eklund, is (...) that on almost any metasemantic theory, Further Question cannot be stated in a way that captures the spirit of what we want to ask. This is because any way of asking the question makes use of our own normative concepts, and thus their reference is already fixed on the properties that our current normative concepts refer to. Any purported solution to this problem must meet two conditions. First, it must capture the spirit of what Further Question is intuitively attempting to ask. Second, it must reframe the inquiry in a way that makes the answer neither trivial nor ineffable. In this paper, I propose a solution to this problem by appeal to edenic representation, inspired by, but not identical to, Chalmers’ notion of edenic content. The rough idea here is that representation is edenic to the extent that the representational vehicle mirrors, in quality and structure, the represented property. I argue that a reframing of Further Question in terms of edenic representation can capture the spirit of the question, without collapsing it into a question with a trivial or ineffable answer. Thus, the realist about normative properties can face the problem of the alternative normative community head on, without collapsing into incoherence or triviality. If correct, this solution is of further interest to any metanormative realist concerned with metasemantic questions, because it can tell us more about how the proper representation of the robustly normative would look. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

The standard Kripkean semantic theories for quantified modal logic allow the individuals that exist at other worlds to vary from those that exist at the actual world. This causes a problem for those who deny the existence of non-actual individuals. I focus on two prominent strategies for solving this problem, due respectively to Bernard Linsky and Edward Zalta (who identify the possible individuals with the actual individuals) and Alvin Plantinga (who identifies the possible individuals with the individual essences). I argue, (...) contra various commentators, that both of these solutions are acceptable by the lights of those who deny the existence of mere possibilia. (shrink)

Two kinds of explanation might be put forward. The first goes like this: the necessary connection between the location of a whole and the location of its parts holds because the location of the whole is nothing but the collective location of its parts. The second style of explanation goes like this: the connection holds because what it is for a material whole to have something as a part, is (perhaps among other things) for the whole to contain the part.

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

The debate between exceptionalists and anti-exceptionalists about logic is often framed as concerning whether the justification of logical theories is a priori or a posteriori (for short: whether logic is a priori or a posteriori). As we substantiate (S1), this framing more deeply encodes the usual anti-exceptionalist thesis that logical theories, like scientific theories, are abductively justified, coupled with the common supposition that abduction is an a posteriori mode of inference, in the sense that the epistemic value of abduction is (...) (and, indeed, must be) a posteriori. In past work, however, we have argued that this common supposition is incorrect: abduction is an a priori mode of inference, in the sense that the epistemic value of abduction is (and indeed, must be) a priori (Biggs and Wilson 2017a, 2017b, 2019). After sketching our two main argumentative strategies for this conclusion (S2), we go on (S3) to consider its import on the proper understanding of anti-exceptionalism about logic. (shrink)

This essay clarifies quantifier variance and uses it to provide a theory of indefinite extensibility that I call the variance theory of indefinite extensibility. The indefinite extensibility response to the set-theoretic paradoxes sees each argument for paradox as a demonstration that we have come to a different and more expansive understanding of ‘all sets’. But indefinite extensibility is philosophically puzzling: extant accounts are either metasemantically suspect in requiring mysterious mechanisms of domain expansion, or metaphysically suspect in requiring nonstandard assumptions about (...) mathematical objects. Happily, the view of quantifier meanings that underwrites quantifier variance can be used to provide an account of indefinite extensibility that is both metasemantically and metaphysically satisfying. Section 1 introduces the puzzle of indefinite extensibility; section 2 develops and clarifies the metasemantics of quantifier variance; section 3 solves section 1's puzzle of indefinite extensibility by applying section 2's account of quantifier meanings; and section 4 compares the theory developed in section 3 to several other theories in the literature. (shrink)

Conventionalism about mathematics claims that mathematical truths are true by linguistic convention. This is often spelled out by appealing to facts concerning rules of inference and formal systems, but this leads to a problem: since the incompleteness theorems we’ve known that syntactic notions can be expressed using arithmetical sentences. There is serious prima facie tension here: how can mathematics be a matter of convention and syntax a matter of fact given the arithmetization of syntax? This challenge has been pressed in (...) the literature by Hilary Putnam and Peter Koellner. In this paper I sketch a conventionalist theory of mathematics, show that this conventionalist theory can meet the challenge just raised , and clarify the type of mathematical pluralism endorsed by the conventionalist by introducing the notion of a semantic counterpart. The paper’s aim is an improved understanding of conventionalism, pluralism, and the relationship between them. (shrink)

Several philosophers have maintained in recent years that the endurance/perdurance debate is merely verbal: these prima facie distinct theories of objects’ persistence are in fact metaphysically equivalent, they claim. The present paper challenges this view. Three proposed translation schemes are examined; all are shown to be faulty. In the process, constructive reasons for regarding the debate as a substantive one are provided. It is also suggested that the theories may have differing practical implications.

In recent work, Louis deRosset (Philosophical Studies 149:73–97, 2010) has argued that priority theorists, who hold that truths about macroscopic objects can be metaphysically explained without reference to such things, cannot meet an independently motivated constraint upon good explanation. By clarifying the nature of the priority theorist’s project, I argue that deRosset’s argument fails to establish its conclusion.

One of the complications of a clear evaluation of different positions called “realism” in metaphysics and ontology is discrepancy in terminology and variance of basic intuitions inherent this notion. I recommend a taxonomy that distinguishes three kinds of variance: variance in the sets of conditions for a philosophical position to be acknowledged as actual realism, variance in strength and variance in conceptual frameworks. Within this last case, I propose to differentiate realism in epistemology, in ontology, and in metaphysics, intersecting these (...) three variants with the local/global realism dichotomy. The taxonomy here provided aims at being meta-philosophical; expressive enough for a fine-grained articulation of different philosophical positions in the recent debate, including the question of metaphysical grounding; and impartial, with no need to be connected to the defense of one form or another of the philosophical positions called “realism.”. (shrink)

Ontological pluralism is the doctrine that there are different ways or modes of being. In contemporary guise, it is the doctrine that a logically perspicuous description of reality will use multiple quantifiers which cannot be thought of as ranging over a single domain. Although thought defeated for some time, recent defenses have shown a number of arguments against the view unsound. However, another worry looms: that despite looking like an attractive alternative, ontological pluralism is really no different than its counterpart, (...) ontological monism. In this paper, after explaining the worry in detail, I argue that considerations dealing with the nature of the logic ontological pluralists ought to endorse, coupled with an attractive philosophical thesis about the relationship between logic and metaphysics, show this worry to be unfounded. (shrink)

Opponents of presentism have often argued that the presentist has difficulty in accounting for what makes true past-tensed propositions true in a way that is compatible with her metaphysical view of time and reality. The problem is quite general and concerns not only strong truth-maker principles, but also the requirement that truth be grounded in reality. In order to meet the challenge, presentists have proposed many peculiar present aspects of the world as grounds for truths concerning the past, such as (...) uninstantiated haecceities, Meinongian non-existents, ersatz times, and dispositional and distributional properties. The main problem with all such solutions is that any explanation of what grounds a TptP that involves the past is eo ipso a better explanation than any that involves only the present. Thus, the quest for an account of grounding for TptP that is compatible with the presentist ontology and ideology is doomed to be explanatorily deficient with respect to eternalism. In a recent article, Ben Caplan and David Sanson have claimed that presentists should change their strategy and, rather than seeking for exotic grounds for TptP, should adopt a more liberal view of explanation. That is, they should allow themselves to resort to “past directed” explanations, even if they do not accept the past in their ontology and ideology. I argue that such a proposal is not compatible with the tenet that there is a substantial distinction between the ideology of such a version of presentism and that of eternalism. Therefore, the presentist cannot endorse such “deflationist” explanations as an easy way out to the problem of the grounding of TptP. (shrink)

This paper defends the view that ontological questions (properly understood) are easy—too easy, in fact, to be subjects of substantive and distinctively philosophical debates. They are easy, roughly, in the sense that they may be resolved straightforwardly—generally by a combination of conceptual and empirical enquiries. After briefly outlining the view and some of its virtues, I turn to examine two central lines of objection. The first is that this ‘easy’ approach is itself committed to substantive ontological views, including an implausibly (...) permissive ontology. The second is that it, like neo-Fregean views, relies on transformation rules that are questionable on both logical and ontological grounds. Ultimately, I will argue, the easy view is not easily assailed by either of these routes, and so remains (thus far) a tenable and attractive approach. (shrink)

The basic philosophical controversy regarding ordinary objects is: Do tables and chairs, sticks and stones, exist? This paper aims to do two things: first, to explain why how this can be a controversy at all, and second, to explain why this controversy has arisen so late in the history of philosophy. Section 1 begins by discussing why the 'obvious' sensory evidence in favor of ordinary objects is not taken to be decisive. It goes on to review the standard arguments against (...) the existence of ordinary objects – including those based on problems with causal redundancy, parsimony, co-location, sorites arguments, and the special composition question. Section 2 goes on to address what it is about the contemporary approach to metaphysics that invites and sustains this kind of controversy, and helps make evident why debates about ordinary objects lead so readily to debates in metametaphysics about the nature of metaphysics itself. (shrink)

I argue that thinking of existence questions as deep questions to be resolved by a distinctively philosophical discipline of ontology is misguided. I begin by examining how to understand the truth-conditions of existence claims, by way of understanding the rules of use for ‘exists’ and for general noun terms. This yields a straightforward method for resolving existence questions by a combination of conceptual analysis and empirical enquiry. It also provides a blueprint for arguing against most common proposals for uniform substantive (...) ‘criteria of existence’, whether they involve mind-independence, possession of causal powers, observability, etc., and thus for showing that many arguments for denying entities (numbers, ordinary objects, fictional characters, propositions…) on grounds of their failure to meet one or more of these proposed existence criteria are mistaken. (shrink)

Social metaphysics is a source of important philosophical and moral insight. Furthermore, much social metaphysics appears to be substantive. However, some have recently argued that standard views of metaphysics cannot accommodate substantive social metaphysics. In this paper I offer a new diagnosis of this problem and defend a new solution, showing that this problem is an illuminating lens through which to examine the nature and boundaries of metaphysics. This case instantiates a broad, common pattern generated by attempts to align distinctions (...) between realism and anti-realism, mind-independence and mind-dependence, and legitimate and non-legitimate inquiry. I show that the best response is to abandon the association between substantive metaphysics and mind-independence, and I sketch a new definition of substantivity, given in terms of explanatory power, that makes room for substantive social metaphysics while also offering an attractive basis for general metaphysics. (shrink)

Facts about explanation are often taken as a guide to facts about metaphysics. Such inferences from explanation to metaphysics typically rely on two elements: explanatory realism, the view that it is a characteristic and necessary aspect of explanation to give information about metaphysical structure, and a backing model of explanation, according to which explanations are backed by supporting relations, such as causation. Combining explanatory realism with a backing model permits conclusions about metaphysics to follow straightforwardly from facts about explanation, and (...) those who endorse backing models of explanation have typically endorsed explanatory realism. In light of recent critiques of explanatory realism, in this paper I explore the prospects for a backing model without explanatory realism. I articulate a non-realist backing model and argue that this model can satisfy most of the motivations for a realist backing model, and that it can also play a central and illuminating role in the practice of metaphysics. (shrink)

Ladyman and Ross do not think that contemporary metaphysics is in good standing. However, they do think that there is a version of metaphysics that can be made to work – provided we approach it using appropriate principles. My aim in this paper is to undermine some of their arguments against contemporary metaphysics as it is currently practiced.

I argue that mereological nihilism fails because it cannot answer the special arrangement question: when is it true that the xs are arranged F-wise? I suggest that the answers given in the literature fail and that the obvious responses that could be made look to undermine the motivations for adopting nihilism in the first place.

Realisms Interlinked is a sublime work. It reanimates theoretical philosophy with a distinctive synthesis of ideas and methods drawn from the common-sense metap.

On a widespread reading, the Carnap-Quine debate about ontology concerns the objectivity and non-triviality of ontological claims. I argue that this view mischaracterizes Carnap’s aims in “Empiricism, Semantics, and Ontology” : Carnap’s fundamental goal is to free up decisions about scientific language from constraints deriving from ontological doctrine. The contention, based on his internal/external distinction, that ontological claims are either meaningless or trivial was Carnap’s means to achieving this more fundamental goal. Setting the record straight on this point brings out (...) three important and often overlooked features of Carnap’s views on ontology. First, the target of Carnap’s critique in ESO is not Quine’s mature views on ontology, as laid out in “On What There Is”. Rather, Carnap is responding to arguments for nominalism that were given by Tarski, Goodman, and Quine in the 1940s. Second, a more general rejection of conservatism in theory choice is essential to Carnap’s aims and is implicit in his fundamental views on language. Third, even if it turns out to be tenable, the i/e distinction is not adequate for Carnap’s aim in ESO. Drawing on his basic conception of scientific language, I will suggest an alternative approach on his behalf. (shrink)

Timothy Williamson thinks that every object is a necessary, eternal existent. In defense of his view, Williamson appeals primarily to considerations from modal and tense logic. While I am uncertain about his modal claims, I think there are good metaphysical reasons to believe permanentism: the principle that everything always exists. B-theorists of time and change have long denied that objects change with respect to unqualified existence. But aside from Williamson, nearly all A-theorists defend temporaryism: the principle that there are temporary (...) existents. I think A-theorists are better off without this added commitment, but I will not argue for that in any great detail here. Instead, I will contend that a very tempting A-theoretic argument for temporaryism is unsound. In the first half of the paper, I will develop the Moorean “common sense” argument for temporaryism and dispute its central premise, namely that temporaryism is a valid generalization from highly plausible beliefs about change. I will argue that given the pervasive vagueness in our ordinary beliefs about change and the background commitments of all A-theories, no party can claim to be the common sense view because no party can accommodate most of our common sense beliefs about change in existence. In the second half of the paper, I will propose a permanentist A-theory that explains all change over time as a species of property change. I call it the minimal A-theory, since it dispenses with the change in existence assumption. As we'll see, the permanentist alternative performs well enough in explaining our ordinary beliefs about change, and it has better prospects for answering some objections commonly levied against A-theories. (shrink)

Ontological pluralism is the view that there are ways of being. Ontological pluralism is enjoying a revival in contemporary metaphysics. We want to say that there are numbers, fictional characters, impossible things, and holes. But, we don’t think these things all exist in the same sense as cars and human beings. If they exist or have being at all, then they have different ways of being. Fictional characters exist as objects of make‐believe and holes exist as absences in objects. But, (...) human beings and cars exist in a much more robust sense. What are ways of being? Why should be believe in them and what should we believe about them? This short essay provides an overview of the recent revival of ways of being and explores some of the surrounding issues. (shrink)

In this paper, I argue from a metasemantic principle to the existence of analytic sentences. According to the metasemantic principle, an external feature is relevant to determining which concept one expresses with an expression only if one is disposed to treat this feature as relevant. This entails that if one isn’t disposed to treat external features as relevant to determining which concept one expresses, and one still expresses a given concept, then something other than external features must determine that one (...) does. I argue that, in such cases, what determines that one expresses the concept also puts one in a position to know that certain sentences are true—these sentences are thus analytic relative to this determination basis. Finally, I argue that there are such cases: some sentences are analytic relative to what determines that we express certain key concepts, and these sentences include ones that have always been thought to be the best candidates for being analytic, namely, stipulative truths, and first principles of mathematics. (shrink)

The question of what exists is often seen as one of the metaphysician’s primary concerns—an ontological stance is a central and basic component of a great many positions in metaphysics. Consider, in particular, the debate surrounding the metaphysics of time: the question of whether non-present entities exist is typically thought of as one of the fundamental issues at stake in the debate, with each position on the nature of time consisting in part of an answer to this question of ontology. (...) My purpose in this paper will be to raise some worries about this focus on ontology, and to sketch an alternative approach to conceptualizing the debate—one that I think can help us get a clearer and deeper understanding of the fundamental issues at stake. I’ll focus in particular on the case of time and the ontology of non-present objects, but the framework I present is ultimately meant to apply more broadly to a range of debates involving ontology. On the framework I propose, the basic question at stake in this and other analogous debates is the following: Of the various perspectives we might adopt on reality, which perspective is fundamental? I’ll explain what this means and how it can help us reconceptualize the relevant metaphysical issues. (shrink)

Good chefs know the importance of maintaining sharp knives in the kitchen. What’s their secret? A well-worn Taoist allegory offers some advice. The king asks about his butcher’s impressive knifework. “Ordinary butchers,” he replied “hack their way through the animal. Thus their knife always needs sharpening. My father taught me the Taoist way. I merely lay the knife by the natural openings and let it find its own way through. Thus it never needs sharpening” (Kahn 1995, vii; see also Watson (...) 2003, 46). Plato famously employed this image as an analogy for the reality of his Forms (Phaedrus, 265e). Just like an animal, the world comes pre-divided for us. Ideally, our best theories will be those which “carve nature at its joints”. While Plato employed the “carving” metaphor to convey his views about the reality of his celebrated Forms, its most common contemporary use involves the success of science -- particularly, its success in identifying distinct kinds of things. Scientists often report discovering new kinds of things -- a new species of mammal or novel kind of fundamental particle, for example -- or uncovering more information about already familiar kinds. Moreover, we often notice considerable overlap in different approaches to classification. As Ernst Mayr put it: No naturalist would question the reality of the species he may find in his garden, whether it is a catbird, chickadee, robin, or starling. And the same is true for trees or flowering plants. Species at a given locality are almost invariably separated from each other by a distinct gap. Nothing convinced me so fully of the reality of species as the observation . . . that the Stone Age natives in the mountains of New Guinea recognize as species exactly the same entities of nature as a western scientist. (Mayr 1987, 146) Such agreement is certainly suggestive. It suggests that taxonomies are discoveries rather than mere inventions. Couple this with their utility in scientific inference and explanation and we have compelling reason for accepting the objective, independent reality of many different natural kinds of things.. (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Recent defenders of this view—such as Kris McDaniel and Jason Turner—have taken these ways of being to be best captured by semantically primitive quantifier expressions ranging over different domains. They have thus endorsed, what I shall call, quantificational pluralism. I argue that this focus on quantification is a mistake. For, on this view, a quantificational structure—or a quantifier for short—will be whatever part or aspect of reality’s structure (...) that a quantifier expression carves out and reflects. But if quantificational pluralism is true, then a quantifier should be more natural than its corresponding domain; and since it does not appear to be the case that a quantifier is more natural than its corresponding domain, quantificational pluralism does not appear to be true. Thus, I claim, an ontological pluralist should not be a quantificational pluralist. (shrink)

Elizabeth Barnes and Mari Mikkola raise the important question of whether certain recent approaches to metaphysics exclude feminist metaphysics. My own approach does not, or so I argue. I do define “substantive” questions in terms of fundamentality; and the concepts of feminist metaphysics are nonfundamental. But my definition does not count a question as being nonsubstantive simply because it involves nonfundamental concepts. Questions about the causal structure of the world, including the causal structure of the social world, are generally substantive (...) because their answers are not sensitive to any alternate, equally good conceptual choices we could have made. I also argue that such questions are substantive regardless of the ontology of social kinds. (shrink)