In order to perfectly describe the world, it is not enough to speak truly. One must also use the right concepts - including the right logical concepts. One must use concepts that "carve at the joints", that give the world's "structure". There is an objectively correct way to "write the book of the world". Much of metaphysics, as traditionally conceived, is about the fundamental nature of reality; in the present terms, this is about the world's structure. Metametaphysics - inquiry into (...) the status of metaphysical questions - turns on structure. The question of whether ontological, causal, or modal questions are "substantive" is in large part a question of whether the world has ontological, causal, and modal structure - whether quantifiers, causal relations, and modal operators carve at the joints. (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)

I address an intuition commonly endorsed by metaphysicians, that there must be a fundamental layer of reality, i.e., that chains of ontological dependence must terminate: there cannot be turtles all the way down. I discuss applications of this intuition with reference to Bradley’s regress, composition, realism about the mental and the cosmological argument. I discuss some arguments for the intui- tion, but argue that they are unconvincing. I conclude by making some suggestions for how the intuition should be argued for, (...) and discussing the ramifications of giving the justification I think best. (shrink)

I argue that Agustín Rayo’s symmetric ‘just is’ statements cannot be defined in terms of notions like essence, grounding or metaphysical truth-conditions. I go on to argue that one of these latter notions, which allow us to express an asymmetric relationship between facts, is needed to do some of the work that Rayo intends ‘just is’ statements to do, such as stating reductionist claims.

In this paper, I argue for a new way of characterizing ontological emergence. I appeal to recent discussions in meta-ontology regarding fundamentality and dependence, and show how emergence can be simply and straightforwardly characterized using these notions. I then argue that many of the standard problems for emergence do not apply to this account: given a clearly specified meta-ontological background, emergence becomes much easier to explicate. If my arguments are successful, they show both a helpful way of thinking about emergence (...) and the potential utility of discussions in meta-ontology when applied to first-order metaphysics. (shrink)

After many years of enduring the drought and famine of Quinean ontology and Carnapian meta-ontology, the notion of ground, with its distinctively philosophical flavor, finally promises to give metaphysicians something they can believe in again and around which they can rally: their very own metaphysical explanatory connection which apparently cannot be reduced to, or analyzed in terms of, other familiar idioms such as identity, modality, parthood, supervenience, realization, causation or counterfactual dependence. Often, phenomena such as the following are cited as (...) putative examples of grounding connections: systematic connections between entire realms of facts (mental/physical; moral/natural; etc.); truthmaking (e.g., the relation between the truth of the proposition that snow is white and snow’s being white); logical cases (e.g., the connection between conjunctive facts or disjunctive facts and their constituent facts); the determinate/determinable relation (e.g., the relation between something’s being maroon and its being red). I argue in this paper that classifying all of these phenomena as exhibiting grounding connections does not achieve much in the way of illumination. In fact, by treating a collection of phenomena which is in fact heterogeneous as though it were homogeneous, we have, if anything, taken a dialectical step backward. (shrink)

Metaphysical orthodoxy maintains that the relation of ontological dependence is irreflexive, asymmetric, and transitive. The goal of this paper is to challenge that orthodoxy by arguing that ontological dependence should be understood as non- symmetric, rather than asymmetric. If we give up the asymmetry of dependence, interesting things follow for what we can say about metaphysical explanation— particularly for the prospects of explanatory holism.

It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...) modal terms or even to be regarded as extensionally equivalent to a modal notion. The one notion is, if I am right, a highly refined version of the other; it is like a sieve which performs a similar function but with a much finer mesh. (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)

Cameron, Eklund, Hofweber, Linnebo, Russell and Sider have written critical essays on my book, The Construction of Logical Space (Oxford: Oxford University Press, 2013). Here I offer some replies.

Ross P. Cameron argues that the flow of time is a genuine feature of reality. He suggests that the best version of the A-Theory is a version of the Moving Spotlight view, according to which past and future beings are real, but there is nonetheless an objectively privileged present. Cameron argues that the Moving Spotlight theory should be viewed as having more in common with Presentism than with the B-Theory. Furthermore, it provides the best account of truthmakers for claims about (...) what was or will be the case. Cameron goes on to defend an account of the open future, and argues that this is a better account than that available to the Growing Block theory. (shrink)

Our conception of logical space is the set of distinctions we use to navigate the world. Agustn Rayo argues that this is shaped by acceptance or rejection of 'just is'-statements: e.g. 'to be composed of water just is to be composed of H2O'. He offers a novel conception of metaphysical possibility, and a new trivialist philosophy of mathematics.

Contemporary philosophers commonly suppose that any fundamental entities there may be are maximally determinate. More generally, they commonly suppose that, whether or not there are fundamental entities, any determinable entities there may be are grounded in, hence less fundamental than, more determinate entities. So, for example, Armstrong takes the physical objects constituting the presumed fundamental base to be “determinate in all respects” (1961, 59), and Lewis takes the properties characterizing things “completely and without redundancy” to be “highly specific” (1986, 60). (...) Here I look at the usually cited reasons for these suppositions as directed against the case of determinable properties, in particular, and argue that none is compelling (Sections 1 to 3). The discussion in Section 3 moreover identifies positive reason for taking some determinable properties to be part of a fundamental (or relatively fundamental) base. I close (Section 4) by noting certain questions arising from the possibility of fundamental determinables, as directions for future research. (shrink)

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

Let us agree that everything that there is exists, and that to be, to be real, and to exist are one and the same. Does everything that there is exist to the same degree? Or do some things exist more than others? Are there gradations of being? I argue that some entities exist more than others. Moreover, many of the notions in play in contemporary metaphysical discourse, such as fundamentality, perfect naturalness, and grounding ought to be cashed out in terms (...) of degree of existence. (shrink)