Descriptivism in the ontology of art is the thesis that the correct ontological proposal for a kind of artwork cannot show the nascent ontological conception of such things embedded in our critical and appreciative practices to be substantially mistaken. Descriptivists believe that the kinds of revisionary art ontological proposals propounded by Nelson Goodman, Gregory Currie, Mark Sagoff, and me are methodologically misconceived. In this paper I examine the case that has been made for a local form of descriptivism in the (...) ontology of art: a form that does not quarrel with the possibility of revisionism in matters of ‘fundamental metaphysics’, but which argues that special features of the arts make descriptivism in this particular sphere obligatory. David Davies, Andrew Kania and Stephen Davies are local descriptivists in this sense. I argue that the burden of proof lies with the local descriptivist, but that this burden is too heavy for him to carry. Specifically, it emerges that the only way in which the local descriptivist can motivate his position is by arguing that our artistic practices determine the art ontological facts: a thesis that local descriptivists typically appeal to, but have not been able to argue for successfully. My conclusion is that the methodological debate in the ontology of art should now proceed by focussing on the case for global descriptivism: i.e. that form of descriptivism that opposes the possibility of revisionism in ontological matters across the board. (shrink)

In an attempt to improve upon Alexander Pruss’s work (The principle of sufficient reason: A reassessment, pp. 240–248, 2006), I (Weaver, Synthese 184(3):299–317, 2012) have argued that if all purely contingent events could be caused and something like a Lewisian analysis of causation is true (per, Lewis’s, Causation as influence, reprinted in: Collins, Hall and paul. Causation and counterfactuals, 2004), then all purely contingent events have causes. I dubbed the derivation of the universality of causation the “Lewisian argument”. The Lewisian (...) argument assumed not a few controversial metaphysical theses, particularly essentialism, an incommunicable-property view of essences (per Plantinga’s, Actualism and possible worlds, reprinted in: Davidson (ed.) Essays in the metaphysics of modality, 2003), and the idea that counterfactual dependence is necessary for causation. There are, of course, substantial objections to such theses. While I think a fight against objections to the Lewisian argument can be won, I develop, in what follows, a much more intuitive argument for the universality of causation which takes as its inspiration a result from Frederic B. Fitch’s work (J Symb Logic 28(2):135–142, 1963) [with credit to who we now know was Alonzo church’s, Referee Reports on Fitch’s Definition of value, in: (Salerno (ed.), New essays on the knowability paradox, 2009)] that if all truths are such that they are knowable, then (counter-intuitively) all truths are known. The resulting Church–Fitch proof for the universality of causation is preferable to the Lewisian argument since it rests upon far weaker formal and metaphysical assumptions than those of the Lewisian argument. (shrink)

This dissertation is structured in such a way as to gradually home in on the true theory of welfare. I start with the whole field of possible theories of welfare and then proceed by narrowing down the options in a series of steps. The first step, undertaken in chapter 2, is to argue that the true theory of welfare must be what I call a partly response independent theory. First I reject the entirely response independent theories because there are widely-shared (...) intuitions suggesting that some psychological responses are indeed relevant to welfare. Then I reject the entirely response dependent theories because there are other central intuitions suggesting that our welfare is not determined solely by our psychological responses. Thus I reach the preliminary conclusion that welfare must involve some response independent (or objective) component. The next step is to consider the most promising theories in the partly response independent category. In particular, I formulate, refine and ultimately reject what seem to be the main monistic theories that have been proposed in this category. In chapter 4, I reject the Adjusted-Enjoyment Theories of Welfare because they cannot account for the claim that a life containing no pleasure or pain can still contain a positive amount of welfare (e.g. if it’s a particularly successful life). Then in chapters 5-7, I discuss Desire Satisfaction theories of welfare. I argue that even the most promising of these theories – e.g. Worthiness Adjusted Desire Satisfactionism – are problematic because they cannot accommodate the claim that a life containing no success with respect to worthwhile projects can still contain a positive amount of welfare (e.g. if it’s a particularly pleasant life). Finally, I suggest that in order to accommodate the intuitions that led to the rejection of all these other theories of welfare, what is needed is a multi-component theory. In the final chapter, I formulate a multi-component theory that is particularly promising. Not only does it avoid the problems of the monistic theories discussed earlier, but, by incorporating a number of novel mathematical devices, it avoids problems that undermine several other initially promising multi-component theories of welfare. (shrink)

Abstract This paper illustrates how Aristotle's topological theses about change in Physics 5-6 can help address metaphysical issues. Two distinctions from Physics 5. 1 are discussed: changing per se versus changing per aliud ; motion versus change. Change from white to black is motion and alteration, whereas change from white to not white is neither. But is not every change from white to black identical with a change from white to not white? Theses from Physics 6 refute the identity. Is (...) change from white to black at least accompanied by change from white to not white? Perhaps, but given further theses from Physics 6, this supposition yields unwelcome consequences. Most likely, when something changes from white to black it changes merely per aliud , not per se , from white to not white. Genuine change between white and not white is found elsewhere; its admission has bearing on Aristotle's theory of perception. (shrink)

This paper defends a 'fitting attitudes' view of value on which what it is for something to be good is for there to be reasons to favour that thing. The first section of the paper defends a 'linking principle' connecting reasons and value. The second and third sections argue that this principle is better explained by a fitting-attitudes view than by 'value-first' views on which reasons are explained in terms of value.

Awareness is a two-place determinable relation some determinates of which are seeing, hearing, etc. Abstract objects are items such as universals and functions, which contrast with concrete objects such as solids and liquids. It is uncontroversial that we are sometimes aware of concrete objects. In this paper I explore the more controversial topic of awareness of abstract objects. I distinguish two questions. First, the Existence Question: are there any experiences that make their subjects aware of abstract objects? Second, the Grounding (...) Question: if an experience makes its subject aware of an abstract object, in virtue of what does it do so? I defend the view that intuitions, specifically mathematical intuitions, sometimes make their subjects aware of abstract objects. In defending this view, I develop an account of the ground of intuitive awareness. (shrink)

In this paper I argue that we need to take irreducibly plural logic more seriously in metaphysical debates due to the fact that the verdict of many metaphysical debates hangs on it. I give two examples. The main example I focus on is the debate recently revived by Jonathan Schaffer over the fundamental cardinality of the world. I show how the three main arguments provided by Schaffer are unsound in virtue of an employment of plural logic. The second example I (...) give is a more general issue about the possibility of emergent properties of mereological wholes. Employing plural logic there is a new way to understand such cases. The upshot is that plural logic greatly matters to metaphysics and hence can no longer be ignored the way it has in this area. (shrink)

Discusses and contrasts various accounts of physicalism, naturalism and materialism.

The Gettier Problem is the problem of revising the view that knowledge is justified true belief in a way that is immune to Gettier counter-examples. The “Gettier Problem problem”, according to Lycan, is the problem of saying what is misguided about trying to solve the Gettier Problem. In this paper I take up the Gettier Problem problem. I distinguish giving conditions that are necessary and sufficient for knowledge from giving conditions that explain why one knows when one does know. I (...) argue that the problem with the Gettier Problem is that it requires us to articulate conditions that suffice for knowledge even if those conditions are non-explanatory. After defending this view, I take up two related methodological issues, one about the evidence that can be given in favor of an account of knowledge, and one about the role that investigating justification might play in investigating knowledge. (shrink)

A blindfolded clairvoyant walks into a room and immediately knows how it is arranged. You walk in and immediately see how it is arranged. Though both of you represent the room as being arranged in the same way, you have different experiences. Your experience doesn’t just represent that the room is arranged a certain way; it also visually presents the very items in the room that make that representation true. Call the felt aspect of your experience made salient by this (...) contrast its presentational phenomenology. Many philosophers have observed that perceptual experiences have presentational phenomenology. In this paper I explore its nature, scope, and significance. I argue that in addition to perceptual experiences, presentational phenomenology can be found in intuitive, introspective, imaginative, and recollective experiences. I also argue that presentational phenomenology is epistemologically significant: it plays a central role in explaining why the experiences that have it justify beliefs and give us knowledge. (shrink)

There are various entities which, if they exist, would be candidates for necessary beings: God, propositions, relations, properties, states of affairs, possible worlds, and numbers, among others. Note that the first entity in this list is a concrete entity , while the rest are abstract entities. Many interesting philosophical questions arise when one inquires about necessary beings: What makes it the case that they exist necessarily? Is there a grounding for their necessary existence? Do some of them depend on others? (...) If so, how might one understand the dependence relation? (shrink)

In this paper I develop a theological account of intrinsic value drawn from some passages in Robert Merrihew Adams’ book Finite and Infinite Goods. First I explain why Adams’ work on this topic is interesting, situate his theory within the broader literature on intrinsic value, and draw attention to some of its revisionist features. Next I state the theory, raise some problems for it, and refine it in light of those problems. Then I illustrate how the refined theory works by (...) showing that it has the resources to deal with some seemingly formidable objections. (shrink)

This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the instantiation of the grounding relation that connects the various entities within the layered structure of reality. More precisely, I seek to utilise the explanatory framework of Richard Swinburne within a specific metaphysical context, a ground-theoretic context, which will enable me to develop a true fundamental explanation for the existence of grounding. And thus, given (...) the truth of this type of explanation, we will have a further reason to believe in the existence of God. (shrink)

In recent years there has been a lot of skepticism about the existence of facts. It seems that one of the last places for their application is in truthmaking theory. In this paper I discuss two approaches to the use of facts in truthmaking. The first, categorial, holds that facts are entities that belong to one of three ontological categories (true propositions, truth of propositions, instantiations of universals).The second, deflationary, holds that a fact is merely a functional concept denoting any (...) entity that performs a truthmaking function. I argue that in the face of significant criticism of categorial facts as truthmakers, a defender of facts may resort to the deflationary concept. Nevertheless, even in this case we can do without facts as truthmakers. (shrink)

In this paper, I argue for an often-neglected solution to the conceivability argument: the reconciliatory response. Its advocates state that, even if zombies are metaphysically possible, it does not follow that all versions of physicalism are false. To make the reconciliatory response, we must construct a theory that counts as a version of physicalism (because it makes higher-level facts count as physical) but also allows for the metaphysical possibility of zombies. Call any physicalist theory that can make the reconciliatory response (...) type-R physicalism. In this paper, I discuss one version of type-R physicalism: stochastic ground physicalism (SGP). First, I argue that type-R physicalism, construed as SGP, offers physicalists an attractive rationalist package that no other version of physicalism can provide. Second, I address two concerns that have been underexplored in the literature. First, the charge that SGP is incoherent because it fails to provide metaphysical explanations. Second, the charge that type-R physicalism is not a genuine form of physicalism because the supervenience of the phenomenal on the physical is a necessary condition for any formulation of physicalism. I argue that both concerns are ill-founded. (shrink)

This entry focuses on two of the more historically important monisms: existence monism and priority monism . Existence monism targets concrete objects and counts by tokens. This is the doctrine that exactly one concrete object exists. Priority monism also targets concrete objects, but counts by basic tokens. This is the doctrine that exactly one concrete object is basic, which will turn out to be the classical doctrine that the whole is prior to its parts.

Physicalism is the thesis that everything is physical, or as contemporary philosophers sometimes put it, that everything supervenes on, or is necessitated by, the physical. The thesis is usually intended as a metaphysical thesis, parallel to the thesis attributed to the ancient Greek philosopher Thales, that everything is water, or the idealism of the 18th Century philosopher Berkeley, that everything is mental. The general idea is that the nature of the actual world (i.e. the universe and everything in it) conforms (...) to a certain condition, the condition of being physical. Of course, physicalists don't deny that the world might contain many items that at first glance don't seem physical — items of a biological, or psychological, or moral, or social nature. But they insist nevertheless that at the end of the day such items are either physical or supervene on the physical. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

We have to gain from recognizing a relation between epistemic agents and the parts of subject matters that play a role in their cognitive lives. I call this relation “grasping”. Namely, I zone in on one notion of having a partial grasp of a subject matter—that of agents grasping part of the subject matter that they are attending to—and characterize it. I propose that giving up the idealization that we fully grasp the subject matters we attend to allows one to (...) more realistically characterize the epistemic life of agents. To show this, I propose an epistemic logic with partial grasp that has in mind considerations from first-order aboutness theory with the aim of avoiding certain forms of logical omniscience, and which provides an alternative to immanent closure (Yablo Aboutness, Princeton University Press, 2014). (shrink)

I’ll argue that one particular argument of Nāgārjuna’s against causation in the Mūlamadhyamakakārikā deserves careful consideration from the perspective of contemporary western metaphysics. To show why this is the case, I’ll offer an interpretation of the key passages which differs from at least one popular reading. I’ll then aim to show that a whole swathe of metaphysical views about causation are problematic in light of Nāgārjuna’s argument, so interpreted. I’ll conclude, however, that one contemporary view in metaphysics has the means (...) to respond to this argument: Ontic Structural Realism. (shrink)

According to the Principle of Sufficient Reason, every fact has an explanation. An important challenge to this principle is that it risks being a counterexample to itself. What explains why everything needs to be explained? My first goal is to distinguish two broad kinds of answers to this question, which I call “Humean Rationalism” and “Non-Humean Rationalism”. My second goal will be to defend the prospects of Humean Rationalism.

A premise of the Leibnizian cosmological argument from contingency says that no contingent fact can explain why there are any contingent facts at all. David Hume and Paul Edwards famously denied this premise, arguing that if every fact has an explanation in terms of further facts ad infinitum, then they all do. This is known as the Hume–Edwards Principle (HEP). In this paper, I examine the cosmological argument from contingency within a framework of metaphysical explanation or ground and defend a (...) ground-theoretic version of HEP which says, roughly, that the plurality of contingent facts is grounded in its members. (shrink)

Counterfactuals are context-sensitive. However, we argue that various debates and doctrines in metaphysics and the philosophy of science are premised on ignoring the full extent of counterfactual context-sensitivity. Our focus is on the prominent "miracle" versus "no-miracle" debate about counterfactuals under the assumption that our laws of nature are deterministic. But we also discuss doctrines that employ counterfactuals in theories of rational decision, as well as doctrines that explain what it is to be a law of nature in terms of (...) counterfactuals. We conclude by drawing some morals about the use of counterfactuals in philosophical theorizing more generally. (shrink)

If the tiles of a mosaic are arranged symmetrically, then the image those tiles constitute must be symmetric as well. This paper formulates and defends the general principle at work in this case: roughly, that a symmetry cannot ground an asymmetry. It is argued that the principle supports strong objections to four metaphysical views: qualitativism, relationalism, the tenseless or ‘B’ theory of time, and comparativism. A response to these objections is developed which appeals to fragmentalism, the view that reality contains (...) facts which are incompatible with one another. But fragmentalism might be thought too bizarre to tolerate, and if it is, then the objections developed in this paper may well be fatal. (shrink)

Este capítulo es una guía para conocer los elementos básicos de la fundamentación metafísica. Ofrece una revisión accesible de sus características y usos, comparando este concepto con otras formas de dependencia que se pueden encontrar en la literatura. Enfatiza dos roles teóricos centrales que la fundamentación supuestamente juega en la teorización filosófica: (i) dar cuenta de una forma distintiva de determinación no causal y (ii) entender mejor la estructura jerárquica de la realidad. El capítulo apunta a persuadir a las lectoras (...) de la utilidad de la fundamentación discutiendo cómo pueden mitigarse algunas objeciones dirigidas a esos roles. (shrink)

In this paper, I assess critically the recent debate on corrective duties across moral and legal philosophy. Two prominent positions have emerged: the Kantian rights-based view (holding that what triggers corrections is a failure to respect others' right to freedom) and the so-called continuity view (correcting means attempting to do what one was supposed to do before). Neither position, I try to show, offers a satisfactory explanation of the ground (why correct?) and content (how to correct?) of corrective duties. In (...) the final section, I suggest that it is probably better to restrict the label “corrective duties” to duties generated by interpersonal wronging. (shrink)

What is the explanatory role of ‘status-truths’ such as essence-truths, necessity-truths and law-truths? A plausible principle, suggested by various authors, is Ground by Status, according to which status truths ground their prejacents. For instance, if it is essential to a that p, then this grounds the fact that p. But Ground by Status faces a forceful objection: it is inconsistent with widely accepted principles regarding the logic of grounding (Glazier in Philos Stud 174(11):2871–2889, 2017a, Synthese 174(198):1409–1424, 2017b; Kappes in Synthese (...) 199(1–2):2575–2595, 2020, Philos Stud 178(4):1267–1284, 2021). I defend Ground by Status against this objection. (shrink)

Few would deny that something ontologically depends on something else. Given that something depends on something, what depends on what? Huayan Buddhism 華嚴宗, a prominent Chinese Buddhist school, is known for its extensive thesis of interdependence, according to which everything depends on everything else. This intriguing thesis is entangled with seemingly paradoxical claims that everything is not only identified with everything else but also contained within it. Moreover, the radical thesis of interdependence entails that dependence is pervasive and symmetric. In (...) this paper, I first develop a contemporary interpretation of Huayan interdependence by employing the definitional account of essence and the essence-based account of dependence. Through these contemporary resources, I elucidate and unify the theses of interdependence, mutual identity, and mutual containment within Huayan Buddhism. I then propose a unique framework of ontological dependence that suggests varying degrees of ontological dependence, aimed at accommodating and explaining away our intuitions against pervasive and symmetric dependence. By contemporizing Huayan Buddhism, I explore its potential and facilitate engagement between contemporary metaphysics and Huayan Buddhism. (shrink)

Ground is all the rage in contemporary metaphysics. But what is its nature? Some metaphysicians defend what we could call, following Skiles and Trogdon (2021), the inheritance view: it is because constitutive forms of metaphysical explanation are such-and-such that we should believe that ground is so-and-so. However, many putative instances of inheritance are not primarily motivated by scientific considerations. This limitation is harmless if one thinks that ground and science are best kept apart. Contrary to this view, we believe that (...) ground is a highly serviceable tool for investigating metaphysical areas of science. In this paper, we defend a naturalistic version of the inheritance view which takes constitutive scientific explanation as a better guide to ground. After illustrating the approach and its merits, we discuss some implications of the emerging scientific conception for the theory of ground at large. (shrink)

Some philosophers think that knowledge or justification is both necessary and sufficient for rational action: they endorse knowledge-action or justification-action biconditionals. This paper offers a novel, metaphysical challenge to these biconditionals, which proceeds with a familiar question: What depends on what? If you know that p iff it is rational for you to act on p, do you know that p partly because it is rational for you to act on p, or is it rational for you to act on (...) p partly because you know that p? And a structurally similar question can be asked regarding justification-action biconditionals. I argue that proponents of these biconditionals cannot give a satisfactory answer to these questions. This is because each direction of these biconditionals strongly supports an opposite order of explanation to the one that is supported by the other direction. Given the traditional assumption that metaphysical explanations—even partial ones—are asymmetric, I argue that these biconditionals should be rejected. While knowledge might be necessary for rational action, and it might be sufficient, it cannot be both. And the same goes for justification. (shrink)

There are two ways to characterize symmetric relations. One is intensional: necessarily, _Rxy_ iff _Ryx_. In some discussions of relations, however, what is important is whether or not a relation gives rise to the same completion of a given type (fact, state of affairs, or proposition) for each of its possible applications to some fixed relata. Kit Fine calls relations that do ‘strictly symmetric’. Is there is a difference between the notions of necessary and strict symmetry that would prevent them (...) from being used interchangeably in such discussions? I show that there is. While the notions coincide assuming an intensional account of relations and their completions, according to which relations/completions are identical if they are necessarily coinstantiated/equivalent, they come apart assuming a hyperintensional account, which individuates relations and completions more finely on the basis of relations’ real definitions. I establish this by identifying two definable relations, each of which is necessarily symmetric but nonetheless results in distinct facts when it applies to the same objects in opposite orders. In each case, I argue that these facts are distinct because they have different grounds. (shrink)

The idea that some objects are metaphysically “cheap” has wide appeal. An influential version of the idea builds on abstractionist views in the philosophy of mathematics, on which numbers and other mathematical objects are abstracted from other phenomena. For example, Hume's Principle states that two collections have the same number just in case they are equinumerous, in the sense that they can be correlated one‐to‐one:. The principal aim of this article is to use the notion of grounding to develop this (...) sort of abstractionism. The appeal to grounding enables a unified response to the two main challenges that confront abstractionism. First, we must explicate the metaphor of metaphysical “cheapness.” Second, we must rebut the “bad company” objection, which rejects abstraction principles like (HP) as tarnished by their similarity to inconsistent principles like Frege's Basic Law V. By enforcing a simple requirement that all abstraction be properly grounded, we propose a unified solution to these two hard, and prima facie unrelated, problems. On our view, grounded abstraction simultaneously ensures “cheap” abstracta and permissible abstraction. (shrink)

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

Many hope that our values, purged of messy human contingency, could aspire to correspond with mind-independent, rationally obligatory, and eternal ethical facts. But if the arguments of this thesis are on the right track, we should reject the search for non-natural and mind-independent moral truths.

Standard responses to the knowledge argument grant that Mary could know all of the physical facts even while trapped inside her black‐and‐white room. What they deny is that upon leaving her black‐and‐white room and experiencing red for the first time, Mary learns a genuinely new fact. This paper develops an alternate response in a grounding physicalist framework, on which Mary does not know all of the physical facts while trapped inside the room. The main thesis is that Mary does not (...) know certain phenomenal facts while trapped inside the room, whereby these facts classify as physical due to being wholly and fully metaphysically grounded in the underlying fundamental facts which are themselves entirely physical. (shrink)

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

According to traditional universalism, properties are instantiated by objects, where instantiation is a ‘tie’ that binds objects and properties into facts. I offer two arguments against this view. I then develop an alternative higher-order account which holds that properties are primitively predicated of objects yet, unlike traditional nominalism, are nevertheless genuinely real. When it’s a fact that Fo, it’s not because object o instantiates F-ness, but just that Fo – where F still exists. Against orthodox higher-order approaches, however, my arguments (...) against instantiation also serve to support a sparse conception of properties. In developing the view, I introduce an extension of ontological and ideological commitment in the form of syntactic commitment. (shrink)

While recent history has seen significant debate concerning the nature and extension of essence, comparatively little attention has been paid to the epistemology of essence. This is strange, as, plausibly, what answers we give to the metaphysical questions about essence will (or should) be partially constrained by our essence epistemology. Here, I aim to go some way towards filling this lacuna. In particular, I here argue that there is no plausible epistemic story available for non-modal accounts of essence. In particular, (...) existing accounts of essence epistemology cannot explain how we are able to know that something is genuinely essential, rather than merely necessary. One consequence is that modal accounts of essence – which only needs to supply an epistemology for a non-hyperintensional notion – look that much more plausible. (shrink)

The project of grounding necessity in essence often goes together with the model of essence that assimilates the constitutive essence of an object to the definition of it. The paper argues that if the grounding project is to succeed, the definitional model must be questioned. Like any object whatever, a concrete individual is necessarily identical to that individual. It is argued that this necessity can have an essential ground only if the primitive identity property of it or its thisness is (...) essential to it, and the thisness is in its constitutive essence while not in the definition of it. A concrete individual is in essence partly definable but not fully explainable, for the definition of it forms a crucial part of its constitutive essence, but the constitutive essence includes something fundamental beyond definition or explanation. The definitional model must give way to a model of essence that accommodates this. (shrink)

Non-naturalism is the view that there are sui generis, non-natural moral properties. This paper poses a dilemma for theists who accept this view. Either God explains why non-moral properties make sui generis, non-natural moral properties obtain, or God does not explain this. If the former, then God is unacceptably involved in the explanation of his own moral goodness. If the latter, then God’s sovereignty, stature, and importance are undermined, and an unacceptable queerness is introduced into the world. This paper concludes (...) that theists have good reasons to reject non-naturalism on account of the unacceptable consequences of accepting either horn. (shrink)

The unification of grounding and causation has been proposed in the literature. Also, it has encountered many objections. In this paper, I argue that there is a strategy that enables us to reply to many of the objections to the unification. That is the ‘blame the relata strategy’ which claims that all the differences between grounding and causation come from relata rather than relation. I clarify this strategy by appealing to positionalism about relations, and present three arguments for this strategy. (...) Also, I argue that the difference between causal relata and grounding relata is that the former are distinct entities, while the latter are non-distinct. I suggest the ‘essential connections criterion’ to define ‘distinct’ and ‘non-distinct’, showing that grounding is partly grounded in essence in an indirect manner. Given the above strategy and criterion, we can see that there is no real objection to the unification of grounding and causation. (shrink)

Appeals to metaphysics have lately come to ascendancy in analytic legal philosophy. Over the last 20 years or so, a new discourse framework has emerged in analytic legal metaphysics that focusses on the explanatory question of how law is made. By any measure the most influential refinement of this question is to be found in Mark Greenberg's seminal 2004 article How Facts Make Law. This essay tries to exert some pressure on this familiar question by posing the categorial question of (...) what type of entities different theories of law take up as ontologically basic for their inquiry. The essay singles out four exemplary avenues for answering the categorial question. Introducing a categorial instead of explanatory lens is an overdue step in the process of updating the metaphysical toolbox of contemporary analytic theories of law. The categorial question of what kind of entity law is ismeant to complement the explanatory question of how law is made in a way that makes disagreements about the metaphysical-explanatory demands of theories of law more tractable or amenable to principled adjudication. (shrink)

The aim of this paper is to discuss a seemingly straightforward argument against physicalism which, despite being implicit in much of the philosophical debate about consciousness, has not received the attention it deserves (compared to other, better-known “epistemic”, “modal”, and “conceivability” arguments). This is the argument from the non-supervenience of the first-personal (and indexical) facts on the third-personal (and non-indexical) ones. This non-supervenience, together with the assumption that the physical facts (as conventionally understood) are third-personal, entails that some facts – (...) namely, first-personal, phenomenal ones – do not supervene on the physical facts. Unlike other arguments against physicalism, the first-personal argument, if successful, refutes not only physicalism but also other third-personal metaphysical pictures, including standard versions of dualism. (shrink)

Grounding has become all the rage in recent philosophical work and metaphilosophical discussions. While I agree that the concept of ground marks something useful, I am skeptical about the metaphysical weight many imbue it with, and the picture of ‘worldly layering’ that grounding talk inspires. My skepticism centers around the fact that grounding involves necessitation, combined with reasons for thinking matters of necessity are matters of logical or conceptual (semantic, psychological) relations. I sketch an argument for deflationism about ground based (...) on this sort of deflationism about necessity and essence. I also note that in at least some cases, the considerations supporting modal deflationism directly support deflationism about whatever grounding relations may obtain in these cases. (shrink)

As it is presently employed, grounding permits grounding many things from one ground. In this paper, I show why this is a mistake by pushing for a uniqueness principle on grounding. After arguing in favor of this principle, I say something about it and kinds of grounding, discuss a similar principle, and consider its import on a formal feature of grounding, ontology, and ontological simplicity.