Unlike conceptual analysis, conceptual engineering does not aim to identify the content that our current concepts do have, but the content which these concepts should have. For this method to show the results that its practitioners typically aim for, being able to change meanings seems to be a crucial presupposition. However, certain branches of semantic externalism raise doubts about whether this presupposition can be met. To the extent that meanings are determined by external factors such as causal histories or microphysical (...) structures, it seems that they cannot be changed intentionally. This paper gives an extended discussion of this ‘externalist challenge’. Pace Herman Cappelen’s recent take on this issue, it argues that the viability of conceptual engineering crucially depends on our ability to bring about meaning change. Furthermore, it argues that, contrary to first appearance, causal theories of reference do allow for a sufficient degree of meaning control. To this purpose, it argues that there is a sense of what is called ‘collective long-range control’, and that popular versions of the causal theory of reference imply that people have this kind of control over meanings. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...) logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

Much recent metaphysics is built around notions such as naturalness, fundamentality, grounding, dependence, essence, and others besides. In this article I raise a problem for this kind of metaphysics, the “problem of missing value.” I survey a number of possible solutions to the problem and find them all wanting. This suggests a return to a kind of Goodmanian view that the world is a structureless mess onto which we project our own categorizations, not something with categories already built in.

We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...) a given possible world; so a proposition that is now true at all worlds, and thus necessarily true, may yet at some past or future time be false in the actual world, and thus not always true. We reconstruct and criticize several lines of argument in favor of this picture, and then argue against the picture on the grounds that it is inconsistent with certain sorts of contingency in the structure of time. (shrink)

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it does (...) not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

The notion of fundamentality, as it is used in metaphysics, aims to capture the idea that there is something basic or primitive in the world. This metaphysical notion is related to the vernacular use of “fundamental”, but philosophers have also put forward various technical definitions of the notion. Among the most influential of these is the definition of absolute fundamentality in terms of ontological independence or ungroundedness. Accordingly, the notion of fundamentality is often associated with these two other technical notions.

Alexander Bird puts forward a modest version of anti-Humeanism about the non-fundamental, by providing an argument for the existence of a certain select class of non-fundamental but sparse dispositions: those that have an evolutionary function. I argue that his argument over-generates, so much so that the sparse–abundant distinction, and with it the tenet of his anti-Humean view, becomes obsolete. I suggest an alternative way of understanding anti-Humeanism in the non-fundamental realm, one which is not concerned with the existence of sparse (...) properties but with explanatory relations. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

This paper takes up an important epistemological challenge to the naturalistic moral realist: that her metaphysical commitments are difficult to square with a plausible rationalist view about the epistemology of morality. The paper begins by clarifying and generalizing this challenge. It then illustrates how the generalized challenge can be answered by a form of naturalistic moral realism that I dub joint-carving moral realism. Both my framing of this challenge and my answer advertise the methodological significance of non-fundamental epistemological theorizing, which (...) defends and deploys epistemological claims without adverting to the most fundamental epistemological facts. (shrink)

Many philosophers embrace grounding, supposedly a central notion of metaphysics. Grounding is widely assumed to be irreflexive, but recently a number of authors have questioned this assumption: according to them, it is at least possible that some facts ground themselves. The primary purpose of this paper is to problematize the notion of self-grounding through the theoretical roles usually assigned to grounding. The literature typically characterizes grounding as at least playing two central theoretical roles: a structuring role and an explanatory role. (...) Once we carefully spell out what playing these roles includes, however, we find that any notion of grounding that isn’t irreflexive fails to play these roles when they are interpreted narrowly, and is redundant for playing them when they are interpreted more broadly. The upshot is that no useful notion of grounding can allow a fact to ground itself. (shrink)

I develop a new argument against Russellian Monism about consciousness.

This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

Is part of a perfectly natural, or fundamental, relation? Philosophers have been hesitant to take a stand on this issue. One reason for this hesitancy is the worry that, if parthood is perfectly natural, then the perfectly natural properties and relations are not suitably “independent” of one another. In this paper, I argue that parthood is a perfectly natural relation. In so doing, I argue that this “independence” worry is unfounded. I conclude by noting some consequences of the naturalness of (...) parthood. (shrink)

The perfectly natural properties and relations are special—they are all and only those that "carve nature at its joints." They act as reference magnets, form a minimal supervenience base, figure in fundamental physics and in the laws of nature, and never divide duplicates within or between worlds. If the perfectly natural properties are the (metaphysically) important ones, we should expect being a perfectly natural property to itself be one of the (perfectly) natural properties. This paper argues that being a perfectly (...) natural property is not a very natural property, and examines the consequences. (shrink)

In this paper I argue that the analysis of natural properties as convex subsets of a metric space in which the distances are degrees of dissimilarity is incompatible with both the definition of degree of dissimilarity as number of natural properties not in common and the definition of degree of dissimilarity as proportion of natural properties not in common, since in combination with either of these definitions it entails that every property is a natural property, which is absurd. I suggest (...) it follows that we should think of the convex class analysis of natural properties as a variety of resemblance nominalism. (shrink)

A fundamental entity is an entity that is ‘ontologically independent’; it does not depend on anything else for its existence or essence. It seems to follow that a fundamental entity is ‘modally free’ in some sense. This assumption, that fundamentality entails modal freedom (or ‘FEMF’ as I shall label the thesis), is used in the service of other arguments in metaphysics. But as I will argue, the road from fundamentality to modal freedom is not so straightforward. The defender of FEMF (...) should provide positive reasons for believing it, especially in light of recent views that are incompatible with it. I examine both direct and indirect routes to FEMF. (shrink)

It's often said that according to deflationary theories of truth, truth is not a ‘substantial’ property. While this is a fine slogan, it is far from transparent what deflationists mean (or ought to mean) in saying that truth is ‘insubstantial’. Focusing so intently upon the concept of truth and the word ‘true’, I argue, deflationists and their critics have been insufficiently attentive to a host of metaphysical complexities that arise for deflationists in connection with the property of truth. My aim (...) is to correct several misunderstandings as to what deflationists are after here—including some harboured by deflationists themselves—and to offer an account of the commitments about truth's nature that they ought to undertake. In developing this account, I focus particularly upon the issue of what metaphysics of truth a Horwichian minimalist ought to adopt. (shrink)

We develop a Bayesian framework for thinking about the way evidence about the here and now can bear on hypotheses about the qualitative character of the world as a whole, including hypotheses according to which the total population of the world is infinite. We show how this framework makes sense of the practice cosmologists have recently adopted in their reasoning about such hypotheses.

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

This paper argues that, assuming properties exist and must be located in spacetime, the prevailing view that they are exactly located where their instances are is false. Instead a property is singularly located at just one region, namely the union of its instance's locations. This bears not just on issues in the metaphysics of properties, but also on the debate over whether multi-location is conceivable and/or possible.

This thesis explores attempts to characterise the structure of reality. Three notions stand out: Lewisian naturalness, Sider’s ‘structure’, and grounding, where the latter has become the most popular way to characterise the structure of reality in the contemporary literature. I argue that none of these notions, as they are currently understood, are suited for limning the metaphysical structure of reality. In the first part of the thesis I argue that, by the lights of the relevant theories, both naturalness and structure (...) fall short of the theoretical role carved out for those posits. In the second part of the thesis I present two challenges to the ‘orthodox’ conception of grounding. The first contests the standard assumption that grounding is asymmetric, both by citing what I take to be best described as symmetric instances of grounding, and by developing and arguing for a new theory of metaphysical structure – ‘metaphysical interdependence’ – which takes grounding to be nonsymmetric. The second challenge concerns the relationship between grounding and explanation, and leads to a dilemma for the grounding theorist. My proposed resolution to the dilemma is to adopt an antirealist approach to grounding, which I further motivate and develop in the final chapter. (shrink)

Several variants of Lewis's Best System Account of Lawhood have been proposed that avoid its commitment to perfectly natural properties. There has been little discussion of the relative merits of these proposals, and little discussion of how one might extend this strategy to provide natural property-free variants of Lewis's other accounts, such as his accounts of duplication, intrinsicality, causation, counterfactuals, and reference. We undertake these projects in this paper. We begin by providing a framework for classifying and assessing the variants (...) of the Best System Account. We then evaluate these proposals, and identify the most promising candidates. We go on to develop a proposal for systematically modifying Lewis's other accounts so that they, too, avoid commitment to perfectly natural properties. We conclude by briefly considering a different route one might take to developing natural property-free versions of Lewis's other accounts, drawing on recent work by Williams. (shrink)

In this dissertation, I argue that we should be pluralists about truth and in turn, eliminativists about the property Truth. Traditional deflationists were right to suspect that there is no such property as Truth. Yet there is a plurality of pluralities of properties which enjoy defining features that Truth would have, were it to exist. So although, in this sense, truth is plural, Truth is non-existent. The resulting account of truth is indebted to deflationism as the provenance of the suspicion (...) that Truth doesn't exist. But it would be hasty to simply classify the account as deflationary. Each of the 'truth-like' properties that it recognizes is highly substantive--that is, complex and explanatorily potent. So we should deflate Truth by recognizing that it doesn't exist, but we should also recognize that one of the most vital tasks in truth theory is to discover the essences of the many truth-like properties. My aim here is to do precisely this. (shrink)

Recent work on Natural Kind Essentialism has taken a deflationary turn. The assumptions about the grounds of essentialist truths concerning natural kinds familiar from the Kripke-Putnam framework are now considered questionable. The source of the problem, however, has not been sufficiently explicated. The paper focuses on the Twin Earth scenario, and it will be demonstrated that the essentialist principle at its core (which I call IDENT)—that necessarily, a sample of a chemical substance, A, is of the same kind as another (...) sample, B, if and only if A and B have the same microstructure—must be re-evaluated. The Twin Earth scenario also assumes the falsity of another essentialist principle (which I call INST): necessarily, there is a 1:1 correlation between (all of ) the chemical properties of a chemical substance and the microstructure of that substance. This assumption will be questioned, and it will be argued that, in fact, the best strategy for defending IDENT is to establish INST. The prospects for Natural Kind Essentialism and microstructural essentialism regarding chemical substances will be assessed with reference to recent work in the philosophy of chemistry. Finally, a weakened form of INST will be presented. (shrink)

Most meanings we express belong to large families of variant meanings, among which it would be implausible to suppose that some are much more apt for being expressed than others. This abundance of candidate meanings creates pressure to think that the proposition attributing any particular meaning to an expression is modally plastic: its truth depends very sensitively on the exact microphysical state of the world. However, such plasticity seems to threaten ordinary counterfactuals whose consequents contain speech reports, since it is (...) hard to see how we could reasonably be confident in a counterfactual whose consequent can be true only if a certain very finely tuned microphysical configuration obtains. This essay develops the foregoing puzzle and explores several possible solutions. (shrink)

Many contemporary philosophers endorse the Humean-Lewisian Denial of Absolutely Necessary Connections (‘DANC’). Among those philosophers, many deny all or part of the Humean-Lewisian package of views about causation and laws. I argue that they maintain an inconsistent set of views. DANC entails that (1) causal properties and relations are, with a few possible exceptions, always extrinsic to their bearers, (2) nomic properties and relations are, with a few possible exceptions, always extrinsic to their bearers, and (3) causal and nomic properties (...) and relations globally supervene on non-causal, non-nomic properties and relations. Hence, one can’t be a consistent Half-Hearted Humean. Consistency demands giving up the core Humean thesis or facing up to its consequences. The upshot is that we face a stark choice: either there are absolutely necessary connections between distinct existents or it’s "just one damn thing after another.". (shrink)

Proportionality—the idea that causes are neither too general nor too specific for their effects—seems to recommend implausibly disjunctive causes (McGrath, 1998 ; Shapiro & Sober, 2012 ; Franklin-Hall, 2016 ). I argue that this problem should be avoided by appeal to the notion of cohesion. I propose an account of cohesion in terms of the similarity structure of property-spaces, argue that it is not objectionably mysterious, and that alternative approaches—based on naturalness, interventionism, and contrastivism—are inadequate without appeal to it. In (...) an appendix, I show how my proposal can be perspicuously formalized by adapting structural equation models. (shrink)

In this article, I argue that if tacit knowledge of grammar is analyzable in functional‐computational terms, then it cannot ground linguistic meaning, structure, or sound. If to know or cognize a grammar is to be in a certain computational state playing a certain functional role, there can be no unique grammar cognized. Satisfying the functional conditions for cognizing a grammar G entails satisfying those for cognizing many grammars disagreeing with G about expressions' semantic, phonetic, and syntactic values. This threatens the (...) Chomskyan view that expressions have such values for speakers because they cognize grammars assigning them those values. For if this is true, semantics, syntax, and phonology must be indeterminate, thanks to the indeterminacy of grammar‐cognizing (qua functional‐computational state). So, the fact that a speaker cognizes a grammar cannot explain the determinate character of their language. (shrink)

We argue that Hamiltonian mechanics is more fundamental than Lagrangian mechanics. Our argument provides a non-metaphysical strategy for privileging one formulation of a theory over another: ceteris paribus, a more general formulation is more fundamental. We illustrate this criterion through a novel interpretation of classical mechanics, based on three physical conditions. Two of these conditions suffice for recovering Hamiltonian mechanics. A third condition is necessary for Lagrangian mechanics. Hence, Lagrangian systems are a proper subset of Hamiltonian systems. Finally, we provide (...) a geometric interpretation of the principle of stationary action and rebut arguments for privileging Lagrangian mechanics. (shrink)

Critical social ontology is any study of social ontology that is done in order to critique ideology or end social injustice. The goal of this paper is to outline what I call the fundamentality approach to critical social ontology. On the fundamentality approach, social ontologists are in the business of distinguishing between appearances and (fundamental) reality. Social reality is often obscured by the acceptance of ideology, where an ideology is a distorted system of beliefs that leads people to promote or (...) accept widespread social injustices. Social reality is also obscured in cases where ordinary thought and language simply is not perspicuous enough to represent the social objects, kinds, and structures that are central to understanding social injustice. In both cases, I argue that the critical social ontologist will benefit from using the tools and concepts of fundamental metaphysics. (shrink)

Commitment to sparseness amounts to the idea that there is an objective, worldly privileging of certain properties over others that makes the privileged properties suited to play certain roles, and is responsible for their playing such roles. In this chapter I offer a brief, opinionated overview of sparseness. I begin by examining a set of problems that I call “problems of abundance”, which generate canonical motivations for sparseness. I then survey some influential approaches to sparseness and the roles that they (...) attribute to sparse properties, noting that on most approaches sparse properties are deeply connected to inquiry. Finally I consider some problems for sparseness, focusing on the purported connections between sparseness and inquiry, particularly in philosophy of science and inquiry into the social world. (shrink)

Commitment to sparseness amounts to the idea that there is an objective, worldly privileging of certain properties over others that makes the privileged properties suited to play certain roles, and is responsible for their playing such roles. In this chapter I offer a brief, opinionated overview of sparseness. I begin by examining a set of problems that I call “problems of abundance”, which generate canonical motivations for sparseness. I then survey some influential approaches to sparseness and the roles that they (...) attribute to sparse properties, noting that on most approaches sparse properties are deeply connected to inquiry. Finally I consider some problems for sparseness, focusing on the purported connections between sparseness and inquiry, particularly in philosophy of science and inquiry into the social world. (shrink)

Quine taught us the difference between a theory’s ontology and its ideology. Ontology is the things a theory’s quantifiers must range over if it is true, Ideology is the primitive concepts that must be used to state the theory. This allows us to split the theoretical virtue of parsimony into two kinds: ontological parsimony and ideological parsimony. My goal is help illuminate the virtue of ideological parsimony by giving a criterion for ideological innocence—a rule for when additional ideology does not (...) count against parsimony. I propose the expressive power innocence criterion: if the ideology of theory one is expressively equivalent to that of theory two, then neither is ideologically simpler than the other. In its favor I offer the argument from accuracy, showing that any account of a theoretical virtue that is supposed to make theories that have it more likely to be true than theories that do not must respect it. Next I consider its ramifications, eliminating rival views and passing judgment on some arguments from parsimony that can be found in the literature. Finally, I consider two objections. First: I address an objection arising from the possibility of languages with a ‘primitive’ operator that allows us to list a theory’s primitives in the object-language. Second: I address an objection raised by Nelson Goodman against attempts to reckon simplicity by expressive power. Both objections fail. (shrink)

According to Sider, a question is metaphysically substantive just in case it has a single most natural answer. Recently, Barnes and Mikkola have argued that, given this notion of substantivity, many of the central questions in the metaphysics of gender are nonsubstantive. Specifically, it is plausible that gender pluralism—the view that there are multiple, equally natural gender kinds—is true, but this view seems incompatible with the substantivity of gender. The goal of this paper is to argue that the notion of (...) substantivity can be understood in a way that accommodates gender pluralism. First, I claim that gender terms (at least as used in the ontology room) are referentially indeterminate, where referential indeterminacy holds in virtue of the way the world is. Second, I propose a degree-theoretic (or scalar) account of metaphysical substantivity; genders are substantial to the degree that they are determinate. I conclude that gender is relatively, although not absolutely, substantial. (shrink)

The intuitive distinction between natural and unnatural properties (e.g., green vs. grue) informs our theorizing not only in fundamental physics, but also in non-fundamental domains. This paper develops a reductive account of this broad notion of naturalness that covers non-fundamental properties: for a property to be natural, I propose, is for it to figure in a law of nature. After motivating the account, I defend it from a potential circularity charge. I argue that a suitably broad notion of lawhood can (...) be defined independently of naturalness, if we help ourselves to the notion of a fundamental physical property. I end by showing how the notions of naturalness and lawhood that my account delivers help illuminate a number of other important philosophical notions, like causation, reference/meaning, and rational induction. (shrink)

According to Satosi Watanabe's "theorem of the ugly duckling", the number of predicates satisfied by any two different particulars is a constant, which does not depend on the choice of the two particulars. If the number of predicates satisfied by two particulars is their number of properties in common, and the degree of resemblance between two particulars is a function of their number of properties in common, then it follows that the degree of resemblance between any two different particulars is (...) also constant, which is absurd. Avoiding this absurd conclusion requires questioning assumptions about infinity in the proof or interpretation of the theorem, adopting a sparse conception of properties, or denying degree of resemblance is a function of number of properties in common. After arguing against both the first two options, this paper argues for a version of the third which analyses degree of resemblance as a function of properties in common, but weighted by their degree of naturalness or importance. (shrink)

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

Dispositional Essentialism, as commonly conceived, consists in the claims that at least some of the fundamental properties essentially confer certain causal-nomological roles on their bearers, and that these properties give rise to the natural modalities. As such, the view is generally taken to be committed to a realist conception of properties as either universals or tropes, and to be thus incompatible with nominalism as understood in the strict sense. Pace this common assumption of the ontological import of Dispositional Essentialism, the (...) aim of this paper is to explore a nominalist version of the view, Austere Nominalist Dispositional Essentialism. The core features of the proposed account are that it eschews all kinds of properties, takes certain predicative truths as fundamental, and employs the so-called generic notion of essence. As I will argue, the account is significantly closer to the core idea behind Dispositional Essentialism than the only nominalist account in the vicinity of Dispositional Essentialism that has been offered so far—Ann Whittle’s Causal Nominalism—and is immune to crucial problems that affect this view. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

This paper investigates the connection between two recent trends in philosophy: higher-orderism and conceptual engineering. Higher-orderists use higher-order quantifiers (in particular quantifiers binding variables that occupy the syntactic positions of predicates) to express certain key metaphysical doctrines, such as the claim that there are properties. I argue that, on a natural construal, the higher-orderist approach involves an engineering project concerning, among others, the concept of existence. I distinguish between a modest construal of this project, on which it aims at engineering (...) higher-order analogues of the familiar notion of first-order existence, and an ambitious construal, on which it additionally aims at engineering a broadened notion of existence that subsumes first-order and higher-order existence. After identifying a substantial problem for the ambitious project, I investigate a possible response which is based on adopting a cumulative type theory as the background higher-order logic. While effective against the problem at hand, this strategy turns out to undermine a major reason to embrace higher-orderism in the first place, namely the idea that higher-orderism dissolves a range of otherwise intractable debates in metaphysics. Higher-orderists are therefore best advised to pursue their engineering project on the modest variant and against the background of standard type theory. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

Recently some philosophers have defended the thesis that naturalness, or joint-carvingness, is an aim of belief. This paper argues that there is an important class of counterexamples to this thesis. In particular, it is argued that naturalness is not an aim of our beliefs concerning what is joint carving and what is not.

Inspired both by our ordinary understanding of the world and by reflection on science, anti-Humeanism is a growing trend in metaphysics. Anti-Humeans reject the Lewisian doctrine of Humean supervenience that the world is “just one little thing and then another”, and argue instead that dispositions, powers, or capacities provide connection and activity in nature. But how exactly are we to understand the shared commitment of this anti-Humean movement? I argue that this kind of anti-Humeanism, at its most general level, is (...) to be understood neither as a view about ontology nor about fundamentality, but rather as a specific claim about what explains what. (shrink)

Symmetry principles are a central part of contemporary physics, yet there has been surprisingly little metaphysical work done on them. This article develops the Wignerian treatment of symmetries as higher-order laws—metalaws—within a Humean framework of lawhood. Lange has raised two obstacles to Humean metalaws, and the article shows that the account has the resources available to respond to both. It is argued that this framework for Humean metalaws stands as an example of naturalistic metaphysics, able to bring Humeanism into contact (...) with the practice of actual science without giving up on the central denial of necessary connections. (shrink)

In the ontology of music the Aristotelian theory of musical works is the view that musical works are immanent universals. The Aristotelian theory (hereafter Musical Aristotelianism) is an attractive and serviceable hypothesis. However, it is overlooked as a genuine competitor to the more well-known theories of Musical Platonism and nominalism. Worse still, there is no detailed account in the literature of the nature of the universals that the Aristotelian identifies musical works with. In this paper, I argue that the best (...) version of Musical Aristotelianism identifies musical works with structural universals. I first motivate the view by outlining its explanatory benefits. I then argue that Musical Aristotelianism is preferable to Musical Platonism and present a novel account of musical works as structural universals by developing D. M. Armstrong’s theory of structural universals. I discuss the consequences of Musical Aristotelianism with respect to on-going issues in debates about musical works and defend the view against an influential objection, concluding that Musical Aristotelianism is a genuine competitor in debates about the nature of musical works. (shrink)

How is grounding related to metaphysical explanation? The standard view is that the former somehow “backs”, “undergirds” or “underlies” the latter. This view fits into a general picture of explanation, according to which explanations in general hold in virtue of a certain elite group of “explanatory relations” or “determinative relations” that back them. This paper turns the standard view on its head: grounding doesn't “back” metaphysical explanation but is in an important sense downstream from it. I call this view “grounding (...) idealism”, since it structurally resembles an analogous view about causation that is known as “causal idealism” and has been endorsed by philosophers like Michael Scriven and Philip Kitcher. I formulate a specific version of grounding idealism, Metaphysical Explanation‐First Idealism (MEFI), according to which the semantic value of ‘grounding’ is an abundant, gerrymandered relation settled by the metaphysical explanation facts. Then I offer some theoretical considerations that support MEFI over rival accounts of the relation between grounding and metaphysical explanation. Finally, I address the question of what role is left for grounding to play, if not that of “backing” metaphysical explanations. (shrink)

Platonists affirm the existence of abstract mathematical objects, and Nominalists deny the existence of abstract mathematical objects. While there are standard arguments in favor of Nominalism, these arguments fail to account for the necessity of Nominalism. Furthermore, these arguments do nothing to explain why Nominalism is true. They only point to certain theoretical vices that might befall the Platonist. The goal of this paper is to formulate and defend a simple, valid argument for the necessity of Nominalism that seeks to (...) precisify the widespread intuition that mathematical objects are somehow ‘spooky’ or ‘mysterious’. (shrink)

This paper presents a puzzle about the logic of real definition. In particular, I demonstrate that five principles concerning definition (that it is coextensional and irreflexive, that it applies to its cases, that it permits expansion and that it is itself defined) are incompatible. I then explore the advantages and disadvantages of each principle—one of which must be rejected to restore consistency.

The idea of fragmentalism has been proposed by Kit Fine as a non-standard view of tense realism. This paper examines a modal version of the view, called modal fragmentalism, which combines genuine realism and realism of modality. Modal fragmentalism has been recently discussed by Iaquinto. But unlike Iaquinto, who primarily focused on possibilities de re, in this paper, we focus on expressions of possibilities de dicto. We argue that the chief idea of modal realism should be that different worlds are (...) distinguished not just in terms of how things are differently with respect to each world, but also in terms of how things could have been differently with respect to each world. This demands a realism-oriented semantics for suppositional contents, and more specifically, for conditionals. By deploying a multidimensional semantics for conditionals, we show that there are good reasons to consider modal fragmentalism as a serious approach in metaphysics, which shares many similarities with the fragmentalism of tense. (shrink)