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)

O czterech typach argumentacji na rzecz logiki klasycznej Moim celem w tym artykule jest analiza argumentacji pod kątem poprawności standardowej logiki. Formułuję też kilka uwag krytycznych i porównawczych. Skupiam się na czterech najbardziej spójnych i kompletnych argumentach, które próbują uzasadnić wyróżnione stanowisko logiki klasycznej. Istnieją następujące argumenty: argumentacja pragmatyczno-metodologiczna Willarda van O. Quine’a, argumentacja filozoficzno-metalogiczna Jana Woleńskiego, argumentacja ontologiczno-semantyczna Stanisława Kiczuka, argumentacja metalogiczna. Moim zdaniem teza o poprawności logiki klasycznej jest racjonalnie uzasadniona tymi argumentacjami. Pozostaje problem, czy analizowana logika standardowa (...) jest jedyną właściwą logiką. (shrink)

According to the modal view, essence admits of reductive analysis in exclusively modal terms. Fine (1994) argues that modal view delivers an inadequate analysis of essence. This paper defends the modal view from Fine's challenge. This defense proceeds by examining the disagreement between Finean primitivists and Quinean eliminativists about essence. In order to model this disagreement, a distinction between essence and a separable concept, nature, is required. This distinction is then used to show that Fine's challenge is misdirected and therefore (...) unsuccessful. (shrink)

Haecceitism and Hume’s Dictum are each controversial theses about necessity and possibility. According to haecceitism, there are qualitatively indiscernible possible worlds that differ only with respect to which individuals occupy which qualitative roles. According to Hume’s Dictum, there are no necessary connections between distinct entities or, as Humeans sometimes put it, reality admits of “free recombination” so any entities can co-exist or fail to co-exist. This paper introduces a puzzle that results from the combination of haecceitism and Hume’s Dictum. This (...) puzzle revolves around the free recombination of non-qualitative properties like being Socrates. After considering several responses to this puzzle, I defend an ideology-driven solution, which dispenses with non-qualitative properties like being Socrates in favour of primitive theoretical ideology while, at the same time, preserving a commitment to both haecceitism and Hume’s Dictum. (shrink)

The distinction between qualitative properties like mass and shape and non-qualitative properties like being Napoleon and being next to Obama is important, but remains largely unexamined. After discussing its theoretical significance and cataloguing various kinds of non-qualitative properties, I survey several views about the nature of this distinction and argue that all proposed reductive analyses of this distinction are unsatisfactory. I then defend primitivism, according to which the distinction resists reductive analysis.

Many familiar forms of property realism identify properties with sui generis ontological categories like universals or tropes and posit a fundamental instantiation relation that unifies objects with their properties. In this paper, I develop and defend locationism, which identifies properties with locations and holds that the occupation relation that unifies objects with their locations also unifies objects with their properties. Along with the theoretical parsimony that locationism enjoys, I argue that locationism resolves a puzzle for actualists regarding the ontological status (...) of uninstantiated properties. I also note some promising applications of the locationist framework to the metaphysics of quantities and possible worlds. (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)

According to some contemporary nonnaturalists about normativity (e.g., Parfit, Scanlon, Dworkin), normative facts exist in an ontologically non-committing sense. These nonnaturalists face an explanatory burden. They must explain their claim that normative facts exist in such a sense. I identify criteria for an adequate explanation, and extract five distinct candidate explanations from the writings of these authors (based on causal efficacy, analogy with modality, fundamentality, domain-relativity and first-order considerations respectively). I assess each. None is both (a) informative and (b) recognizable (...) as a version of contemporary nonnaturalism. In light of this, I assess the best options for proponents of this view. (shrink)

I introduce a proof system for the logic of relative fundamentality, as well as a natural semantics with respect to which the system is both sound and complete. I then “modalise” the logic, and finally I discuss the properties of grounding given a suggested account of this notion in terms of necessity and relative fundamentality.

Scientific realism is usually presented as if metaphysical realism (i.e. the thesis that there is a structured mind-independent external world) were one of its essential parts. This paper aims to examine how weak the metaphysical commitments endorsed by scientific realists could be. I will argue that scientific realism could be stated without accepting any form of metaphysical realism. Such a conclusion does not go as far as to try to combine scientific realism with metaphysical antirealism. Instead, it amounts to the (...) combination of the former with a weaker view, called quietism, which is agnostic on the existence of mind-independent structures. In Sect. 2, I will argue that the minimal claim that brings together every scientific realist view is devoid of any metaphysical commitment. In Sect. 3, I will define metaphysical realism and antirealism. Such work will be instrumental in providing a more precise statement of quietism. Finally (Sect. 4), I will argue that assuming quietism, it is still possible to make sense of the debate between scientific realists and antirealists. (shrink)

Metaphysical explanations, unlike many other kinds of explanation, are standardly thought to be insensitive to our epistemic situation and so are not evaluable by cognitive values such as salience. I consider a case study that challenges this view. Some properties are distributed over an extension. For example, the property of being polka-dotted red on white, when instantiated, is distributed over a surface. Similar properties have been put to work in a variety of explanatory tasks in recent metaphysics, including: providing an (...) analysis of change, giving to presentists truthmakers for past claims; giving to priority monists an account of basic heterogeneous entities; and giving to friends of extended simples an explanation of how an extended simple can enjoy qualitative variation. I argue that such explanations exhibit salience failure. How ought we represent the semantics of salience? Differences in linguistic stress induce semantic differences similar to the semantic differences induced in explanations by differences in salience, and I will draw an analogy with linguistic theories of focus sensitivity to sketch how one might model the role of salience in these kinds of explanations. I end with a few tentative conclusions about the role of cognitive values in metaphysical explanations. Some theorists view the citation of a ground as a sufficient explanation. If certain explanations appealing to distributed properties exhibit attenuated salience, then arguably the mere citation of a ground does not always provide an adequate explanation. (shrink)

The relation of ontological dependence or grounding, expressed by the terminology of separation and priority in substance, plays a central role in Aristotle’s Categories, Metaphysics, De Anima and elsewhere. The article discusses three current interpretations of this terminology. These are drawn along the lines of, respectively, modal-existential ontological dependence, essential ontological dependence, and grounding or metaphysical explanation. I provide an opinionated introduction to the topic, raising the main interpretative questions, laying out a few of the exegetical and philosophical options that (...) influence one’s reading, and locating questions of Aristotle scholarship within the discussion of ontological dependence and grounding in contemporary metaphysics. (shrink)

I provide and defend two natural accounts of fundamentality for facts that do justice to the idea that the “degree of fundamentality” enjoyed by a fact is a matter of how far, from a ground-theoretic perspective, the fact is from the ungrounded facts.

Many philosophers have recently been impressed by an argument to the effect that all grounding facts about “derivative entities”—e.g. the facts expressed by the (let us suppose) true sentences ‘the fact that Beijing is a concrete entity is grounded in the fact that its parts are concrete’ and ‘the fact that there are cities is grounded in the fact that p’, where ‘p’ is a suitable sentence couched in the language of particle physics—must themselves be grounded. This argument relies on (...) a principle,Purity, which states that facts about derivative entities are non-fundamental. Purity is questionable. In this paper, I introduce a new argument—the argument fromSettledness—for a similar conclusion but which does not rely on Purity. The conclusion of the new argument is that every “thick” grounding fact is grounded, where a grounding fact [F is grounded in G, H, …] is said to be thick when at least one of F, G, H, … is a fact—a condition that is automatically satisfied if grounding is factive. After introducing the argument, I compare it with the argument from Purity, and I assess its cogency relative to the relevant accounts of the connections between grounding and fundamentality that are available in the literature. (shrink)

I offer an account of fundamentality for facts in terms of metaphysical grounding. The account does justice to the idea that whether a fact is absolutely fundamental, and whether a fact is more fundamental than, or as fundamental as, another fact, are a matter of where in a grounding-induced hierarchy of kinds of facts these facts appear.

Mereological nihilism is the thesis that there are no composite objects—i.e. objects with proper material parts. One of the main advantages of mereological nihilism is that it allows its supporters to avoid a number of notorious philosophical puzzles. However, it seems to offer this advantage only at the expense of certain widespread and deeply entrenched beliefs. In particular, it is usually assumed that mereological nihilism entails eliminativism about ordinary objects—i.e. the counterintuitive thesis that there are no such things as tables, (...) apples, cats, and the like. In this paper, I argue that this assumption is false—mereological nihilists do not need to be eliminativists about tables, apples, or cats. Non-eliminativist nihilists claim that all it takes for there to be a cat is that there are simples arranged cat-wise. More specifically, non-eliminative nihilists argue that expressions such as ‘the cat’ in sentences such as ‘The cat is on the mat’ do not refer to composite objects but only to simples arranged cat-wise and compare this metaphysical discovery to the scientific discovery that ‘water’ refers to dihydrogen oxide. Non-eliminative nihilism, I argue, is not only a coherent position, but it is preferable to its more popular, eliminativist counterpart, as it enjoys the key benefits of nihilism without incurring the prohibitive costs of eliminativism. Moreover, unlike conciliatory strategies adopted by eliminative nihilists, non-eliminative nihilism allow its supporters to account not only for how we can assert something true by saying ‘The cat is on the mat’ but also for how we can believe something true by believing that the cat is on the mat. (shrink)

Ground, essence, and modality seem to have something to do with each other. Can we provide unified foundations for ground and essence, or should we treat each as primitives? Can modality be grounded in essence, or should essence be expressed in terms of modality? Does grounding entail necessitation? Are the notions of ground and essence univocal? This volume focuses on the links—or lack thereof—between these three notions, as well as the foundations of ground, essence, and modality more generally, bringing together (...) work on the metaphysics, epistemology, and logic of these three notions by some of the leading figures in the field as well as emerging young scholars. The invited contributors to this volume presented their work at a conference on Ground, Essence, and Modality at the University of Helsinki in June 2016, funded by the Academy of Finland Project The Epistemology of Metaphysics: From Rationalism to Nominalism. This conference is just one of many recent high-profile events and publications on these themes (e.g., the edited volumes Correia and Schnieder 2012a; Sirkel and Tahko 2014; Jago 2016). After providing a brief historical summary of the (re)emergence of modality, essence and ground as central notions in metaphysics (Sect. 1), we shall outline some of the main themes in recent work on these notions and on the links between them (Sect. 2). In Sect. 3 we briefly introduce the papers in this volume. (shrink)

This paper is part of a book symposium on Theodore Sider's Writing the Book of the World.

The paper argues that natural language quantification, as expressed by determiner phrases, is not polysemous. The foil for this claim is Hofweber, who contends that natural language quantification is polysemous between a domain reading and an inferential reading. The thesis is intended to support a more general division between externalist and internalist positions in semantics. The paper, to the contrary, argues that there is no linguistic evidence for polysemous quantification, and Hofweber’s proposal proves to be non-compositional. Further, an approach at (...) least consistent with internalism is available independent of an inferential reading, for natural language quantification can be read as ontologically neutral, which removes the rationale for the polysemy hypothesis. The paper remains neutral on so-called heavyweight vs. lightweight construals of quantification, which are not claims about natural language semantics. (shrink)

I draw upon Helen Steward's concept of agential settling to argue that freedom requires an ability to change the truth‐value of tenseless future contingents over time from false to true and that this ability requires a metaphysically open future.

In this paper I investigate the idea that in conceptual analysis we are in a substantial way concerned with revealing metaphysical grounds. I argue that a recent proposal fails, according to which we aim to reveal what complex concepts are grounded in. The notion ofcomposition, rather than that ofgrounding, is the best way to understand the intuitive hierarchy of concepts. In an analysis we reveal thecomponentsorpartsof complex concepts and their structure. Finally, I propose an alternative role for grounding in our (...) accounts of analysis: in analyses we reveal truths about the composition of concepts that serve as grounds for truths about theirfunctions, which are what we want to understand. (shrink)

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 article, we discuss a simple argument that modal metaphysics is misconceived, and responses to it. Unlike Quine's, this argument begins with the simple observation that there are different candidate interpretations of the predicate ‘could have been the case’. This is analogous to the observation that there are different candidate interpretations of the predicate ‘is a member of’. The argument then infers that the search for metaphysical necessities is misguided in much the way the ‘set-theoretic pluralist’ claims that the (...) search for the true axioms of set theory is. We show that the obvious responses to this argument fail. However, a new response has emerged that purports to prove, from higher-order logical principles, that metaphysical possibility is the broadest kind of possibility applying to propositions, and is to that extent special. We distill two lines of reasoning from the literature, and argue that their import depends on premises that any ‘modal pluralist’ should deny. Both presuppose that there is a unique typed hierarchy, which is what the modal pluralist, in the context of higher-order logic, should disavow. In other words, both presupposes that there is a unique candidate for what higher-order claims could mean. We consider the worry that, in a higher-order setting, modal pluralism faces an insuperable problem of articulation, collapses into modal monism, is vulnerable to the Russell-Myhill paradox, or even contravenes the truism that there is a unique actual world, and argue that these worries are misplaced. We also sketch the bearing of the resulting ‘Higher-Order Pluralism’ on the theory of content. One theme of the discussion is that, if Higher-Order Pluralism is correct, then there is no fixed metatheory from which to characterize higher-order reality. (shrink)

It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can agree (...) with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (shrink)

This paper motivates and describes a non-alethic approach to faultless disagreement involving predicates of personal taste. In section 1 I describe problems faced by Sundell's indexicalist approach, and MacFarlane's relativist approach. In section 2 I develop an alternative, non-alethic, approach. The non-alethic approach is broadly expressivist in that it endorses both the negative semantic thesis that simple sentences containing PPTs do not semantically encode complete propositions and the positive pragmatic thesis that such sentences are used to express evaluative mental states. (...) Finally, in section 3 I explain how the non-alethic approach explains faultless disagreement. (shrink)

The present work is a review of Imaguire's book 'Priority Nominalism'. In the first part I present the fundamental idea of the book along general lines; successively, I report a resume of each chapter and I present in more details the view of the author and the dialectic of his arguments. In the final part, I highlight some strong points of the book and I attempt a formulation of a possible difficulty arising from Imaguire's proposal.

A new strategy in philosophy of law appeals to explanatory gap arguments to attack legal positivism. We argue that the strategy faces a dilemma, which derives from there being two available readings of the constraint it places on legal grounding. To this end, we elaborate the most promising ways of spelling out the epistemic constraints governing law-determination, and show that each of the arguments based on them has problems. Throughout the paper, we evaluate a number of explanatory requirements, ultimately with (...) a view to shedding light on the explanatory nature of both grounding in general, and legal grounding in particular. (shrink)

Do grounding claims entail corresponding supervenience claims? The question matters, as a positive answer would help grounding theorists address worries that their hyperintensional primitive is obscure, and also increase the argumentative strategies that are available within ground-theoretic frameworks for metaphysical inquiry. Leuenberger (Erkenntnis 79:227–240, 2014a) argues for a negative response, by specifying some candidate principles of entailment and then claiming that each of them is subject to counterexamples. In this paper, I critically assess those principles and the objections he raises (...) against them, and advocate a novel entailment principle that overcomes all the problems suffered by those other principles. The principle I defend places a supervenience-based constraint on grounding claims, and secures a substantive connection between grounding and modality, weaker than necessitation. (shrink)

If there are fundamental laws of nature, can they fail to be exact? In this paper, I consider the possibility that some fundamental laws are vague. I call this phenomenon 'fundamental nomic vagueness.' I characterize fundamental nomic vagueness as the existence of borderline lawful worlds and the presence of several other accompanying features. Under certain assumptions, such vagueness prevents the fundamental physical theory from being completely expressible in the mathematical language. Moreover, I suggest that such vagueness can be regarded as (...) 'vagueness in the world.' For a case study, we turn to the Past Hypothesis, a postulate that (partially) explains the direction of time in our world. We have reasons to take it seriously as a candidate fundamental law of nature. Yet it is vague: it admits borderline (nomologically) possible worlds. An exact version would lead to an untraceable arbitrariness absent in any other fundamental laws. However, the dilemma between fundamental nomic vagueness and untraceable arbitrariness is dissolved in a new quantum theory of time's arrow. (shrink)

Two of the most difficult problems in the foundations of physics are (1) what gives rise to the arrow of time and (2) what the ontology of quantum mechanics is. I propose a unified 'Humean' solution to the two problems. Humeanism allows us to incorporate the Past Hypothesis and the Statistical Postulate into the best system, which we then use to simplify the quantum state of the universe. This enables us to confer the nomological status to the quantum state in (...) a way that adds no significant complexity to the best system and solves the ''supervenient-kind problem'' facing the original version of the Past Hypothesis. We call the resultant theory the Humean unification. It provides a unified explanation of time asymmetry and quantum entanglement. On this theory, what gives rise to time's arrow is also responsible for quantum phenomena. The new theory has a separable mosaic, a best system that is simple and non-vague, less tension between quantum mechanics and special relativity, and a higher degree of theoretical and dynamical unity. The Humean unification leads to new insights that can be useful to Humeans and non-Humeans alike. (shrink)

I defend mereological nihilism, the view that there are no composite objects, against a challenge from ontological emergence, the view that some things have properties that are ‘something over and above’ the properties of their parts. As the nihilist does not believe in composite wholes, there is nothing in the nihilist's ontology to instantiate emergent properties – or so the challenge goes. However, I argue that some simples can collectively instantiate an emergent property, so the nihilist's ontology can in fact (...) accommodate emergent properties. Furthermore, I show that employing plural instantiation does not bloat the nihilist's ontology or ideology. (shrink)

John Carroll undertakes a careful philosophical examination of laws of nature, causation, and other related topics. He argues that laws of nature are not susceptible to the sort of philosophical treatment preferred by empiricists. Indeed he shows that emperically pure matters of fact need not even determine what the laws are. Similar, even stronger, conclusions are drawn about causation. Replacing the traditional view of laws and causation requiring some kind of foundational legitimacy, the author argues that these phenomena are inextricably (...) intertwined with everything else. This distinctively clear and detailed discussion of what it is to be a law will be valuable to a broad swathe of philosophers in metaphysics, the philosophy of mind, and the philosophy of science. (shrink)

According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...) of distinct qualitative indiscernibles. Here, the key idea appeals to a non-standard theory of haecceities as non-well-founded properties of a certain sort. I will then defend this theory from a number of objections, and finally argue that we should accept it on the basis of considerations of parsimony about the fundamental. (shrink)

In a series of recent publications, Jeffrey King (The nature and structure of content, 2007; Proc Aristot Soc 109(3):257–277, 2009; Philos Stud, 2012) argues for a view on which propositions are facts. He also argues against views on which propositions are set-theoretical objects, in part because such views face Benacerraf problems. In this paper, we argue that, when it comes to Benacerraf problems, King’s view doesn’t fare any better than its set-theoretical rivals do. Finally, we argue that his view faces (...) a further Benacerraf problem, one that threatens to undercut his explanation of why propositions have truth-conditions. If correct, our arguments undercut King’s main motivation for accepting his view over its rivals. (shrink)

Many have been tempted to invoke a primitive notion of grounding to describe the way in which some features of reality give rise to others. Jessica Wilson argues that such a notion is unnecessary to describe the structure of the world: that we can make do with specific dependence relations such as the part–whole relation or the determinate–determinable relation, together with a notion of absolute fundamentality. In this paper I argue that such resources are inadequate to describe the particular ways (...) in which some parts of reality give rise to others, and thus that we do in fact need grounding. (shrink)

'Chains of Being' argues that there can be infinite chains of dependence or grounding. Cameron also defends the view that there can be circular relations of ontological dependence or grounding, and uses these claims to explore issues in logic and ontology.

Supersubstantivalism, the view that material objects are identical to their locations, has recently been defended in metaphysics and philosophy of physics. One of the most powerful arguments in its favour is the so-called argument from harmony. There is a certain harmony between material objects and their locations. Necessarily, if material object x is located at a spherical region, x is spherical. Necessarily, if material object x is located at region r, any part of x is located at a part of (...) r. Supersubstantivalism offers a straightforward explanation of such harmony. By contrast, dualism, the view that material objects are distinct from their locations, does not offer any explanation and should regard harmony principles as unexplained coincidences. In this paper I put forward a theory, which I shall call the ‘Inheritance Theory’, that does provide a straightforward explanation of harmony on behalf of dualists. (shrink)

Which concepts should we use to think and talk about the world and to do all of the other things that mental and linguistic representation facilitates? This is the guiding question of the field that we call ‘conceptual ethics’. Conceptual ethics is not often discussed as its own systematic branch of normative theory. A case can nevertheless be made that the field is already quite active, with contributions coming in from areas as diverse as fundamental metaphysics and social/political philosophy. In (...) this pair of papers, we try to unify the field, reflecting on its basic nature, structure, and methodology. (shrink)

Which concepts should we use to think and talk about the world, and to do all of the other things that mental and linguistic representation facilitates? This is the guiding question of the field that we call ‘conceptual ethics’. Conceptual ethics is not often discussed as its own systematic branch of normative theory. A case can nevertheless be made that the field is already quite active, with contributions coming in from areas as diverse as fundamental metaphysics and social/political philosophy. In (...) this pair of papers, we try to unify the field, reflecting on its basic nature, structure, and methodology. (shrink)

What is the relationship between objects and properties? According to a standard view, there are primitive individuals that ‘instantiate’ or ‘have’ various properties. According to a rival view, objects are mere ‘bundles’ of properties. While there are a number of reasons to be skeptical of primitive individuals, there are also a number of challenges that the bundle theorist faces. The goal of this paper is to formulate a view about the relationship between objects and properties that avoids many of the (...) problems inherent in both of these views. The view I will end up defending implies a particularly radical version of Monism, and it collapses the object-property distinction altogether. (shrink)

I argue that we can get evidence for the temporal ontology of the universe simply by looking at the time. The argument is an extension of the ‘epistemic objection’ towards Growing Block theories.

Most of our best scientific descriptions of the world employ rates of change of some continuous quantity with respect to some other continuous quantity. For instance, in classical physics we arrive at a particle’s velocity by taking the time-derivative of its position, and we arrive at a particle’s acceleration by taking the time-derivative of its velocity. Because rates of change are defined in terms of other continuous quantities, most think that facts about some rate of change obtain in virtue of (...) facts about those other continuous quantities. For example, on this view facts about a particle’s velocity at a time obtain in virtue of facts about how that particle’s position is changing at that time. In this paper we raise a puzzle for this orthodox reductionist account of rate of change quantities and evaluate some possible replies. We don’t decisively come down in favour of one reply over the others, though we say some things to support taking our puzzle to cast doubt on the standard view that spacetime is continuous. (shrink)

According to Hume’s principle, a sentence of the form ⌜The number of Fs = the number of Gs⌝ is true if and only if the Fs are bijectively correlatable to the Gs. Neo-Fregeans maintain that this principle provides an implicit definition of the notion of cardinal number that vindicates a platonist construal of such numerical equations. Based on a clarification of the explanatory status of Hume’s principle, I will provide an argument in favour of a nominalist construal of numerical equations. (...) The neo-Fregean objections to such a construal will be examined and rejected. And the implications of the nominalist construal for the use of numerals and for the understanding of ontological questions for the existence of numbers will be spelled out. (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)

According to the Truthmaker Principle: every truth has a truthmaker. Attempts to come to grips with the Truthmaker Principle played a prominent role in Lewis’s metaphysical writings over the last fifteen years of his career. Although Lewis agreed that the truth of propositions must somehow be ontologically grounded, the Truthmaker Principle was too strong: it conflicted with two of Lewis’s most fundamental metaphysical assumptions, the uniqueness of composition and the Humean denial of necessary connections. Lewis endorsed instead a weaker principle: (...) Truth Supervenes on Being. But towards the end of his career, he changed course, noting that his critique of the Truthmaker Principle rested on essentialist assumptions that he, as a counterpart theorist, does not accept. Once freed from those assumptions, a counterpart theorist can accept the Truthmaker Principle after all without buying into unmereological composition and mysterious necessary connections. (shrink)

Moderate composition as identity holds that there is a generalized identity relation, “being the same portion of reality,” of which composition and numerical identity are distinct species. Composition is a genuine kind of identity; but unlike numerical identity, it fails to satisfy Leibniz’s Law. A composite whole and its parts differ with respect to their numerical properties: the whole is one; the parts (collectively) are many. Moderate composition as identity faces the challenge: how, in the absence of Leibniz’s Law, can (...) one characterize what counts as a genuine kind of identity? This paper explores a promising answer: a genuine kind of identity must satisfy a version of Leibniz’s Law restricted to properties that ascribe qualitative character. Strong composition as identity holds that there is only one identity relation, that it satisfies Leibniz’s Law, and that the parts are identical with the whole that they compose. Strong composition as identity faces the challenge of showing that numerical properties do not provide counterexamples to Leibniz’s Law, and doing so in a way that is compatible with the framework of plural logic that is needed to formulate the theory. The most promising way to do this is to hold that plural logic is fundamental at the level of our representations, but not fundamental at the level of being. At the level of being, portions of reality cannot be characterized as either singular or plural. It turns out that the proposed moderate theory and the proposed strong theory are one and the same. In spite of its many attractions, I reject it. The main issue has to do with whether slice-sensitive emergent properties are possible. I argue that they are, making use both of specific examples and general principles of modal plenitude. I do not claim that my arguments are irresistible. But they cannot be evaded as easily as a related argument against strong composition as identity given by Kris McDaniel. I critically examine McDaniel’s argument to pave the way for my own. (shrink)

Mereological nihilism is the thesis that composite objects—objects with proper parts—do not exist. Nihilists generally paraphrase talk of composite objects F into talk of there being “xs arranged F-wise” . Recently several philosophers have argued that nihilism is defective insofar as nihilists are either unable to say what they mean by such phrases as “there are xs arranged F-wise,” or that nihilists are unable to employ such phrases without incurring significant costs, perhaps even undermining one of the chief motivations for (...) nihilism. In this paper I defend nihilism against these objections. A key theme of the paper is this: if nihilists need to employ such phrases as “there are xs arranged F-wise,” non-nihilists will need to do so as well. Accordingly, any costs incurred by the nihilist when she employs such phrases will be shared by everyone else. What’s more, such phrases are intelligible when employed by the nihilist, as well as when they are employed by the non-nihilist, insofar as analyses of such phrases will not essentially involve mereological concepts incompatible with nihilism. (shrink)