It is a common assumption in the metaphysics of time that a commitment to presentism entails a commitment to serious presentism, the view that objects can exemplify properties or stand in relations only at times at which they exist. As a result, non-serious presentism is widely thought to be beyond the bounds for the card-carrying presentist in response to the problem of cross-temporal relations. In this paper, I challenge this general consensus by examining one common argument in favor of the (...) thesis that presentism entails serious presentism. The argument, I claim, begs the question against non-serious defenders in failing to account for their wider metaontological views concerning non-committal quantification. (shrink)

Slot theory is the view that (i) there exist such entities as argument places, or ‘slots’, in universals, and that (ii) a universal u is n-adic if and only if there are n slots in u. I argue that those who take properties and relations to be abundant, fine-grained, non-set-theoretical entities face pressure to be slot theorists. I note that slots permit a natural account of the notion of adicy. I then consider a series of ‘slot-free’ accounts of that notion (...) and argue that each of them has significant drawbacks. (shrink)

This chapter is concerned with the coextension difficulty for nominalist theories of properties that reject tropes alongside universals. After carefully explaining the coextension difficulty and describing the theories it targets, the chapter describes different solutions to the difficulty. These solutions differ with respect to how much involved they are into a dualist approach to coextension. A dualist approach to a case of coextension consists in agreeing with the realist that the relevant ascriptions of properties are numerically distinct. A monist approach (...) to a case of coextension consists in contending that the relevant ascriptions of properties are identical. In this chapter, I defend a monist approach to cases of coextension that appeals to a counterpart theory for propositions. (shrink)

Unlike identity physicalism, ground physicalism does not achieve the physicalist dream. It faces the T-shirt problem for ground physicalism (Pautz 2014; Schaffer this volume; Rubenstein ms). In the case of insentient nature, it may be able to get by with small handful of very general ground laws to explain the emergence of nonfundamental objects and properties – for example, a few “principle of plenitude”. But I argue that for the case consciousness it will require a separate huge raft of special, (...) anomalous psychophysical ground laws. So it is just as complex and nonuniform as dualism. (shrink)

This chapter examines the status of inference to the best explanation in naturalistic metaphysics. The methodology of inference to the best explanation in metaphysics is studied from the perspective of contemporary views on scientific explanation and explanatory inferences in the history and philosophy of science. This reveals serious shortcomings in prevalent attempts to vindicate metaphysical "explanationism" by reference to similarities between science and naturalistic metaphysics. This critique is brought out by considering a common gambit of methodological unity: (1) Both metaphysics (...) and science employ inference to the best explanation. (2) One has no reason to think that if explanationism is truth-conducive in science, it is not so in metaphysics. (3) One has a positive reason to think that if explanationism is truth-conducive in science, it is also so in metaphysics. (shrink)

Can there be an objective morality without God? Derek Parfit argues that it can and offers a theory of morality that is neither theistic nor naturalistic. This book provides a critical assessment of Parfit's metaethical theory. Jakobsen identifies some problems in Parfit’s theory – problems concerning moral normativity, the ontological status of morality, and evolutionary influence on our moral beliefs – and argues that theological resources can help solve them. By showing how Parfit’s theory may be improved by the help (...) of theology, Jakobsen demonstrates the relevance of theology in philosophical and metaethical debates and argues that Christian theism offers a better explanation of morality than what Parfit’s non-naturalism does. (shrink)

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

The paper clarifies and defends the orthodox view that counterfactual conditionals with impossible antecedents are vacuously true against recent criticisms. It argues that apparent counterexamples to orthodoxy result from uncritical reliance on a fallible heuristic used in the processing of conditionals. A comparison is developed between such counterpossibles and vacuously true universal generalizations.

Plausibly, mathematical claims are true, but the fundamental furniture of the world does not include mathematical objects. This can be made sense of by providing mathematical claims with paraphrases, which make clear how the truth of such claims does not require the fundamental existence of mathematical objects. This paper explores the consequences of this type of position for explanatory structure. There is an apparently straightforward relationship between this sort of structure, and the logical sort: i.e. logically complex claims are explained (...) by logically simpler ones. For example, disjunctions are explained by their (true) disjuncts, while generalizations are explained by their (true) instances. This would seem as plausible in the case of mathematics as elsewhere. Also, it would seem to be something that the anti-realist approaches at issue would want to preserve. It will be argued, however, that these approaches cannot do this: they lead not merely to violations of the familiar principles relating logical and explanatory structure, but even to reversals of these. That is, there are cases where generalizations explain their instances, or disjunctions their disjuncts. (shrink)

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

Metaphysical investigation often proceeds by way of linguistic meaning. This tradition relies on an assumption about meanings, namely that they can be given in terms of referential relations and truth. Chomsky and others have illustrated the difficulty with this externalist hypothesis regarding natural language meanings, which implies that natural languages are ill‐suited for the purposes of metaphysical investigation. In reply to this discordance between the features of natural languages and the goals of metaphysical investigation, metaphysicians propose that we look to (...) the invented languages used to express our best scientific theories as metaphysical guides, in the hope that these languages are better behaved. I argue that this retreat is beset with similar troubles for the metaphysician. In particular, I argue that central terms in the field of biology, namely ‘gene’ and ‘species’, exhibit a kind of lexical flexibility that renders them, much like their natural language counterparts, ill‐suited for the metaphysician's aims. (shrink)

In a growing number of papers, one encounters arguments to the effect that certain philosophical views are objectionable because they would imply that there are necessary truths for whose necessity there is no explanation. That is, they imply that there are propositions p such that (a) it is necessary that p, but (b) there is no explanation why it is necessary that p. For short, they imply that there are “brute necessities.” Therefore, the arguments conclude, the views in question should (...) be rejected in favor of rival views under which the necessities would be explained. This style of argument raises a number of important and difficult questions. Do necessary truths really require explanation? Are they not paradigms of truths that either need no explanation or automatically have one, being in some sense self‐explanatory? If some necessary truths do require or admit of explanation, what types of explanation, are available? Are some necessary truths explained by other necessary truths? Are some necessary truths self‐explanatory? Are all necessary truths either self‐explanatory or explained by others? Or are there some necessary truths that are truly brute? This article surveys several representative arguments from brute necessity as well as a variety of answers to the questions above, noting their bearing on arguments from bruteness. (shrink)

Baker (Mind 114:223–238, 2005; Brit J Philos Sci 60:611–633, 2009) has recently defended what he calls the “enhanced” version of the indispensability argument for mathematical Platonism. In this paper I demonstrate that the nominalist can respond to Baker’s argument. First, I outline Baker’s argument in more detail before providing a nominalistically acceptable paraphrase of prime-number talk. Second, I argue that, for the nominalist, mathematical language is used to express physical facts about the world. In endorsing this line I follow moves (...) made by Saatsi (Brit J Philos Sci 62(1):143–154, 2011). But, unlike Saatsi, I go on to argue that the nominalist requires a paraphrase of prime-number talk, for otherwise we lack an account of what that ‘physical fact’ is in the case of mathematics that seemingly makes reference to prime numbers. (shrink)

A pretense theory of a given discourse is a theory that claims that we do not believe or assert the propositions expressed by the sentences we token (speak, write, and so on) when taking part in that discourse. Instead, according to pretense theory, we are speaking from within a pretense. According to pretense theories of mathematics, we engage with mathematics as we do a pretense. We do not use mathematical language to make claims that express propositions and, thus, we do (...) not use mathematical discourse to make claims that are either true or false. In this paper I make use of recent findings from cognitive neuroscience and developmental science to suggest that pretense theories of mathematics fail. 1 Introduction 2 The Autism Objection 2.1 Autism and pretense 2.2 Autistic engagement with mathematics 2.2.1 Cortical folding 2.2.2 The language of mathematics 3 The Onset of the Number Sense and the Recognition of Pretense 3.1 A difference in neurology 3.2 Young and no numbers 3.2.1 When and where is the difference? 3.2.2 Damaged HIPS without impairment to engagement with fiction 4 Concluding Remarks. (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)

A counterpossible is a counterfactual whose antecedent is impossible. The vacuity thesis says all counterpossibles are true solely because their antecedents are impossible. Recently, some have rejected the vacuity thesis by citing purported non-vacuous counterpossibles in science. One limitation of this work, however, is that it is not grounded in experimental data. Do scientists actually reason non-vacuously about counterpossibles? If so, what is their basis for doing so? We presented biologists (N = 86) with two counterfactual formulations of a well-known (...) model in biology, the antecedents of which contain what many philosophers would characterize as a metaphysical impossibility. Participants consistently judged one counterfactual to be true, the other to be false, and they explained that they formed these judgments based on what they perceived to be the mathematical relationship between the antecedent and consequent. Moreover, we found no relationship between participants’ judgments about the (im)possibility of the antecedent and whether they judged a counterfactual to be true or false. These are the first experimental results on counterpossibles in science with which we are familiar. We present a modal semantics that can capture these judgments, and we deal with a host of potential objections that a defender of the vacuity thesis might make. (shrink)

It is widely assumed that sense perception cannot deliver knowledge of nonactual (metaphysical) possibilities. We are not supposed to be able to know that a proposition p is necessary or that p is possible (if p is false) by sense perception. This paper aims to establish that the role of sense perception is not so limited. It argues that we can know lots of modal facts by perception. While the most straightforward examples concern possibility and contingency, others concern necessity and (...) impossibility. The possibility of a perceptual route to some modal knowledge is not as radical as it may at first sound. On the contrary, acknowledging it has benefits. (shrink)

Fictionalists maintain that possible worlds, numbers or composite objects exist only according to theories which are useful but false. Hale, Divers and Woodward have provided arguments which threaten to show that fictionalists must be prepared to regard the theories in question as contingently, rather than necessarily, false. If warranted, this conclusion would significantly limit the appeal of the fictionalist strategy rendering it unavailable to anyone antecedently convinced that mathematics and metaphysics concern non-contingent matters. I try to show that their arguments (...) can be resisted by developing and defending a strategy suggested by Rosen, Nolan and Dorr, according to which the fiction-operator is to be analysed in terms of a counterfactual that admits of non-trival truth-values even when the antecedent is impossible. (shrink)

Fine is widely thought to have refuted the simple modal account of essence, which takes the essential properties of a thing to be those it cannot exist without exemplifying. Yet, a number of philosophers have suggested resuscitating the simple modal account by appealing to distinctions akin to the distinction Lewis draws between sparse and abundant properties, treating only those in the former class as candidates for essentiality. I argue that ‘sparse modalism’ succumbs to counterexamples similar to those originally posed by (...) Fine, and fails to capture paradigmatic instances of essence involving abundant properties and relations. (shrink)

According to Timothy Williamson, we should accept the simplest and most powerful second-order modal logic, and as a result accept an ontology of "bare possibilia". This general method for extracting ontology from logic is salutary, but its application in this case depends on a questionable assumption: that modality is a fundamental feature of the world.

Classic inductive skepticism–the epistemological claim that we have no good reason to believe that the unobserved resembles the observed–is plausibly everyone’s lot, whether or not they embrace Hume’s metaphysical claim that distinct existents are “entirely loose and separate”. But contemporary advocates of a Humean metaphysic accept a metaphysical claim stronger than Hume’s own. I argue that their view plausibly gives rise to a radical inductive skepticism–according to which we are downright irrational in believing as we do about the unobserved–that we (...) don’t otherwise have reason to accept. The Metaphysical Neo-Humean is in an epistemological quagmire all her own. (shrink)

There are important differences among those philosophers who would call themselves nominalists and thus claim to disbelieve in the existence of numbers, properties, propositions, and their ilk. Some are non-concessive, and would deny that sentences such as following can be true.

There are important differences among those philosophers who would call themselves nominalists and thus claim to disbelieve in the existence of numbers, properties, propositions, and their ilk. Some are non-concessive, and would deny that sentences such as following can be true.

As I will use the term, an object is a mereological sum of some things just in case those things compose it simply in virtue of existing. In the first half of this paper, I argue that there are no sums. The key premise for this conclusion relies on a constraint on what, in certain cases, it takes for something to ground, or metaphysically explain, something else. In the second half, I argue that in light of my argument against sums, (...) Universalism, which is perhaps the most widely accepted answer to the Special Composition Question, is false. (shrink)

What I shall do in this paper is to propose an analysis of ‘Agent P tries to A’ in terms of a subjunctive conditional, that avoids some of the problems that beset most alternative accounts of trying, which I call ‘referential views’. They are so-named because on these alternative accounts, ‘P tries to A’ entails that there is a trying to A by P, and therefore the expression ‘P’s trying to A’ can occur in the subject of a sentence and (...) be used to refer to a particular, namely an act or event of trying. A conditional account such as mine avoids having to answer questions about those alleged particulars, for example their location and their causal relation to physical actions, or alternatively their identity to physical actions. In brief, the analysis I propose eschews any need to quantify over any sort of trying particulars. I both clarify the proposal and deal with five possible objections to it: metaphysically impossible actions: cases of finking and reverse-cycle finking; the empirical emptiness of preventers and blockers; proximate intentions and trying; and alleged explanatory loss. (shrink)

This essay is a study of ontological commitment, focused on the special case of arithmetical discourse. It tries to get clear about what would be involved in a defense of the claim that arithmetical assertions are ontologically innocent and about why ontological innocence matters. The essay proceeds by questioning traditional assumptions about the connection between the objects that are used to specify the truth-conditions of a sentence, on the one hand, and the objects whose existence is required in order for (...) the truth-conditions thereby specified to be satisfied, on the other. This allows one to set forth an assignment of truth-conditions to arithmetical sentences whereby nothing is required of the world in order for the truth-conditions of a truth of pure arithmetic to be satisfied. The essay then argues that such an assignment can be used to account for the a priori knowability of certain arithmetical truths. (shrink)

This paper extracts some of the main theses in the philosophy of mathematics from my book, The Construction of Logical Space. I show that there are important limits to the availability of nominalistic paraphrase functions for mathematical languages, and suggest a way around the problem by developing a method for specifying nominalistic contents without corresponding nominalistic paraphrases. Although much of the material in this paper is drawn from the book — and from an earlier paper — I hope the present (...) discussion will earn its keep by motivating the ideas in a new way, and by suggesting further applications. (shrink)

There has been much recent interest in a distinctively metaphysical kind of determinative explanation: ground. This paper concerns various skeptical challenges to ground’s relevance to metaphysics, such as that it is an empty posit, that the work it is supposed to do is appropriated by other notions, and that it is inapt for specific issues it should serve. I argue against these challenges. My strategy is both critical and constructive. Critical because I argue that versions of these challenges raised by (...) Elizabeth Barnes, Kathrin Koslicki, Mari Mikkola, and Jessica Wilson are not persuasive. Constructive because we may nevertheless learn from them new work for ground. (shrink)

According to the scrutability argument against physicalism, an a priori gap between the physical and conscious experience entails a lack of necessitation and the falsity of physicalism. This paper investigates the crucial premise of the scrutability argument: the inference from an a priori gap to a lack of necessitation. This premise gets its support from modal rationalism, according to which there are important, potentially constitutive, connections between a priori justification and metaphysical modality. I argue against the strong form of modal (...) rationalism that underwrites the scrutability argument and suggest a more moderate rationalist view. I offer a novel demonstrative reply to the scrutability argument, according to which demonstratives play a vital role in the generation of meaning for our representations of conscious experience. This connection between conscious experience and demonstratives, rather than a metaphysical gap generated by the truth of dualism, is the source of the epistemic gap between consciousness and the physical. (shrink)

As our data will show, negative existential sentences containing socalled empty names evoke the same strong semantic intuitions in ordinary speakers and philosophers alike.Santa Claus does not exist.Superman does not exist.Clark Kent does not exist.Uttering the sentences in (1) seems to say something truth-evaluable, to say something true, and to say something different for each sentence. A semantic theory ought to explain these semantic intuitions.The intuitions elicited by (1) are in apparent conflict with the Millian view of proper names. According (...) to Millianism, the meaning (or 'semantic value') of a proper name is just its referent. But empty names, such as 'Santa Claus' and 'Superman', appear to lack a .. (shrink)

Orthodoxy has it that knowledge is absolute—that is, it cannot come in degrees. On the other hand, there seems to be strong evidence for the gradability of know-how. Ascriptions of know-how are gradable, as when we say that one knows in part how to do something, or that one knows how to do something better than somebody else. When coupled with absolutism, the gradability of ascriptions of know-how can be used to mount a powerful argument against intellectualism about know-how—the view (...) that know-how is a species of propositional knowledge. This essay defends intellectualism from the argument of gradability. It is argued that the gradability of ascriptions of know-how should be discounted as a rather superficial linguistic phenomenon, one that can be explained in a way compatible with the absoluteness of the state reported. (shrink)

The Significance Argument (SA) for the irreducibility of consciousness is based on a series of new puzzle-cases that I call multiple candidate cases. In these cases, there is a multiplicity of physical-functional properties or relations that are candidates to be identified with the sensible qualities and our consciousness of them, where those candidates are not significantly different. I will argue that these cases show that reductive materialists cannot accommodate the various ways in which consciousness is significant and must allow massive (...) vagueness in conscious experience. I also will argue that a nonreductive theory of the conscious-of relation can easily provide a very satisfying, unified explanation of the ways in which this relation is significant. (shrink)

Parfit denies that the introduction of reasons into our ontology is costly for his theory. He puts forth two positions to help establish the claim: the Plural Senses View and the Argument from Empty Ontology. I argue that, first, the Plural Senses View for ‘exists’ can be expanded to allow for senses which undermine his ontological claims; second, the Argument from Empty Ontology can be debunked by Platonists. Furthermore, it is difficult to make statements about reasons true unless these statements (...) include reference to objects in reality. These arguments show the instability of Parfit’s claimed metaethical advantages over naturalism. [Open access]. (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)

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

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

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

In this paper, I argue that for the purposes of ordinary reasoning, sentences about properties of concrete objects can be replaced with sentences concerning how things in our universe would be related to inscriptions were there a pluriverse. Speaking loosely, pluriverses are composites of universes that collectively realize every way a universe could possibly be. As such, pluriverses exhaust all possible meanings that inscriptions could take. Moreover, because universes necessarily do not influence one another, our universe would not be any (...) different intrinsically if there were a pluriverse. These two facts enable anti-realists about abstract objects to replace, e.g. talk of anatomical features with talk of the inscriptions concerning anatomical structure that would exist were there a pluriverse. The availability of such replacements enables anti-realists to carry out essential ordinary reasoning without referring to properties, thereby making room for a consistent anti-realist worldview. The inscriptions of the would-be pluriverse are so numerous and varied that sentences about them can play the roles in ordinary reasoning served by simple sentences about properties of concrete objects. (shrink)

Nominalists are confronted with a grave difficulty: if abstract objects do not exist, what explains the success of theories that invoke them? In this paper, I make headway on this problem. I develop a formal language in which certain platonistic claims about properties and certain nominalistic claims can be expressed, develop a formal language in which only certain nominalistic claims can be expressed, describe a function mapping sentences of the first language to sentences of the second language, and prove some (...) facts about that function and facts about some sound logics for those languages. In doing so, I prove that, given some plausible metaphysical assumptions, a large class of sentences about properties of concrete objects are “safe” on nominalistic grounds. Whenever some true sentences about concrete objects and some sentences belonging to this class that are true according to platonists collectively entail a conclusion about concrete objects, some nominalistically acceptable sentences are true and entail the same conclusion. Because the proof can itself be formulated without abstract objects, it provides a nominalistic explanation of the success of theories that invoke properties of concrete objects. (shrink)

In this paper, I argue that all expressions for abstract objects are meaningless. My argument closely follows David Lewis’ argument against the intelligibility of certain theories of possible worlds, but modifies it in order to yield a general conclusion about language pertaining to abstract objects. If my Lewisian argument is sound, not only can we not know that abstract objects exist, we cannot even refer to or think about them. However, while the Lewisian argument strongly motivates nominalism, it also undermines (...) certain nominalist theories. (shrink)

In this paper, I develop a "safety result" for applied mathematics. I show that whenever a theory in natural science entails some non-mathematical conclusion via an application of mathematics, there is a counterpart theory that carries no commitment to mathematical objects, entails the same conclusion, and the claims of which are true if the claims of the original theory are "correct": roughly, true given the assumption that mathematical objects exist. The framework used for proving the safety result has some advantages (...) over existing nominalistic accounts of applied mathematics. It also provides a nominalistic account of pure mathematics. (shrink)

© The Author 2017. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: [email protected] of the best arguments in Trenton Merricks’s book Propositions – and there are many excellent arguments to choose from – occurs near the end, where he argues that if it is primitive that propositions represent things as being various ways then we should reject the view that propositions are structured and have constituents. As Merricks shows, combining these (...) views leads to an inexplicable coincidence between what a proposition represents and its constituents. Suppose that it is a primitive and unanalysable fact that the proposition that p represents Russell as being a philosopher. Suppose also that p has Russell and the property of being a philosopher as constituents. What is the relationship between these two facts? The latter cannot explain the... (shrink)

Metaphysics is the branch of philosophy that aims to give a theoretical account of what there is and what it is like. Social justice movements seek to bring about justice in a society by changing policy, law, practice, and culture. Evidently, these activities are very different from one another. The goal of this article is to identify some positive connections between recent work in metaphysics and social justice movements. I outline three ways in which metaphysical work on social reality can (...) make a contribution to movements seeking social justice, viz., (1) by providing basic categories and concepts useful for clarifying and defending claims made by social justice movements; (2) by offering accounts of the natures of social categories, structures, and institutions that these movements seek to change; and (3) by contributing to “unmasking” or “debunking” projects that reveal putatively natural arrange- ments to be social in nature and hence subject to moral critique, alteration, and possibly eradication. (shrink)

I critically discuss some of the main arguments of Modal Logic as Metaphysics, present a different way of thinking about the issues raised by those arguments, and briefly discuss some broader issues about the role of higher-order logic in metaphysics.

© The Authors 2017. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: [email protected] of the central goals of Propositions is to argue that propositions exist. My plan for the following is to explore the options for Merricks’s opponents. I’m not sure whether, in the end, they have any entirely satisfactory strategy, but the discussion will still be of some interest. At least I hope to achieve some clarification of the initial (...) arguments of the book and to prompt Merricks to elaborate on a few issues. Before continuing, I should say that I found many other challenging arguments throughout the book as well as much to agree with. I focus on the first chapter due to its foundational status with respect to the rest of the book, but every chapter... (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

This article discusses two arguments in favor of perdurance. The first is Sider’s argument from vagueness, “one of the most powerful” in favor of perdurantism. I make the observation that endurantists have principled grounds to claim that the argument is unsound, at least if endurance is formulated in locative rather than mereological terms. Having made this observation, I use it to emphasize a somewhat neglected difference between endurantists and perdurantists with respect to their views on material objects. These views, in (...) the case of endurantists, lead to a further, less than conclusive but nevertheless interesting argument against endurantism—the anti-fundamentality argument—which I discuss and tentatively endorse. That argument posits that endurantists must take location to be a fundamental relation, and that this has as a consequence the metaphysical possibility of some rather unwelcome scenarios. Perdurantists may avoid this consequence by denying that location is fundamental, perhaps by embracing supersubstantivalism. (shrink)