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

are synthetic a priori judgements possible?" In both cases, i~thas usually been t'aken for granted in fife one case by Kant that synthetic a priori judgements were possible, and in the other case in contemporary,'d-". philosophical literature that contingent statements of identity are ppss. ible. I do not intend to deal with the Kantian question except to mention:ssj~".

Argument that full grounds modally entail what they ground.

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)

I argue that the one and only truthmaker is the world. This view can be seen as arisingfrom (i) the view that truthmaking is a relation of grounding holding between true propositions and fundamental entities, together with (ii) the view that the world is the one and only fundamental entity. I argue that this view provides an elegant and economical account of the truthmakers, while solving the problem of negative existentials, in a way that proves ontologically revealing.

I explore the logic of ground. I first develop a logic of weak ground. This logic strengthens the logic of weak ground presented by Fine in his ‘Guide to Ground.’ This logic, I argue, generates many plausible principles which Fine’s system leaves out. I then derive from this a logic of strict ground. I argue that there is a strong abductive case for adopting this logic. It’s elegant, parsimonious and explanatorily powerful. Yet, so I suggest, adopting it has important consequences. (...) First, it means we should think of ground as a type of identity. Second, it means we should reject much of Fine’s logic of strict ground. I also show how the logic I develop connects to other systems in the literature. It is definitionally equivalent both to Angell’s logic of analytic containment and to Correia’s system G. (shrink)

Most authors on metaphysical grounding have taken full grounding to be an internal relation in the sense that it's necessary that if the grounds and the grounded both obtain, then the grounds ground the grounded. The negative part of this essay exploits empirical and provably nonparadoxical self-reference to prove conclusively that even immediate full grounding isn't an internal relation in this sense. The positive, second part of this essay uses the notion of a “completely satisfactory explanation” to shed light on (...) the logic of ground in the presence of self-reference. This allows us to develop a satisfactory logic of ground and recover a sense in which grounding is still an internal relation. (shrink)

The elucidations and regimentations of grounding offered in the literature standardly take it to be a necessary connection. In particular, authors often assert, or at least assume, that if some facts ground another fact, then the obtaining of the former necessitates the latter; and moreover, that grounding is an internal relation, in the sense of being necessitated by the existence of the relata. In this article, I challenge the necessitarian orthodoxy about grounding by offering two prima facie counterexamples. First, some (...) physical facts may ground a certain phenomenal fact without necessitating it; and they may co-exist with the latter without grounding it. Second, some instantiations of categorical properties may ground the instantiation of a dispositional one without necessitating it; and they may co-exist without grounding it. After arguing that these may be genuine counterexamples, I ask whether there are modal constraints on grounding that are not threatened by them. I propose two: that grounding supervenes on what facts there are, and that every grounded fact supervenes on what grounds there are. Finally, I attempt to provide a rigorous formulation of the latter supervenience claim and discuss some technical questions that arise if we allow descending grounding chains of transfinite length. (shrink)

Identities formed with proper names may be contingent. this claim is made first through an example. the paper then develops a theory of the semantics of concrete things, with contingent identity as a consequence. this general theory lets concrete things be made up canonically from fundamental physical entities. it includes theories of proper names, variables, cross-world identity with respect to a sortal, and modal and dispositional properties. the theory, it is argued, is coherent and superior to its rivals, in that (...) it stems naturally from a systematic picture of the physical world. (shrink)

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

Consider the kinds of macroscopic concrete objects that common sense and the sciences allege to exist: tables, raindrops, tectonic plates, galaxies, and the rest. Are there any such things? Opinions differ. Ontological liberals say they do; ontological radicals say they don't. Liberalism seems favored by its plausible acquiescence to the dictates of common sense abetted by science; radicalism by its ontological parsimony. Priority theorists claim we can have the virtues of both views. They hold that tables, raindrops, etc., exist, but (...) they aren't fundamental. The ontological liberal's ontology provides the correct inventory of existent individuals. The ontological radical's more restricted ontology provides the correct inventory of fundamental individuals. The priority theorist claims that the derivative individuals are "no addition in being" to the fundamental ones, so we can have our cake and eat it too. It would be nice if priority theorists were right. In this paper I argue, with regret, that they are not. One upshot is that the sort of explanations which underwrite the priority theorist's distinction between fundamental and derivative individuals do not mitigate our ontological commitments. Another is that we still have to choose between the charms of liberalism and radicalism. (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)

I identify a notion of logical grounding, clarify it, and show how it can be used (i) to characterise various consequence relations, and (ii) to give a precise syntactic account of the notion of “groundedness” at work in the literature on the paradoxes of truth.

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 give a semantic characterisation of a system for the logic of grounding similar to the system introduced by Kit Fine in his “Guide to Ground”, as well as a semantic characterisation of a variant of that system which excludes the possibility of what Fine calls ‘zero-grounding’.

This paper argues that ground is irreducibly plural: a group of facts can be grounded together, as a collective, even though no member of the group has a ground on its own. This kind of plural grounding is applied to the metaphysics of individuals and quantities, yielding a “structuralist” view in each case. Some more general implications of plural grounding are also discussed.

A compelling idea holds that reality has a layered structure. We often disagree about what inhabits the bottom layer, but we agree that higher up we find chemical, biological, geological, psychological, sociological, economic, /etc./, entities: molecules, human beings, diamonds, mental states, cities, interest rates, and so on. How is this intuitive talk of a layered structure of entities to be understood? Traditionally, philosophers have proposed to understand layered structure in terms of either reduction or supervenience. But these traditional views face (...) well-known problems. A plausible alternative is that layered structure is to be explicated by appeal to explanations of a certain sort, termed / grounding explanations/. Grounding explanations tell us what obtains in virtue of what. Unfortunately, the use of grounding explanations to articulate the layered conception faces a problem, which I call /the collapse/. The collapse turns on the question of how to ground the facts stated by the explanations themselves. In this paper I make a suggestion about how to ground explanations that avoids the collapse. Briefly, the suggestion is that the fact stated by a grounding explanation is grounded in its /explanans/. (shrink)

This paper distinguishes two kinds of realist issue -- the issue of whether the propositions of a given domain are factual and the issue of whether they are fundamental. It criticizes previous accounts of what these issues come to and suggests that they are to be understood in terms of a basic metaphysical concept of reality. This leaves open the question of how such issues are to be resolved; and it is argued that this may be done through consideration of (...) what grounds the facts of a given domain, when fundamentality is in question, and what grounds our engagement with the putative facts, when factuality is in question. (shrink)

A number of philosophers have recently become receptive to the idea that, in addition to scientific or causal explanation, there may be a distinctive kind of metaphysical explanation, in which explanans and explanandum are connected, not through some sort of causal mechanism, but through some constitutive form of determination. I myself have long been sympathetic to this idea of constitutive determination or ‘ontological ground’; and it is the aim of the present paper to help put the idea on a firmer (...) footing - to explain how it is to be understood, how it relates to other ideas, and how it might be of use in philosophy. (shrink)

How does metaphysical grounding interact with the truth-functions? I argue that the answer varies according to whether one has a worldly conception or a conceptual conception of grounding. I then put forward a logic of worldly grounding and give it an adequate semantic characterisation.