Aristotle talks about 'the first philosophy' throughout the Metaphysics – and it is metaphysics that Aristotle considers to be the first philosophy – but he never makes it entirely clear what first philosophy consists of. What he does make clear is that the first philosophy is not to be understood as a collection of topics that should be studied in advance of any other topics. In fact, Aristotle seems to have thought that the topics of Metaphysics are to be studied (...) after those in Physics. In what sense could metaphysics be the first philosophy in the context of contemporary metaphysics? This is the question examined in this essay. Contemporary topics such as fundamentality, grounding, and ontological dependence are considered as possible ways to understand the idea of first philosophy, but I will argue that the best way to understand it is in terms of essence. (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)

Modal metaphysics consumed much of the philosophical discussion at the turn of the century, yielding a number of epistemological insights. Modal analyses were applied within epistemology, yielding sensitivity and safety theories of knowledge as well as counterfactual accounts of the basing relation. The contemporary conversation has now turned to a new metaphysical notion – grounding – opening the way to a fresh wave of insights by bringing grounding into epistemology. In this paper, I attempt one such application, making sense of (...) the epistemic regress problem in terms of grounding. I argue that the relation that generates the epistemic regress is a grounding relation, showing that grounding can make sense of proposals by epistemic foundationalists and charting the course for similar applications to epistemic coherentism and epistemic infinitism. If it is right that grounding is involved in the epistemic regress, this points the way forward both for epistemologists and metaphysicians, revealing the prospects of solutions to the epistemic regress problem while providing grounding advocates with yet another example of grounding with which to theorize. (shrink)

There has been an explosion of interest in the metaphysics of fundamentality in recent decades. The consensus view, called metaphysical foundationalism, maintains that there is something absolutely fundamental in reality upon which everything else depends. However, a number of thinkers have chal- lenged the arguments in favor of foundationalism and have proposed competing non-foundationalist ontologies. This paper provides a systematic and critical introduction to metaphysical foundationalism in the current literature and argues that its relation to ontological dependence and substance should (...) be qualified in important ways. (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 we examine whether and how powers ontologies can back formal causation. We attempt to answer three questions: i) what is formal causation; ii) whether we need formal causation, and iii) whether formal causation need powers and whether it can be grounded in powers. We take formal causal explanations to be explanations in which something's essence features prominently in the explanans. Three kinds of essential explanations are distinguished: constitutive, consequential, and those singling out something's propria. This last kind (...) of explanation has been somewhat overlooked in the literature, but we argue that it features in much of the most relevant uses of formal explanations in philosophy and science. These are the explanations for why an object has certain propertis that are not, properly speaking, parts of its essence, but that belong to it more intimately than just being part of its consequential essence: they are the properties that ‘flow’ from something's essence. It is argued that a powers metaphysics is uniquely placed to make sense of this last phenomenon. We then distinguish three grades of involvement in which powers might be salient for formal causal explanations: i) powers might be the subject matter of the essence operator, ii) the essence of something might include (or be exhausted) by powers, or iii) powers can explain how propria can flow from something's constitutive existence. (shrink)

Grounding, understood as a primitive posit operative in contexts where metaphysical dependence is at issue, is not able on its own to do any substantive work in characterizing or illuminating metaphysical dependence---or so I argue in 'No Work for a Theory of Grounding' (Inquiry, 2014). Such illumination rather requires appeal to specific metaphysical relations---type or token identity, functional realization, the determinable-determinate relation, the mereological part-whole relation, and so on---of the sort typically at issue in these contexts. In that case, why (...) posit 'big-G' Grounding in addition to the 'small-g' grounding relations already in the metaphysician's toolkit? The best reasons for doing so stem from the Unity argument, according to which the further posit of Grounding is motivated as an apt unifier of the specific relations, and the Priority argument, according to which Grounding is needed in order to fix the direction of priority of the specific relations. I previously considered versions of these arguments, and argued that they did not succeed; in two papers, however, Jonathan Schaffer aims to develop a better version of the Unity argument, and offers certain objections to my reasons for rejecting the Priority argument. Here I consider these new arguments for Grounding. (shrink)

The book provides a novel account of the ontological foundations of institutional facts, and argues that there are some important epistemic and methodological implications that follow from this ontology. The first part of the book offers a detailed reductive account of institutional facts by way of metaphysical grounding. It shows that an ontology of institutional facts requires an ontology of social rules, and the latter depends on a reductive account of collective attitudes. The book offers a grounding-reductive account of collective (...) attitudes that comports with methodological individualism. It argues for a functional explanation of the constitutive relations between rules and practices, challenging John Searle’s influential distinction between constitutive and regulative rules. The second part of the book aims to show that there are a number of important epistemic and methodological conclusions that follow from the ontology of institutional facts. First, that there are certain types of widespread errors about the socially constructed aspects of reality that are not metaphysically possible. The second methodological argument is that a metaphysical account of institutional reality does not have to provide an explanation of the relevant social practices in terms that would rationalize the practice for the participants themselves. Finally, the last chapter explains the idea of hierarchical practices, arguing that basic social power-structuring rules function to transform brute power into an elaborate normative framework, constituting authoritative institutions that are central to our institutional reality. (shrink)

A fundamental fact is “pure” just in case it has no grounded entities—ex. Tokyo, President Biden, the River Nile, {Socrates}, etc.—among its constituents. Purity is the thesis that every fundamental fact is pure. I argue that Purity is false. My argument begins with a familiar conditional: if Purity is true, then there are no fundamental “grounding facts” or facts about what grounds what. This conditional is accepted by virtually all of Purity’s defenders. However, I argue that it is also the (...) first step toward Purity’s undoing. For, if every grounding fact has a ground, then some grounded entities have “groundmates” or distinct grounded entities that share their full grounds. But, if there are groundmates, then Purity is false. So Purity leads to a contradiction. Therefore, it is false. I close by noting that my argument against Purity also gives us a powerful reason to think that some grounding facts are fundamental. (shrink)

'Chains of Being' argues that there can be infinite chains of dependence or grounding. Cameron also defends the view that there can be circular relations of ontological dependence or grounding, and uses these claims to explore issues in logic and ontology.

The Stoics are famously committed to the thesis that only bodies are, and for this reason they are rightly called “corporealists.” They are also famously compared to Plato’s earthborn Giants in the Sophist, and rightly so given their steadfast commitment to body as being. But the Stoics also notoriously turn the tables on Plato and coopt his “dunamis proposal” that being is whatever can act or be acted upon to underwrite their commitment to body rather than shrink from it as (...) the Giants do. The substance of Stoic corporealism, however, has not been fully appreciated. This paper argues that Stoic corporealism goes beyond the dunamis proposal, which is simply an ontological criterion for being, to the metaphysics of body. This involves, first, an account of body as metaphysically simple and hence fundamental; second, an account of body as malleable and continuous, hence fit for blending (krasis di’ holou) and composition. In addition, the metaphysics of body involves a distinction between this composition relation seen in the cosmology, and the constitution relation by which the four-fold schema called the Stoic Categories proceeds, e.g. the relation between a statue and its clay, or a fist and its underlying hand. It has not been appreciated that the cosmology and the Categories are distinct — and complementary — explanatory enterprises, the one accounting for generation and unity, the other taking those individuals once generated, and giving a mereological analysis of their identity and persistence conditions, kinds, and qualities. The result is an elegant division of Plato’s labor from the Battle of Gods and Giants. On the one hand, the Stoics rehabilitate the crude cosmology of the Presocratics to deliver generation and unity in completely corporeal terms, and that work is found in their Physics. On the other hand, they reform the Giants and “dare to corporealize,” delivering all manner of predication (from identity to the virtues), and that work is found in Stoic Logic. Recognizing the distinctness of these explanatory enterprises helps dissolve scholarly puzzles, and harmonizes the Stoics with themselves. (shrink)

I develop a reduction of grounding to essence. My approach is to think about the relation between grounding and essence on the model of a certain conceptof existential dependence. I extend this concept of existential dependence in a coupleof ways and argue that these extensions provide a reduction of grounding to essenceif we use sorted variables that range over facts and take it that for a fact to obtain is forit to exist. I then use the account to resolve various (...) issues surrounding the concept of grounding and its connection with essence; apply the account to paradigm cases andto the impure logic of grounding; and respond to objections. (shrink)

Separatists are grounding theorists who hold that grounding relations and metaphysical explanations are distinct, yet intimately connected in the sense that grounding relations back metaphysical explanations, just as causal relations back causal explanations. But Separatists have not elaborated on the nature of the ‘backing’ relation. In this paper, I argue that backing is a form of (partial) grounding. In particular, backing has many of the properties commonly attributed to grounding, and taking backing to be partial grounding allows Separatists to make (...) the most of their position vis‐à‐vis their Unionist opponents. (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)

It is a truth universally acknowledged that a claim of metaphysical modality, in possession of good alethic standing, must be in want of an essentialist foundation. Or at least so say the advocates of the reductive-essence-first view, according to which all modality is to be reductively defined in terms of essence. Here, I contest this bit of current wisdom. In particular, I offer two puzzles—one concerning the essences of non-compossible, complementary entities, and a second involving entities whose essences are modally (...) ‘loaded’—that together strongly call into question the possibility of reducing modality to essence. (shrink)

It is a truth universally acknowledged that a claim of metaphysical modality, in possession of good alethic standing, must be in want of an essentialist foundation. Or at least so say the advocates of thereductive-essence-firstview, according to which all modality is to be reductively defined in terms of essence. Here, I contest this bit of current wisdom. In particular, I offer two puzzles—one concerning the essences of non-compossible, complementary entities, and a second involving entities whose essences are modally ‘loaded’—that together (...) strongly call into question the possibility of reducing modality to essence. (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)

Models are the coin of the realm in current philosophy of science, as they are in science itself, having replaced laws and theories as the primary strategy. Logical Positivism tried to erase the older neo-Kantian distinction between ideal constructions and reality. It returns in the case of models. Nowak’s concept of idealization pro- vided an alternative account of this issue. It construed model application as concretizations of hypotheses which improve by accounting for exceptions. This appears to account for physical law. (...) But it raises the problem of uniqueness: is the result unique, as physical law should be? Neo-Kantianism failed this test. Its solutions were circular justifications for claims of uniqueness. Nowak inherited the problem without resolving it. (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)

When a train operator tells us that our train will be late ‘because of delays’, their attempt at explanation fails because there is insufficient distance between the explanans and the explanandum. In this paper, I motivate and defend an account of ‘explanatory distance’, based on the idea that explanations give information about dependence. I show that this account offers useful resources for addressing problem cases, including recent debates about grounding explanation, and the historical case of Molière’s dormitive virtue.

Facts about explanation are often taken as a guide to facts about metaphysics. Such inferences from explanation to metaphysics typically rely on two elements: explanatory realism, the view that it is a characteristic and necessary aspect of explanation to give information about metaphysical structure, and a backing model of explanation, according to which explanations are backed by supporting relations, such as causation. Combining explanatory realism with a backing model permits conclusions about metaphysics to follow straightforwardly from facts about explanation, and (...) those who endorse backing models of explanation have typically endorsed explanatory realism. In light of recent critiques of explanatory realism, in this paper I explore the prospects for a backing model without explanatory realism. I articulate a non-realist backing model and argue that this model can satisfy most of the motivations for a realist backing model, and that it can also play a central and illuminating role in the practice of metaphysics. (shrink)

Explanatory realism is the position that all explanations give information about whatever metaphysically determines the explanandum. This view is popular and plays a central role in metaphysics, but in this paper I argue that explanatory realism is false. In Sect. 1 I introduce explanatory realism in its weak and strong versions, and discuss the argumentative work that explanatory realism is used for in contemporary metaphysics. In Sect. 2 I present a series of problem cases for explanatory realism, including explanation by (...) analogy, explanations involving rules, reduction ad absurdum explanations and certain statistical explanations. In Sect. 3 I consider and reject two modified versions of explanatory realism: the position that explanatory realism is true only of explanation in metaphysics, and the position that determinative explanation is the most complete form of explanation. In conclusion I consider explanatory antirealism and explanatory pluralism as alternatives to explanatory realism. (shrink)

Truths depend upon what there is. So say many. A significant subset of that group say more; they say that the best way—perhaps the only way—to make sense of the claim that truth depends upon what there is, is to adopt a form of truth-maker theory. Truth-maker theorists claim that truths require ground; what’s true must depend upon what there is. Typically, truth-maker theory isn’t seen as a theory about the nature of truth. Rather, it’s seen as a theory about (...) what truths must do. Truths must depend. Relatedly, the claim that truths require ‘truth-makers’, that is, some putative ontological grounds, is used as a methodological tool in metaphysics. Put somewhat crudely, fix on what truths there are and locate the truth-makers—if necessary, add to your ontology until you satisfy this demand for truth-makers. Truth-making is thus at once both narrow and broad. It’s narrow insofar as it’s not a theory (it’s not a claim) about the nature of truth, and yet it’s broad insofar as it enables us to determine our ontological commitments. We take this to be a two-part orthodoxy about truth-making. We reject the orthodoxy on both counts. (shrink)

Ontological dependence is a relation—or, more accurately, a family of relations—between entities or beings. For there are various ways in which one being may be said to depend upon one or more other beings, in a sense of “depend” that is distinctly metaphysical in character and that may be contrasted, thus, with various causal senses of this word. More specifically, a being may be said to depend, in such a sense, upon one or more other beings for its existence or (...) for its identity. Some varieties of ontological dependence may be analyzed in modal terms—that is, in terms of distinctly metaphysical notions of possibility and necessity—while others seem to demand an analysis in terms of the notion of essence. The latter varieties of ontological dependence may accordingly be called species of essential dependence. Notions of ontological dependence are frequently called upon by metaphysicians in their proposed analyses of other metaphysically important notions, such as the notion of substance. (shrink)

This paper is inspired by and develops on E. J. Lowe’s work, who writes in his book The Possibility of Metaphysics that ‘metaphysical possibility is an inescapable determinant of actuality’ (1998: 9). Metaphysics deals with possibilities – metaphysical possibilities – but is not able to determine what is actual without the help of empirical research. Accordingly, a delimitation of the space of possibilities is required. The resulting – controversial – picture is that we generally need to know whether something is (...) possible before we can know whether it is actual. In order to appreciate this picture, we need to understand Lowe’s slogan: ‘essence precedes existence’ (Lowe 2008: 40). This slogan has both an ontological and an epistemic reading. The ontological reading is related to the now familiar idea that essence grounds modality, as popularised by Kit Fine. The epistemic reading suggests that we can know the essence of some entity before we know whether or not that entity exists. However, this idea is often met with puzzlement and Lowe himself sadly passed away before he had a chance to clarify this framework. I will present the framework as I understand it, develop it on my own terms, and put forward a qualified defence of it. I will also illustrate how the framework can be put to use with a case study concerning the discovery of transuranic elements. (shrink)

This paper concerns Aristotle's kind‐crossing prohibition. My aim is twofold. I argue that the traditional accounts of the prohibition are subject to serious internal difficulties and should be questioned. According to these accounts, Aristotle's prohibition is based on the individuation of scientific disciplines and the general kind that a discipline is about, and it says that scientific demonstrations must not cross from one discipline, and corresponding kind, to another. I propose a very different account of the prohibition. The prohibition is (...) based on Aristotle's scientific and metaphysical essentialism, according to which a scientific demonstration must take as its starting point a set of per se properties of a subject, if these make up a single, unitary definition. The subject of demonstration here is a kind, although not the general kind associated with a discipline, but rather the particular kind that the particular demonstration is about. (shrink)

Separatists about grounding take explanations to be separate from their corresponding grounding-facts. Grounding-facts are supposed to underlie, or back, such explanations. However, the backing relation hasn’t received much attention in the literature. The aim of this paper is to provide an informative definition of backing. First, I examine two prominent proposals: backing as explaining (Kovacs 2017; 2019a) and backing as grounding (see Sjölin Wirling 2020). Finally, I put forward my own proposal. I argue that under plausible assumptions about the role (...) of backing and the nature of explanation, backing should be understood as a form of truthmaking, minimally construed. (shrink)

Are there any disjunctive properties—features of things such as being either red or round, or Nelson Goodman’s infamous example of being grue? As esoteric as the question may seem at first, central issues about the metaphysics of properties hinge upon its answer, such as whether reductive views about special science properties can handle the phenomenon of multiple realizability. A familiar argument for a negative answer is that disjunctive properties fail to guarantee that their instances are similar in some genuine respect. (...) In this paper, I respond to a novel, sophisticated version of this argument developed in recent work by Paul Audi. Along the way, I develop two new accounts of what it is for a property to be disjunctive—which rely on important recent work on the nature of essence and analysis—and clarify what one is committed to in believing that there are any disjunctive properties at all. (shrink)

Fine is widely thought to have refuted the simple modal account of essence, which takes the essential properties of a thing to be those it cannot exist without exemplifying. Yet, a number of philosophers have suggested resuscitating the simple modal account by appealing to distinctions akin to the distinction Lewis draws between sparse and abundant properties, treating only those in the former class as candidates for essentiality. I argue that ‘sparse modalism’ succumbs to counterexamples similar to those originally posed by (...) Fine, and fails to capture paradigmatic instances of essence involving abundant properties and relations. (shrink)

Traditional rationalist approaches to a priori epistemology have long been looked upon with suspicion for positing a faculty of rational intuition capable of knowing truths about the world apart from experience. Conceptualists have tried to fill this void with something more empirically tractable, arguing that we know a priori truths due to our understanding of concepts. All of this theorizing, however, has carried on while neglecting an entire cross section of such truths, the grounding claims that we know a priori. (...) Taking a priori grounding into account poses a significant challenge to conceptualist accounts of a priori knowledge, as it is unclear how merely understanding conceptual connections can account for knowledge of grounding. The fact that we do know some grounding truths a priori, then, is a significant mark in traditional rationalism’s favor, and the next frontier for those who aim to eliminate the mystery surrounding a priori knowledge. (shrink)

This article aims to provide an intelligible explication of the doctrine of Transubstantiation. A model of this doctrine is formulated within the formal, neo-Aristotelian metaphysical and ontological framework of Jonathan Lowe, termed Serious Essentialism and the Four-Category Ontology. Formulating the doctrine of Transubstantiation within this metaphysical and ontological framework will enable it to be explicated in a clear and consistent manner, and the oft-raised intelligibility question against it can be answered.

This paper argues that the semantic facts about ‘because’ are best explained via a metaphorical treatment of metaphysical explanation that treats causal explanation as explanation par excellence. Along the way, it defends a commitment to a unified causal sense of ‘because’ and offers a proprietary explanation of grounding skepticism. With the causal metaphor account of metaphysical explanation on the table, an extended discussion of the relationship between conceptual structure and metaphysics ends with a suggestion that the semantic facts about ‘because’ (...) tell against grounding-causation unity. (shrink)

This paper presents evidence that ‘because’ is importantly ambiguous between two closely related senses covering what are usually called causal explanations, on the one hand, and grounding or metaphysical explanations, on the other hand. To this end, it introduces the lexical categories of monosemy, polysemy and homonymy; describes a test for polysemy; and discusses the results of the test when applied to ‘because’. It also shows how to understand so-called hybrid explanations in light of the semantic facts established by the (...) analysis. (shrink)

Before God created did God have ideas in mind for particular things, kinds of things, properties of things, particular events, and laws of nature? At least since Augustine, theists have proposed differing answers. This paper is about a relatively recent theory, which holds that God constructs them when he creates the universe. James Ross, Brian Leftow, and Hugh McCann are its primary advocates. Since the shared features of their views do not pertain to the so-called “abstract objects” or to the (...) “necessary truths” of mathematics and logic, let us call this “divine possibility constructivism”, differentiating it from the theistic activism of Christopher Menzel and Thomas Morris and from the voluntarism of René Descartes—both of which could otherwise be construed as “constructivist”. According to Ross, Leftow, and McCann, God had nothing in mind before he created—which is to say that, before God created, God was not aware of possibilities for a universe. Rather, God’s being aware of any such possibilities is grounded only in God’s having constructed them ex nihilo. This paper shows that DPC is incoherent. (shrink)

Grounding is often glossed as metaphysical causation, yet no current theory of grounding looks remotely like a plausible treatment of causation. I propose to take the analogy between grounding and causation seriously, by providing an account of grounding in the image of causation, on the template of structural equation models for causation.

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)

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

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)

This essay focuses on a recently prominent notion of ground which is distinctive for how it links metaphysics to explanation. Ground is supposed to serve both as the common factor in diverse in virtue of questions as well as the structuring relation in the project of explaining how some phenomena are “built” from more fundamental phenomena. My aim is to provide an opinionated synopsis of this notion of ground without engaging with others. Ground, so understood, generally resists illumination by appeal (...) to more familiar models of explanation. Nevertheless, its distinctive explanatory and metaphysical aspects guide us on characterizing its explanatory logic and its metaphysical features. Some issues concerning the meta-question of what grounds ground are explored, as well as some recent skeptical challenges to ground. (shrink)

This article focuses on a case that expert practitioners count as an explanation: a mathematical account of Plateau’s laws for soap films. I argue that this example falls into a class of explanations that I call abstract explanations.explanations involve an appeal to a more abstract entity than the state of affairs being explained. I show that the abstract entity need not be causally relevant to the explanandum for its features to be explanatorily relevant. However, it remains unclear how to unify (...) abstract and causal explanations as instances of a single sort of thing. I conclude by examining the implications of the claim that explanations require objective dependence relations. If this claim is accepted, then there are several kinds of objective dependence relations. 1 Introduction2 A Case3 Abstract and Causal Explanations4 Recent Work on Mathematical Explanation5 Explanation and Dependence6 Conclusion. (shrink)

Kit Fine and Gideon Rosen propose to define constitutive essence in terms of ground-theoretic notions and some form of consequential essence. But we think that the Fine–Rosen proposal is a mistake. On the Fine–Rosen proposal, constitutive essence ends up including properties that, on the central notion of essence, are necessary but not essential. This is because consequential essence is closed under logical consequence, and the ability of logical consequence to add properties to an object’s consequential essence outstrips the ability of (...) ground-theoretic notions, as used in the Fine–Rosen proposal, to take those properties out. The necessary-but-not-essential properties that, on the Fine–Rosen proposal, end up in constitutive essence include the sorts of necessary-but-not-essential properties that, others have noted, end up in consequential essence. (shrink)

I develop a novel argument against the claim that ordinals are sets. In contrast to Benacerraf’s antireductionist argument, I make no use of covert epistemic assumptions. Instead, my argument uses considerations of ontological dependence. I draw on the datum that sets depend immediately and asymmetrically on their elements and argue that this datum is incompatible with reductionism, given plausible assumptions about the dependence profile of ordinals. In addition, I show that a structurally similar argument can be made against the claim (...) that cardinals are sets. (shrink)

Feminist philosophy has recently become recognised as a self-standing philosophical sub-discipline. Still, metaphysics has remained largely dismissive of feminist insights. Here I make the case for the value of feminist insights in metaphysics: taking them seriously makes a difference to our ontological theory choice and feminist philosophy can provide helpful methodological tools to regiment ontological theories. My examination goes as follows. Contemporary ontology is not done via conceptual analysis, but via quasi-scientific means. This takes different ontological positions to be competing (...) hypotheses about reality’s fundamental structure that are then assessed with a loose battery of criteria for theory choice. Such criteria make up the constitutive values of ontology. These values are distinguished from contextual values of a practice: the political and moral values embedded in the social context of inquiry.. (shrink)

In his influential article ‘Essence and Modality’, Fine proposes a definition of necessity in terms of the primitive essentialist notion ‘true in virtue of the nature of’. Fine’s proposal is suggestive, but it admits of different interpretations, leaving it unsettled what the precise formulation of an Essentialist definition of necessity should be. In this paper, four different versions of the definition are discussed: a singular, a plural reading, and an existential variant of Fine’s original suggestion and an alternative version proposed (...) by Correia which is not based on Fine’s primitive essentialist notion. The first main point of the paper is that the singular reading is untenable. The second that given plausible background assumptions, the remaining three definitions are extensionally equivalent. The third is that, this equivalence notwithstanding, Essentialists should adopt Correia’s version of the definition, since both the existential variant, which has de facto been adopted as the standard version of the definition in the literature, and the plural reading suffer from problems connected to Fine’s primitive essentialist notion. (shrink)

This paper motivates and defends a principle which captures a systematic connection between essence, truth, and grounding. It says that if a proposition expresses an essential truth, i.e., if it is true in virtue of the nature of some objects, then there are grounds for its truth which involve these objects. Together with the assumption that a fact can only be grounded in facts which are relevant to it, this principle is then applied in an argument against the monotonicity of (...) the Essentialist notion ‘true in virtue of the nature of’. (shrink)

I defend a novel view of how social kinds (e.g., money, women, permanent residents) depend on our mental states. In particular, I argue that social kinds depend on our mental states in the following sense: it is essential to them that they exist (partially) because certain mental states exist. This analysis is meant to capture the very general way in which all social kinds depend on our mental states. However, my view is that particular social kinds also depend on our (...) mental states in more specific ways—some of them causal, others metaphysical. I defend a minimal but metaphysically important notion of essence—one that takes as primary that the essential properties of a kind constitute its identity—and argue that this minimal notion of essence is all that is needed to vindicate my claim that social kinds are essentially mind-dependent. (shrink)

Naïve realism (also called ‘relationalism’ or ‘object view’) is becoming increasingly popular, but the specific outline of its commitments remains often underspecified by proponents and misunderstood by critics. Naïve realism is associated with two claims, both concerning genuine, veridical perceptual experience (where this excludes hallucinations). Constitutive Claim (CC): The phenomenal character of perception is (partly) constituted by the mind-independent objects in one’s surrounding and their properties. Relational Claim (RC): Perception is a relation to mind-independent objects in the environment and their (...) properties. Some philosophers use the two claims interchangeably while talking about naïve realism, while others use only one or the other, although they do not explicitly discuss if the other claim is also a core commitment of naïve realism, or if naïve realism can be held without the other claim. This raises the question of how RC and CC relate to one another, together with the most pressing question of what each claim ultimately commits one to. After discussing the shortcomings of alternative interpretations, I argue that naïve realism should be understood as committed to, first and foremost, RC. This should be understood as a claim about the phenomenal character of perception, rather than about its nature, structure or essence (whatever that means). CC, on the other hand, should be understood as a corollary of RC. This doesn’t only offer a better characterisation of how naïve realists understand phenomenal character: it also helps us understand how we can simultaneously claim that the object of perception is a constitutive element of perception, while also allowing for it to play a causal role in determining perception. (shrink)

Kit Fine’s arguments in Essence and Modality are widely accepted as being a decisive blow against modal essentialism. A selection of replies exist that have done little to counter the general view that modally construed essence is out of touch with what we really mean when we make essentialist claims. I argue that Fine’s arguments fail to strike a decisive blow, and I suggest a new interpretation of the debate that shows why Fine’s arguments fall short of achieving their goal.

This paper develops a novel theory of abstraction—what we call collective abstraction. The theory solves a notorious problem for noneliminative structuralism. The noneliminative structuralist holds that in addition to various isomorphic systems there is a pure structure that can be abstracted from each of these systems; but existing accounts of abstraction fail for nonrigid systems like the complex numbers. The problem with the existing accounts is that they attempt to define a unique abstraction operation. The theory of collective abstraction instead (...) simultaneously defines a collection of distinct abstraction operations, each of which maps a system to its corresponding pure structure. The theory is precisely formulated in an essentialist language. This allows us to throw new light on the question to what extent structuralists are committed to symmetric dependence. Finally, we apply the theory of collective abstraction to solve a problem about converse relations. (shrink)