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)

Ontological Pluralism is the thesis that there are different ways of being. In his recent paper, ‘The only way to be’, Trenton Merricks has presented an important challenge to Pluralism in the form of a dilemma. The purpose of this paper is two-fold. First, I argue that Merricks’s argument against Pluralism, as stated, is unsound. I will argue that one horn of the dilemma is unproblematic for contemporary versions of Pluralism, defended by Jason Turner and Kris McDaniel, that are formulated (...) in the framework of Ted Sider. However, my second task is to provide a new dilemma against Pluralism, which, when combined with Merricks’s arguments, constitutes a sound argument against all forms of Pluralism. The new dilemma will reveal that the real problem with Ontological Pluralism is its conflict with Ted Sider’s principle of Purity. (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)

Mereological nihilists hold that composition never occurs, so that nothing is ever a proper part of anything else. Substance dualists generally hold that we are each identical with an immaterial soul. In this paper, I argue that every popular objection to substance dualism has a parallel objection to composition. This thesis has some interesting implications. First, many of those who reject composition, but accept substance dualism, or who reject substance dualism and accept composition, have some explaining to do. Secondly, one (...) popular objection to mereological nihilism, one which contends that mereological nihilism is objectionable insofar as it is incompatible with the existence of people, is untenable. (shrink)

Mereological nihilism is the thesis that composition never occurs. Sider has defended nihilism on the basis of its relative ideological simplicity. In this paper I develop the argument from ideological simplicity, and defend it from some recent objections. Along the way I discuss the best way to formulate nihilism, what it means for a theory to exhibit lesser or greater degrees of ideological simplicity, the relationship between the parthood relation and the identity relation, and the notion that we should judge (...) the ideological simplicity of competing theories on the basis of the kinds of ideological commitments required by those theories. (shrink)

It is widely believed that deflationary truth has no explanatory power. I will argue that it does. Specifically, I will consider some objections to deflationary truth having explanatory power, and argue that they fail. The position which will emerge is that the deflationary concept of truth is analogous to the concept of an average. Scientists take averages to be explanatory, and I will argue that the concept of deflationary truth is explanatory in the same way. I then argue that this (...) deflationary _concept_ of truth motivates a theory of the _property_ of truth which is metaphysically disunified, but that this is no obstacle to explanation. This leads to a way of understanding the deflationary/substantive distinction in terms of grounding. (shrink)

There is a widely shared belief that the higher-level sciences can provide better explanations than lower-level sciences. But there is little agreement about exactly why this is so. It is often suggested that higher-level explanations are better because they omit details. I will argue instead that the preference for higher-level explanations is just a special case of our general preference for informative, logically strong, beliefs. I argue that our preference for informative beliefs entirely accounts for why higher-level explanations are sometimes (...) better—and sometimes worse—than lower-level explanations. The result is a step in the direction of the unity of science hypothesis. 1Introduction2Background: Is Omitting Details an Explanatory Virtue? 2.1Anti-reductionist arguments2.2Reductionist argument2.3Logical strength3Bases, Links and Logical Strength4Functionalism and Fodor’s Argument5Two Generalizations6Should the Base Really Be Maximally Strong?7Anti-reductionist Arguments Regarding the Base8Should the Antecedent of the Link Really Be Maximally Weak? (shrink)

© The Author 2017. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: [email protected]‘Carnap is not completely unknown to us’ comments Richard Creath in his contribution to this book. ‘We often know just enough to be baffled’. It will be no surprise to anyone when I say that this book will not unbaffle us. But it does give us a collection of rewarding papers that each wrestle with the legacy Carnap has (...) left us. The introduction contains a helpful summary of each paper, so rather than giving my own, I will trace one thread of argument that runs through a few of the papers.Perhaps the only feature of Carnap’s views that can be found throughout the book is his distinction between internal and external questions, according to which internal questions are good, external questions are bad and... (shrink)

Many who take a dismissive attitude towards metaphysics trace their view back to Carnap’s ‘Empiricism, Semantics and Ontology’. But the reason Carnap takes a dismissive attitude to metaphysics is a matter of controversy. I will argue that no reason is given in ‘Empiricism, Semantics and Ontology’, and this is because his reason for rejecting metaphysical debates was given in ‘Pseudo-Problems in Philosophy’. The argument there assumes verificationism, but I will argue that his argument survives the rejection of verificationism. The root (...) of his argument is the claim that metaphysical statements cannot be justified; the point is epistemic, not semantic. I will argue that this remains a powerful challenge to metaphysics that has yet to be adequately answered. (shrink)

According to Lewis, mereology is the general and exhaustive theory of ontological composition, and every contingent feature of the world supervenes upon some fundamental properties instantiated by minimal entities. A profound analogy can be drawn between these two basic contentions of his metaphysics, namely that both can be intended as a denial of emergentism. In this essay, we study the relationships between Humean supervenience and two philosophical spin-offs of mereological monism: the possibility of gunk and the thesis of composition as (...) identity. In a gunky scenario, there are no atoms and, thus, some criteria alternative to mereological atomicity must be introduced in order to identify the bearers of fundamental properties; this introduction creates a precedent, which renders the restriction of the additional criteria to gunky scenarios arbitrary. On the other hand, composition as identity either extends the principle of indiscernibility of identicals to composition or is forced to replace indiscernibility with a surrogate; both alternatives lead to the postulation of a symmetric kind of supervenience which, in contrast to Humean supervenience, does not countenance a privileged level. Both gunk and composition as identity, thus, display a tension with Humean supervenience. (shrink)

I show that a particular version of Hume's Dictum together with the falsity of Composition as Identity entails an incoherency, so either that version of Hume's Dictum is false or Composition as Identity is true. I conditionally defend the particular version of Hume's Dictum in play, and hence conditionally conclude that Composition as Identity is true. I end by suggesting an alternative way out for a persistent foe of Composition as Identity, namely mereological nihilism.

Although it is very often taken for granted that there is something fundamental, the literature appears to have developed with little to no careful consideration of what exactly it is that the fundamentalia are supposed to do. If we are to have a good reason to believe that there is something fundamental, we need not only to know what exactly it is that the fundamentalia are invoked for, but why it is that nothing else is available for the task to (...) hand. A good argument in defense of fundamentality, then, will contain an assumption that stipulates an explanatory target; along with a second, crucial, assumption that tells us that no dependent entity is available to do the work that needs to be done. In this paper, I explore both of these assumptions. (shrink)

Metaphysicians of a certain stripe are almost unanimously of the view that grounding is necessarily irreflexive, asymmetric, transitive, and well-founded. They deny the possibility of circles of ground and, therewith, the possibility of species of metaphysical coherentism. But what's so bad about circles of ground? One problem for coherentism might be that it ushers in anti-foundationalism: grounding loops give rise to infinite regresses. And this is bad because infinite grounding regresses are vicious. This article argues that circles of ground do (...) not necessarily give rise to infinite regresses, and where they do, those regresses are not necessarily vicious. (shrink)

ABSTRACT In her Making Things Up, amongst the many other achievements of the volume, Bennett develops a rich account of relative fundamentality. She also defends a kind of deflationism about the notion: relative fundamentality is nothing over and above patterns of building. In this essay, I argue that the best and common competitor of this view – primitivism about relative fundamentality – is in worse shape than Bennett's evaluation would indicate. Deflationism looks to be the best view.

In this discussion note I reply to some criticisms that Marc Lange (2022) has directed at my Humean view of scientific laws (Bhogal, 2020) -- about whether Humean views can make sense of the apparent fact that laws are counterfactually invariant. The key idea of my response is that the Humean should think of their reduction of the laws to the Humean mosaic as closely related to other views where we reduce one domain to another but still allow that the (...) higher-level domain can be `autonomous' of the lower-level in some respects -- like, for example, the view that the special sciences reduce to physics but can still can work autonomously of physics. (shrink)

Some patterns call out for explanation, in the sense that we have a pro tanto reason to reject theories that do not give them an appropriate explanation. I argue that certain modal patterns call out for explanation in this way—and this provides a reason to reject certain theories of modality that fail to explain such patterns. However, I also consider a response to this argument, which claims that the modal patterns do not need explanation. This response might be viable but (...) it involves some substantial commitments about the nature of explanation. (shrink)

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

Invoking a form of quantifier variance promises to let us explain mathematicians’ freedom to introduce new kinds of mathematical objects in a way that avoids some problems for standard platonist and nominalist views. In this paper I’ll note that, despite traditional associations between quantifier variance and Carnapian rejection of metaphysics, Siderian realists about metaphysics can naturally be quantifier variantists. Unfortunately a variant on the Quinean indispensability argument concerning grounding seems to pose a problem for philosophers who accept this hybrid. However (...) I will charitably reconstruct this problem and then argue for optimism about solving it. (shrink)

It is often thought that metaphysical grounding underwrites a distinctive sort of metaphysical explanation. However, it would be a mistake to think that all metaphysical explanations are underwritten by metaphysical grounding. In service of this claim, I offer a novel kind of metaphysical explanation called metaphysical explanation by constraint, examples of which have been neglected in the literature. I argue that metaphysical explanations by constraint are not well understood as grounding explanations.

I argue for the claim in the title. Along the way, I also address an independently interesting question: what is metaphysics, anyway? I think that the typical characterizations of metaphysics are inadequate, that a better one is available, and that the better one helps explain why metaphysics is no more problematic than the rest of philosophy.

I am very grateful to Stephan Leuenberger, Erica Shumener and Naomi Thompson for their excellent and thoughtful commentaries on Making Things Up. I have learned a lot from thinking through their replies. As it happens, they focus on pretty disparate aspects of the book: necessitation, relative fundamentality, and what builds the building facts, respectively. I will thus engage with their remarks separately.

ABSTRACT I reply to five critics of my book. In particular, I tackle criticisms of my treatment of causation, relative fundamentality, and generativity. I also take on the question of my reliance on a possibly sketchy modal recombination principle, and what grounds the grounding facts.