Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

This paper is about sentences of form To be human is to be an animal, To live is to fight, etc. I call them ‘infinitive sentences’. I define an augmented propositional language able to express them and give a matrix-based semantics for it. I also give a tableau proof system, called IL for Infinitive Logic. I prove soundness, completeness and a few basic theorems.

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)

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.

Is everything about reality either qualitative or somehow determined by the qualitative character of reality itself? Metaphysical anti-Haecceitism is often taken to be the claim that this is the case, and to entail that reality is fundamentally qualitative. In this paper, I (1) argue against the idea that metaphysical anti-Haecceitism should be characterized in such terms, and (2) defend a novel way to phrase such a view. This will be done by taking the main arguments for anti-Haecceitism as a guide (...) and by singling out the proper commitments of a view that satisfies the desideratum set forth by such arguments. The phrasing I shall offer will help tell the issue of anti-Haecceitism apart from some concerns about fundamentality that, I will contend, are orthogonal to it—among them, the question whether there is fundamentality at all. (shrink)

In a recent article forthcoming in *Mind*, Leech (2020) presents a challenge for essentialist accounts of metaphysical modality: why should it be that essences imply corresponding necessities? Leech’s main focus is to argue that one cannot overcome the challenge by utilizing an account of essence in terms of generalized identity due to Correia and Skiles (2019), on pain of circularity. In this reply, we will show how to use identity-based essentialism to bridge ‘epistemic’ and ‘explanatory’ understandings of this alleged essence-to-necessity (...) gap without circularity, Leech’s arguments notwithstanding. We do so by first presenting a novel proof that generalized identities imply corresponding necessities. We then propose several substantive identity-based explanations of how it is, exactly, that essences imply necessities. -/- . (shrink)

According to strong pluralism, objects distinct by virtue of their modal properties can coincide. The most common objection towards such view invokes the so-called Grounding Problem according to which the strong pluralist needs to explain what the grounds are for supposed modal differences between the coincidents. As recognized in the literature, the failure to provide an answer to the Grounding Problem critically undermines the plausibility of strong pluralism. Moreover, there are strong reasons to believe that strong pluralists cannot provide an (...) explanation of the Grounding Problem. In this paper, we argue that strong pluralism can be motivated independently of the successful answer to the Grounding Problem. In order to achieve that aim, we provide a haecceitistic interpretation of strong pluralism according to which strong pluralism should be read as a position committed to the existence of primitive individuals, i.e., the individuals that have their criteria of individuation independently of their qualitative profiles. That said, we do not aim at defending haecceitism. Instead, our aim is rather modest: we want to provide a new way for the strong pluralist to supplement his view to make it more watertight. (shrink)

It is common to think that grounding is necessary in the sense that: if P grounds Q, then necessarily: if P, then Q. Though most accept this principle, some give counterexamples to it. Instead of straightforwardly arguing for, or against, necessity, I explain the sense in which grounding is necessary and contingent. I argue that there are two kinds of grounding: what-grounding and why-grounding, where the former kind is necessary while the latter is contingent.

Two families of positions dominate debates over a metaphysically reductive analysis of knowledge. Traditionalism holds that knowledge has a complete, uniquely identifying analysis, while knowledge-first epistemology contends that knowledge is primitive—admitting of no reductive analysis whatsoever. Drawing on recent work in metaphysics, I argue that these alternatives fail to exhaust the available possibilities. Knowledge may have a merely partial analysis: a real definition that distinguishes it from some, but not all other things. I demonstrate that this position is attractive; it (...) evades concerns that its rivals face. (shrink)

I offer and defend an account of real definitions. I put forward two versions of the account, one formulated in terms of the notion of generalised identity and of a suitable notion of grounding, and the other one formulated in terms of the former notion and of a suitable notion of comparative joint-carvingness. Given a plausible assumption, and turn out to be equivalent. I give a sketch of a unified account of the three notions involved in and from which the (...) assumption can be derived. (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)

Philosophical analysis was the central preoccupation of 20th-century analytic philosophy. In the contemporary methodological debate, however, it faces a number of pressing external and internal challenges. While external challenges, like those from experimental philosophy or semantic externalism, have been extensively discussed, internal challenges to philosophical analysis have received much less attention. One especially vexing internal challenge is that the success conditions of philosophical analysis are deeply unclear. According to the standard textbook view, a philosophical analysis aims at a strict biconditional (...) that captures the necessary and sufficient conditions for membership in the relevant category. The textbook view arguably identifies a necessary condition on successful philosophical analyses, but understood as a sufficient condition it is untenable, as I will argue in this paper. To this end, I first uncover eight conditions of adequacy on successful philosophical analyses, some of which have rarely been spelled out in detail. As we shall see, even sophisticated alternatives to the textbook view fail to accommodate some of these conditions. I then propose the concept grounding view as a more promising account of philosophical analysis. According to this view, successful philosophical analyses require necessary biconditionals that are constrained by grounding relations among the concepts involved. Apart from providing a satisfactory account of philosophical analysis in its own right, the concept grounding view is also able to meet the challenge that the success conditions of philosophical analysis are problematically unclear. (shrink)

One of the central puzzles in ontology concerns the relation between apparently innocent sentences and their ontologically loaded counterparts. In recent work, Agustín Rayo has developed the insight that such cases can be usefully described with the help of the ‘just is’ operator: plausibly, for there to be a table just is for there to be some things arranged tablewise; and for the number of dinosaurs to be Zero just is for there to be no dinosaurs. How does the operator (...) relate to another prominent notion that is frequently put to similar use: metaphysical grounding? In this paper I show that despite what has been argued in the literature the ‘just is’ operator can be spelled out in terms of grounding: roughly, as having the same ultimate grounds. This is good news for Rayo, for it broadens his target audience. It is even better news for the friends of ground. For it exemplifies the immense fruitfulness of the notion of grounding in its ability to incorporate philosophically highly significant subtheories. (shrink)

I provide an analysis of sentences of the form ‘To beFis to beG’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes somethingFalso makes itG. This approach is hyperintensional and possesses desirable logical and modal features. In particular, these sentences are reflexive, transitive, and symmetric, and if they are true, then they are (...) necessarily true, and it is necessary that all and onlyFs areGs. I motivate my account over Correia and Skiles’ [11] prominent alternative and close by defining an irreflexive and asymmetric notion of analysis in terms of the symmetric and reflexive notion. (shrink)