In this paper I address two concerns with Kelly Trogdon’s grounding mechanism view, i.e. the idea that metaphysical explanation can be modeled on causal-mechanical explanation. The first concern threatens to undermine the unity that grounding-mechanical explanations imposes on metaphysical explanation; and the second concern requires the grounding mechanic to put forth a formal condition on grounding-mechanical models. After having discussed both of these, I provide a solution to the first and argue that the second concern is unwarranted.

In this essay, I propose a functionalist theory of grounding (functionalist-grounding). Specifically, I argue that grounding is a second-order phenomenon that is realized by relations that play the noncausal explanatoriness role. I also show that functionalist-grounding can deal with a powerful challenge. Appeals to explanatory unificationism have been made to argue that the success of noncausal explanations does not depend on the existence of grounding relations. Against this, I argue that a systematization involving functionalist-grounding is superior to its anti-relational counterpart.

ABSTRACT On the traditional picture, accidents must inhere in substances in order to exist. Berkeley famously argues that a particular class of accidents—the sensible qualities—are mere ideas—entities that depend for their existence on minds. To defend this view, Berkeley provides us with an elegant alternative to the traditional framework: sensible qualities depend on a mind, not in virtue of inhering in it, but in virtue of being perceived by it. This metaphysical insight, once correctly understood, gives us the resources to (...) solve a central problem that still plagues the philosophy of perception—the problem of how, given the power of the mind to create phenomenally rich experiences, ordinary perception can nonetheless be said to acquaint us with the mind-independent world. (shrink)

Many philosophers have been attracted to the idea of using the logical form of a true sentence as a guide to the metaphysical grounds of the fact stated by that sentence. This paper looks at a particular instance of that idea: the widely accepted principle that disjunctions are grounded in their true disjuncts. I will argue that an unrestricted version of this principle has several problematic consequences and that it’s not obvious how the principle might be restricted in order to (...) avoid them. My suggestion is that, instead of trying to restrict the principle, we should distinguish between metaphysical and conceptual grounds and take the principle to apply exclusively to the latter. This suggestion, if correct, carries over to other prominent attempts at using logical form as a guide to ground. (shrink)

Philosophers of science often assume that logically equivalent theories are theoretically equivalent. I argue that two theses, anti-exceptionalism about logic (which says, roughly, that logic is not a priori, that it is revisable, and that it is not special or set apart from other human inquiry) and logical realism (which says, roughly, that differences in logic reflect genuine metaphysical differences in the world), make trouble for both this commitment and the closely related commitment to theories being closed under logical consequence. (...) I provide three arguments. The first two show that anti-exceptionalism about logic provides an epistemic challenge to both the closure and the equivalence claims; the third shows that logical realism provides a metaphysical challenge to both the closure and the equivalence claims. Along the way, I show that there are important methodological upshots for metaphysicians and philosophers of logic. In particular, there are lessons to be drawn about certain conceptions of naturalism as constraining the possibilities for metaphysics and the philosophy of logic. (shrink)

Humeans identify the laws of nature with universal generalizations that systematize rather than govern the particular matters of fact. Humeanism is frequently accused of circularity: laws explain their instances, but Humean laws are, in turn, grounded by those instances. Unfortunately, this argument trades on controversial assumptions about grounding and explanation that Humeans routinely reject. However, recently an ostensibly semantic circularity objection has been offered, which seeks to avoid reading such assumptions into the Humean view. This paper argues that the new (...) semantic version tacitly relies on the familiar metaphysical one and, therefore, it ultimately brings nothing new to the table. (shrink)

According to Humeanism about the laws, the laws of nature are nothing over and above certain kinds of regularities about particular facts. Humeanism has often been accused of circularity: according to scientific practice laws often explain their instances, but on the Humean view they also reduce to the mosaic, which includes those instances. In this paper I formulate the circularity problem in a way that avoids a number of controversial assumptions routinely taken for granted in the literature, and against which (...) many extant responses are therefore ineffective. I then propose a solution that denies the alleged Humean commitment that laws are explained by their instances. The solution satisfies three desiderata that other solutions don’t: it provides independent motivation against the idea that Humean laws are explained by their instances; it specifies the sense in which Humean laws are nonetheless “nothing over and above” their instances; and it gives an alternative account of what does explain the laws, if not their instances. This solution, I will argue, is not only the simplest but also the oldest one: it appeals only to tools and theses whose first appearance predates the earliest statements of the circularity problem itself. (shrink)

According to a longstanding philosophical tradition dating back to Aristotle, certain proofs do not only certify the truth of their conclusion but also explain it. Lately, much effort is being devo...

The notion of grounding is usually conceived as an objective and explanatory relation. It connects two relata if one—the ground—determines or explains the other—the consequence. In the contemporary literature on grounding, much effort has been devoted to logically characterize the formal aspects of grounding, but a major hard problem remains: defining suitable grounding principles for universal and existential formulae. Indeed, several grounding principles for quantified formulae have been proposed, but all of them are exposed to paradoxes in some very natural (...) contexts of application. We introduce in this paper a first-order formal system that captures the notion of grounding and avoids the paradoxes in a novel and non-trivial way. The system we present formally develops Bolzano’s ideas on grounding by employing Hilbert’s ε-terms and an adapted version of Fine’s theory of arbitrary objects. (shrink)

General discussion of grounding, including its formal features, relations to other notions, and applications. (Originally published 2014; revised 2021).