I survey the philosophical literature on grounding explanation and its connection to metaphysical ground.

According to the powerful qualities view, properties are both powerful and qualitative. Indeed, on this view the powerfulness of a property is identical to its qualitativity. Proponents claim that this view provides an attractive alternative to both the view that properties are pure powers and the view that they are pure qualities. It remains unclear, however, whether the claimed identity between powerfulness and qualitativity can be made coherent in a way that allows the powerful qualities view to constitute this sort (...) of alternative. I argue here that this can be done, given a particular conception of both the qualitativity and powerfulness of properties. On this conception, a property is qualitative just in the sense that its essence is fixed independently of any distinct properties, and it is powerful just if its essence grounds its dispositional role. (shrink)

Suppose that A explains B. Do A and B need to be true? Provided that we have metaphysical explanation in mind, orthodoxy answers “yes:” metaphysical explanation is factive. This article introduces and defends a non-factive notion of metaphysical explanation. I argue that we need a non-factive notion of explanation in order to make sense of explanationist arguments where we motivate a view by claiming that it offers better explanations than its competitors. After presenting and rejecting some initially plausible rivals, I (...) account for non-factive metaphysical explanation by drawing on existing applications of structural equation models to metaphysical grounding. (shrink)

There is a puzzle concerning the essences of fundamental entities that arises from considerations about essence, on one hand, and fundamentality, on the other. The Essence-Dependence Link (EDL) says that if x figures in the essence of y, then y is dependent upon x. EDL is prima facie plausible in many cases, especially those involving derivative entities. But consider the property negative charge. A negatively charged object exhibits certain behaviors that a positively charged object does not: it moves away from (...) other negatively charged objects, towards positively charged objects, etc. It is commonly thought that negative charge disposes its bearer to move away from other negatively charged objects, towards positively charged objects, etc. But if negative charge is fundamental, then no other entities—including the property positive charge—can figure in its essence. We thus have a prima facie puzzle: How can we say anything interesting about the essences of fundamental entities without running afoul of EDL? In this paper, I present and discuss the consequences of EDL for the debate between causal essentialists and quidditists about properties, and propose solutions to the puzzle. (shrink)

This paper presents a new cosmological argument based on considerations about grounding. I argue that, by assuming three plausible principles about grounding, we can construct a cosmological argument for the existence of a unique ungrounded being that ultimately grounds everything else. At the end of the paper I consider two possible objections, and offer my replies to them.

What distinguishes causation from grounding? One suggestion is that causation, but not grounding, occurs over time. Recently, however, counterexamples to this simple temporal criterion have been offered. In this paper, we situate the temporal criterion within a broader framework that focuses on two aspects: locational overlapping in space and time and the presence of intermediaries in space and time. We consider, and reject, the idea that the difference between grounding and causation is that grounding can occur without intermediaries. We go (...) on to use the fact that grounding and causation both involve intermediaries to develop a better temporal criterion for distinguishing causation from grounding. The criterion is this: when a cause and effect are spatially disjoint, there is always a chain of causal intermediaries between the cause and the effect that are extended in time. By contrast, when the grounds and the grounded are spatially disjoint, there is always a chain of grounding intermediaries, but the chain need not be extended in time, it can be purely spatial. The difference between grounding and causation, then, is that causation requires time for chaining in a way that grounding does not. (shrink)

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)

Fundamentality plays a pivotal role in discussions of ontology, supervenience, and possibility, and other key topics in metaphysics. However, there are two different ways of characterising the fundamental: as that which is not grounded, and as that which is the ground of everything else. I show that whether these two characterisations pick out the same property turns on a principle—which I call “Dichotomy”—that is of independent interest in the theory of ground: that everything is either fully grounded or not even (...) partially grounded. I then argue that Dichotomy fails: some facts have partial grounds that cannot be complemented to a full ground. Rejecting Dichotomy opens the door to recognising a bifurcation in our notion of fundamentality. I sketch some of the far-reaching metaphysical consequences this might have, with reference to big-picture views such as Humeanism. Since Dichotomy is entailed by the standard account of partial ground, according to which partial grounds are subpluralities of full grounds, a non-standard account is needed. In a technical “Appendix”, I show that truthmaker semantics furnishes such an account, and identify a semantic condition that corresponds to Dichotomy. (shrink)

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

I provide an argument against the Aristotelian view of universals, according to which universals depend for their existence on their exemplifiers. The argument consists in a set of five jointly inconsistent assumptions. As such, the argument can be used to argue in favour of other conclusions, such as that exemplification is no relation or that plausible principles concerning ontological dependence or grounding do not hold.

This paper offers a metaphysical explanation of the identity and distinctness of concrete objects. It is tempting to try to distinguish concrete objects on the basis of their possessing different qualitative features, where qualitative features are ones that do not involve identity. Yet, this criterion for object identity faces counterexamples: distinct objects can share all of their qualitative features. This paper suggests that in order to distinguish concrete objects we need to look not only at which properties and relations objects (...) instantiate but also how they instantiate these properties and relations. I propose that objects are identical when they stand in certain qualitative relations in virtue of their existence. And concrete objects are distinct when they do not stand in the same kinds of relations to one another in virtue of their existence. (shrink)

The hole argument purports to show that all spacetime theories of a certain form are indeterministic, including the General Theory of Relativity. The argument has given rise to an industry of searching for a metaphysics of spacetime that delivers the right modal implications to rescue determinism. In this paper, I first argue that certain prominent extant replies to the hole argument—namely, those that appeal to an essentialist doctrine about spacetime—fail to deliver the requisite modal implications. As part of my argument, (...) I show that threats to determinism of the sort brought out by the hole argument are more general than has heretofore been recognized. I then use these results to propose a novel essentialist doctrine about spacetime that successfully rescues determinism, what I call sufficiency metric essentialism. However, I go on to argue that once we realize what an essentialist doctrine about spacetime must look like in order to address the hole argument, we should reject all such doctrines, because they can't fulfill their ambition of improving on standard modal replies to the argument. I close by suggesting some lessons for future work on spacetime and the metaphysics of physics more broadly, and also drawing some general morals for contemporary metaphysics, in particular about (i) whether essence can be used to articulate a precise structuralist doctrine, and (ii) the relationship between essence and modality. (shrink)

ABSTRACTWhile extant replies to Jonathan Schaffer’s putative counterexamples to the transitivity of grounding have made significant strides against the charge of transitivity failure, the replies pay insufficient attention to the common structure of the counterexamples, overlooking a deeper structural feature that contributes to their prima facie plausibility. Putative counterexamples to the transitivity of grounding, I argue, trade on the distinction between what I call ‘rigid’ and ‘non-rigid’ grounding, and confusion over how rigid and non-rigid grounding react when combined pumps the (...) intuition that the counterexamples’ chained conclusions are false. The rigid/non-rigid grounding distinction also reveals plausible weakening inference rules that have been overlooked in treatments of the logic of grounding. (shrink)

It has recently been suggested that a distinctive metaphysical relation— ‘Grounding’—is ultimately at issue in contexts in which some goings-on are said to hold ‘in virtue of’’, be ‘metaphysically dependent on’, or be ‘nothing over and above’ some others. Grounding is supposed to do good work in illuminating metaphysical dependence. I argue that Grounding is also unsuited to do this work. To start, Grounding alone cannot do this work, for bare claims of Grounding leave open such basic questions as whether (...) Grounded goings-on exist, whether they are reducible to or rather distinct from Grounding goings-on, whether they are efficacious, and so on; but in the absence of answers to such basic questions, we are not in position to assess the associated claim or theses concerning metaphysical dependence. There is no avoiding appeal to the specific metaphysical relations typically at issue in investigations into dependence—for example, type or token identity, functional realization, classical mereological parthood, the set membership relation, the proper subset relation, the determinable/determinate relation, and so on—which are capable of answering these questions. But, I argue, once the specific relations are on the scene, there is no need for Grounding. (shrink)

The Identity of Indiscernibles is the principle that objects cannot differ only numerically. It is widely held that one interpretation of this principle is trivially true: the claim that objects that bear all of the same properties are identical. This triviality ostensibly arises from haecceities (properties like \textit{is identical to a}). I argue that this is not the case; we do not trivialize the Identity of Indiscernibles with haecceities, because it is impossible to express the haecceities of indiscernible objects. I (...) then argue that this inexpressibility generalizes to all of their trivializing properties. Whether the Identity of Indiscernibles is trivially true ultimately turns on whether we can quantify over properties that we cannot express. (shrink)

Primitive, unanalysable grounding relations are considered by many to be indispensable constituents of the metaphysician’s toolkit. Yet, as a primitive ontological posit, grounding must earn its keep by explaining features of the world not explained by other tools already at our disposal. Those who defend grounding contend that grounding is required to play two interconnected roles: accounting for widespread intuitions regarding what is ontologically prior to what, and forming the backbone of a theory of metaphysical explanation, in much the same (...) way that causal relations have been thought to underpin theories of scientific explanation. This thesis undermines the need to posit grounding relations to perform either of these jobs. With regard to the first, it is argued that a pair of human psychological mechanisms—for which there is substantial empirical support—can provide a more theoretically virtuous explanation of why we have the intuitions that we do. With regard to the second, I begin by considering what we want from a theory of explanation, and go on to develop three attractive (yet grounding-free) theories of metaphysical explanation. I offer: i) a psychologistic theory that calls upon the aforementioned psychological mechanisms, as well as the modal relations of necessitation and supervenience, ii) a metaphysical variant of the deductive-nomological theory of scientific explanation, and iii) a metaphysical variant of the unificationist theory of scientific explanation. Furthermore, these theories draw upon mechanisms and relations (both logical and ontological) to which we are already committed. Thus, to posit grounding relations in order to explain our priority intuitions, or in order to develop a theory of metaphysical explanation, is ontologically profligate. I conclude that we should not posit relations of ground. (shrink)

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

Grounding pluralism is the view that there are multiple kinds of grounding. In this essay, I motivate and defend an explanation-theoretic view of grounding pluralism. Specifically, I argue that there are two kinds of grounding: why-grounding—which tells us why things are the case—and how-grounding—which tells us how things are the case.

Debates over what is fundamental assume that what is most fundamental must be either a “top” level (roughly, the biggest or highest-level thing), or a “bottom” level (roughly, the smallest or lowest-level things). Here I sketch an alternative to top-ism and bottom-ism, the view that a middle level could be the most fundamental, and argue for its plausibility. I then suggest that the view satisfies the desiderata of asymmetry, irreflexivity, transitivity, and well-foundedness of fundamentality, that the view has explanatory power (...) on par with that of top-ism and bottom-ism, and that it satisfies the Principle of Sufficient Reason. (shrink)

In this paper, I both propose and discuss a novel account of truthmaking. I begin by showing what truthmaking is not: it is not grounding and it is not correspondence. I then show what truthmaking is by offering an account that appeals both to grounding and what I call ‘deep correspondence’. After I present the account and show that it is an account that unifies, I put it to work by showing how it can overcome an objection to truthmaking, how (...) we can get truthmaking from correspondence, what it says about truthmaker necessitation, and how it can explain a connection between truthmaker maximalism and pluralism about truth. (shrink)

Jason Bowers and Meg Wallace have recently argued that those who hold that every individual instantiates a ‘haecceity’ are caught up in a Euthyphro-style dilemma when confronted with familiar cases of fission and fusion. Key to Bowers and Wallace’s dilemma are certain assumptions about the nature of metaphysical explanation and the explanatory commitments of belief in haecceities. However, I argue that the dilemma only arises due to a failure to distinguish between providing a metaphysical explanation of why a fact holds (...) vs. a metaphysical explanation of what it is for a fact to hold. In the process, I also shed light on the explanatory commitments of belief in haecceities. (shrink)

Pragmatism’s heartening recent revival (spearheaded by Richard Rorty’s bold intervention into analytic philosophy Philosophy and the Mirror of Nature) has coalesced into a distinctive philosophical movement frequently referred to as ‘neopragmatism’. This movement interprets the very meaning of pragmatism as rejection of metaphysical commitments: our words do not primarily serve to represent non-linguistic entities, but are tools to achieve a range of human purposes. A particularly thorough and consistent version of this position is Huw Price’s global expressivism. We here critically (...) appraise Price’s understanding of a commitment to pragmatism as a rejection of metaphysics, and argue that such rejection is not as easy or desirable as Price claims. First we argue that Price’s global expressivism itself draws on significant metaphysical assumptions (a ‘word-world’ dualism, and a nominalism concerning the meaning of general terms). Then we seek to resolve neopragmatist anxieties about metaphysics by arguing that metaphysics is indispensable for pragmatist philosophizing insofar as it seeks ways for human beings to realise themselves through practices of understanding reality and their place in it. If, as we argue, metaphysics consists in a maximally general inquiry into the nature and structure of reality, to try to block it seems a puzzling exercise in epistemic self-harm. (shrink)

The aim of this paper is to argue for some useful distinctions in the theory of grounding. I do so by first introducing the notion of grounding, discussing some of its features, and arguing that grounds must play some role in bringing about what they ground (sec.1). I then argue that there are various distinct roles a fact may play in bringing about another, and more particularly that we should distinguish between three such roles; enablers, partial grounds, and facts that (...) partly ground (sec. 2). Finally, I present two theoretical advantages to incorporating these distinctions into our theory of grounding. Namely, that it reframes, and arguably dissolves, the contingentist-necessitarian debate (sec. 3), and that it helps to elegantly deal with the purported counterexamples to the transitivity of grounding and thus maintain the plausible elements of the assumption that grounding is a transitive relation (sec.4). (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.

Philosophers have observed that metaphysical necessity appears to be a true or real or genuine form of necessity while epistemic necessity does not. Similarly, natural necessity appears genuine while deontic necessity does not. But what is it for a form of necessity to be genuine? I defend an account of genuine necessity in explanatory terms. The genuine forms of necessity, I argue, are those that provide what I call necessitarianexplanation. I discuss the relationship of necessitarian explanation to ground.

The notion of fundamentality is supposed to play an important role in philosophical inquiry and scientific theorising. Yet there is no consensus on how to formulate it in precise terms. According to a promising view, fundamentality is a form of ontological independence. This view has the merit of capturing a natural connection between fundamentality and ontological dependence. However, it has been recently argued that it is possible that there are fundamental and yet ontologically dependent entities; therefore, we should not characterise (...) the fundamental in terms of ontological independence. My aim is to show that such a possibility does not threaten a conception of fundamentality as a form of ontological independence. I illustrate this claim by providing a definition of equifundamentality and showing that fundamental and yet ontologically dependent entities can be treated as equifundamental. (shrink)

Supervenience is necessary co-variation between two sets of entities. In the good old days, supervenience was considered a useful philosophical tool with a wide range of applications in the philosophy of mind, metaethics, epistemology, and elsewhere. In recent years, however, supervenience has fallen out of favor, giving place to grounding, realization, and other, more metaphysically “meaty”, notions. The emerging consensus is that there are principled reasons for which explanatory theses cannot be captured in terms of supervenience, or as the slogan (...) goes: “Supervenience Is Nonexplanatory”. While SIN is widely endorsed, it is far from clear what it amounts to and why we should believe it. In this paper, I will distinguish various theses that could be meant by it, and will argue that none of them is both interesting and plausible: on some interpretations of ‘explanatory’, we have no reason to believe that supervenience is unexplanatory, while on other interpretations, supervenience is indeed unexplanatory, but widely accepted textbook cases of explanatory relations come out as unexplanatory, too. This result raises doubts as to whether there is any interesting sense in which SIN is true, and suggests that the contemporary consensus about supervenience is mistaken. (shrink)

Here I defend dispositionalism about meaning and rule-following from Kripkenstein's infamous anti-dispositionalist arguments. The problems of finitude, error, and normativity are all addressed. The general lesson I draw is that Kripkenstein's arguments trade on an overly simplistic version of dispositionalism.

This paper surveys some of the grounding literature searching for points of contact between theories of ground and science. I find that there are some places where a would-be naturalistic grounding theorist can draw inspiration. I synthesize a list of recommendations for how science may be put to use in theories of ground. I conclude that the prospects for naturalizing the metaphysics of ground are bright.

Monism is roughly the view that there is only one fundamental entity. One of the most powerful argument in its favor comes from quantum mechanics. Extant discussions of quantum monism are framed independently of any interpretation of the quantum theory. In contrast, this paper argues that matters of interpretation play a crucial role when assessing the viability of monism in the quantum realm. I consider four different interpretations: modal interpretations, Bohmian mechanics, many worlds interpretations, and wavefunction realism. In particular, I (...) extensively argue for the following claim: several interpretations of QM do not support monism at a more serious scrutiny, or do so only with further problematic assumptions, or even support different versions of it. (shrink)

I argue that libertarian paternalism is in fact paternalism, or hard paternalism, rather than a form of soft paternalism. I do so on the basis of an analysis of the paternalist act according to which the paternalist act needn’t violate the will of the agent who is the target of that act and the paternalist actor need only suspect that her action may improve the welfare of that target. The paper considers and rejects interpretations of libertarian paternalism as soft paternalism. (...) I then provide an outline as to how libertarian paternalism may be reformed in light of the finding that current libertarian paternalism is hard paternalism. The proposal is to require that the enactment of libertarian paternalist policies be conditional on opinion polling indicating support for those policies from the agents they target. (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)

Could φ’s partially grounding ψ itself be a partial ground for ψ? I show that it follows from commonly accepted principles in the logic of ground that this sometimes happens. It also follows from commonly accepted principles that this never happens. I show that this inconsistency turns on different principles than the puzzles of ground already discussed in the literature, and I propose a way of resolving the inconsistency.

Sometimes a fact can play a role in a grounding explanation, but the particular content of that fact make no difference to the explanation—any fact would do in its place. I call these facts vacuous grounds. I show that applying the distinction between-vacuous grounds allows us to give a principled solution to Kit Fine and Stephen Kramer’s paradox of ground. This paradox shows that on minimal assumptions about grounding and minimal assumptions about logic, we can show that grounding is reflexive, (...) contra the intuitive character of grounds. I argue that we should never have accepted that grounding is irreflexive in the first place; the intuitions that support the irreflexive intuition plausibly only require that grounding be non-vacuously irreflexive. Fine and Kramer’s paradox relies, essentially, on a case of vacuous grounding and is thus no problem for this account. (shrink)

An account of the distinction between singular and general propositions should reflect the core ideas that have motivated the distinction. Those core ideas can be appreciated independently of many commitments regarding the metaphysics of propositions, but theorists with differing views on the latter have given quite different explanations of what it is for a proposition to be singular or general. Many of those explanations turn out not to reflect the core ideas adequately after all, either by misclassifying certain propositions or (...) by failing to be sufficiently informative. A more satisfactory account can be formulated by more directly elaborating on the background ideas motivating the distinction. The resulting account not only does better than its competitors, but is compatible with various views on the metaphysics of propositions. (shrink)

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

I argue—contra moderate grounding pluralists such as Kit Fine and more extreme grounding pluralists such as Jessica Wilson—that there is fundamentally only one grounding/in-virtue-of relation. I also argue that this single relation is indispensable for normative theorizing—that we can’t make sense of, for example, the debate over consequentialism without it. It follows from what I argue that there is no metaethically-pure normative ethics.

The aim of this editorial introduction is twofold. First, Sects. 1–8 offer a critical introduction to the metaphysical character of physicalism. In those sections, I present and evaluate different ways in which proponents of physicalism have made explicit the metaphysical dependence that is said to hold between the non-physical and the physical. Some of these accounts are found to be problematic; others are shown to be somewhat more promising. In the end, some important lessons are drawn and different options for (...) physicalists are presented. Second, in Sect.9, the six papers that comprise the special issue are introduced and summarized. (shrink)

Ground offers the hope of vindicating and illuminating an classic philosophical idea: the layered conception, according to which reality is structured by relations of dependence, with physical phenomena on the bottom, upon which chemistry, then biology, and psychology reside. However, ground can only make good on this promise if it is appropriately formally behaved. The paradigm of good formal behavior can be found in the currently dominant grounding orthodoxy, which holds that ground is transitive, antisymmetric, irreflexive, and foundational. However, heretics (...) have recently challenged the orthodoxy. In this paper, I examine ground’s ability to vindicate the layered conception upon various relaxations of the orthodox assumptions. I argue that highly unorthodox views of ground can still vindicate the layered conception and that, in some ways, the heretical views enable ground to better serve as a guide to reality’s layering than do orthodox views of ground. (shrink)

The paper deals with the notions of grounding and of existential dependence. It is shown that cases of existential dependence seem to be systematically correlated to cases of grounding and hence the question is raised what sort of tie might hold the two notions together so as to account for the observed correlation. The paper focusses on three possible ties between grounding and existential dependence: identity, definition, and grounding. A case for the definitional tie is made.

Characterization of a form of explanation involving grounding on the model of mechanistic causal explanation.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine 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. I also develop 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 my 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. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that 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 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. I invent 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. I provide 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)

When confronted with the question of why it is appropriate to morally blame a person for some bad action, it may seem plausible to reply that she is morally responsible for it. Some authors, inspired by Peter Strawson's "Freedom and Resentment," argue, however, that thinking this way is backwards. They believe that a person is morally responsible for some bad action because it would be appropriate to blame her for it. The aims of this paper are to present this account, (...) to highlight some of its important but often overlooked features, and to defend it against pressing objections. (shrink)

There is a systematic and suggestive analogy between grounding and causation. In my view, this analogy is no coincidence. Grounding and causation are alike because grounding is a type of causation: metaphysical causation. In this paper I defend the identification of grounding with metaphysical causation, drawing on the causation literature to explore systematic connections between grounding and metaphysical dependence counterfactuals, and I outline a non-reductive counterfactual theory of grounding along interventionist lines.

In this paper, I offer a new theory of grounding. The theory has it that grounding is a job description that is realized by different properties in different contexts. Those properties play the grounding role contingently, and grounding is the property that plays the grounding role essentially. On this theory, grounding is monistic, but ‘grounding’ refers to different relations in different contexts. First, I argue against Kit Fine’s monist univocalism. Next, I argue against Jessica Wilson’s pluralist multivocalism. Finally, I introduce (...) monist multivocalism, explicate three versions of it (of which the above is one), and show its advantages. (shrink)

It is commonly assumed that grounding relations are asymmetric. Here I develop and argue for a theory of metaphysical structure that takes grounding to be nonsymmetric rather than asymmetric. Even without infinite descending chains of dependence, it might be that every entity is grounded in some other entity. Having first addressed an immediate objection to the position under discussion, I introduce two examples of symmetric grounding. I give three arguments for the view that grounding is nonsymmetric (I call this view (...) ‘metaphysical interdependence’). These arguments are: (i) that metaphysical interdependence is the only theory able to reconcile competing intuitions about grounding; (ii) that it is the only theory consistent with both ‘gunk’ and ‘junk’; and (iii) that offers a satisfactory solution to the problem concerning whether or not grounding is itself grounded. (shrink)

Proponents of grounding often describe the notion as "metaphysical causation" involving determination and production relations similar to causation. This paper argues that the similarities between grounding and causation are merely superficial. I show that there are several sorts of causation that have no analogue in grounding; that the type of "bringing into existence" that both involve is extremely different; and that the synchronicity of ground and the diachronicity of causation make them too different to be explanatorily intertwined.

Grounding is a powerful metaphysical concept; yet there is widespread scepticism about the intelligibility of the notion. In this paper, I propose an account of an entity’s nature or essence, which I then use to provide grounding conditions for that entity. I claim that an understanding of an entity’s nature, together with an account of how logically complex entities are grounded, provides all we need to understand how that entity is grounded. This approach not only allows us to say what (...) grounds what, it also sheds light on the formal features of the grounding relation. It provides a principled argument for the orthodox view that grounding is irreflexive, asymmetrical, and transitive; but it allows that it may not be well-founded. The resulting approach gives us a powerful framework for understanding nature, grounding, and the relationship between them. (shrink)