This paper is concerned with the relation between two important metaphysical notions, ‘truthmaking’ and ‘grounding’. I begin by considering various ways in which truthmaking could be explicated in terms of grounding, noting both strengths and weaknesses of these analyses. I go on to articulate a problem for any attempt to analyze truthmaking in terms of a generic and primitive notion of grounding based on differences we find among examples of grounding. Finally, I outline a more complex view of how truthmaking (...) and grounding could relate. On the view explored, truthmaking is a species of grounding differentiated from other species of grounding by the unique form of dependence it involves. (shrink)

The aim of this paper is to bring recent work on metaphysical grounding to bear on the phenomenon of social construction. It is argued that grounding can be used to analyze social construction and that the grounding framework is helpful for articulating various claims and commitments of social constructionists, especially about social identities, e.g., gender and race. The paper also responds to a number of objections that have been leveled against the application of grounding to social construction from Elizabeth Barnes, (...) Mari Mikkola, and Jessica Wilson. (shrink)

The goal of this paper is to make headway on a metaphysics of social construction. In recent work, I’ve argued that social construction should be understood in terms of metaphysical grounding. However, I agree with grounding skeptics like Wilson that bare claims about what grounds what are insufficient for capturing, with fine enough grain, metaphysical dependence structures. To that end, I develop a view on which the social construction of human social kinds is a kind of realization relation. Social kinds, (...) I argue, are multiply realizable kinds. I depart from the Wilson by further arguing that an appeal to grounding is not otiose when it comes to social construction. Social construction, I claim, belongs to the “big-G” Grounding genus, but it is the specific “small-g” relation of realization at work in cases of human kind social construction. (shrink)

Identifying plausible truthmakers for negative truths has been a serious and perennial problem for truthmaker theory. I argue here that negative truths are indeed made true but not in the way that positive truths are. I rely on a distinction between “existence-independence” and “variation-independence” drawn by Hoffman and Horvath to characterize the unique form of dependence negative truths exhibit on reality. The notion of variation-independence is then used to motivate a principle of truthmaking for contingent negative truths.

Early twentieth-century philosophers of perception presented their naïve realist views of perceptual experience in anti-Kantian terms. For they took naïve realism about perceptual experience to be incompatible with Kant’s claims about the way the understanding is necessarily involved in perceptual consciousness. This essay seeks to situate a naïve realist account of visual experience within a recognisably Kantian framework by arguing that a naïve realist account of visual experience is compatible with the claim that the understanding is necessarily involved in the (...) perceptual experience of those rational beings with discursive intellects. The resultant view is middle way between recent conceptualist and non-conceptualist interpretations of Kant, holding that the understanding is necessarily involved in the kind of perceptual consciousness that we, as rational beings, enjoy whilst allowing that the relations of apprehension which constitute perceptual consciousness are independent of acts of the understanding. (shrink)

The intuitive distinction between natural and unnatural properties (e.g., green vs. grue) informs our theorizing not only in fundamental physics, but also in non-fundamental domains. This paper develops a reductive account of this broad notion of naturalness that covers non-fundamental properties: for a property to be natural, I propose, is for it to figure in a law of nature. After motivating the account, I defend it from a potential circularity charge. I argue that a suitably broad notion of lawhood can (...) be defined independently of naturalness, if we help ourselves to the notion of a fundamental physical property. I end by showing how the notions of naturalness and lawhood that my account delivers help illuminate a number of other important philosophical notions, like causation, reference/meaning, and rational induction. (shrink)

The central claim of this paper is that the Aristotelian metaphysics of objects is incompatible with physicalism. This includes the contemporary variant of Aristotelianism I call ‘sortalism’. The core reason is that an object’s identity as an instance of a (natural) kind, as well as its consequent persistence conditions, is neither physically fundamental nor determined by what is physically fundamental. The argument for the latter appeals to what is commonly known as ‘the grounding problem’; in particular I argue that the (...) physicalist has no solution, and this requires that the physicalist jettison the traditional concept of objects having kind-specific identity and persistence conditions. (shrink)

What is it for an individual thing in the natural world—a rock, a mouse, a family or a planet—to be made of other things—crystals, organs, animals, soil, water, or dirt? Rocks, mice, families and planets are composites, but how are we to understand the relation that holds between these composites and their component parts? My aim is to offer a new account of this relation, which I shall call corporeal composition. A central claim of my account is that corporeal composition (...) is grounded in causal relations between components. I will show how this claim, combined with a minimalist approach to causation—that causation is not one thing, but many—entails a position I call compositional minimalism—that composition is not one thing, but many. (shrink)

Philosophers have observed that metaphysical necessity appears to be a true or real or genuine form of necessity while epistemic necessity does not. Similarly, natural necessity appears genuine while deontic necessity does not. But what is it for a form of necessity to be genuine? I defend an account of genuine necessity in explanatory terms. The genuine forms of necessity, I argue, are those that provide what I call necessitarianexplanation. I discuss the relationship of necessitarian explanation to ground.

Recent years have seen an explosion of interest in metaphysical explanation, and philosophers have fixed on the notion of ground as the conceptual tool with which such explanation should be investigated. I will argue that this focus on ground is myopic and that some metaphysical explanations that involve the essences of things cannot be understood in terms of ground. Such ‘essentialist’ explanation is of interest, not only for its ubiquity in philosophy, but for its being in a sense an ultimate (...) form of explanation. I give an account of the sense in which such explanation is ultimate and support it by defending what I call the inessentiality of essence. I close by suggesting that this principle is the key to understanding why essentialist explanations can seem so satisfying. (shrink)

To be an Aristotelian about universals is to hold that universals depend for their existence on their exemplifiers. An argument against Aristotelianism about universals has recently been put forward by Costa to the effect that a contradiction follows from assuming a certain formulation of Aristotelianism together with some highly plausible principles governing the notions employed in that formulation. In this paper, we provide different ways of articulating the Aristotelian position which, while being related with some of the main contributions in (...) the current Aristotelian tradition, do not fall prey to the argument. (shrink)

What grounds facts of ground? Some metaphysicians invoke fundamental grounding laws to answer this question. These are general principles that link grounded facts to their grounds. The main business of this paper is to advance the debate about the metaphysics of grounding laws by exploring the prospects of a plausible yet underexplored minimalist account, one which is structurally analogous to a familiar Humean conception of natural laws. In the positive part of this paper, I articulate such a novel view and (...) argue for its merits. The minimalist account shuns essences and takes laws to be unmysterious elite regularities. Therefore, it is a promising alternative for theorists of ground who spurn the acceptance of essentialism about the grounding laws but think that these are needed in our theorizing. In the negative part, I argue that widely accepted principles of ground, coupled with the tenets of minimalism, jeopardize the fundamentality of the grounding laws. I discuss two immediately available and prima facie appealing strategies to evade this threat. However, I show that both have undesirable theoretical costs. I conclude by casting doubts on whether the benefits of a minimalist account of fundamental grounding laws outweigh such costs. (shrink)

Grounding is claimed to offer a promising characterization of the fundamental as thatwhich is ungrounded. Detractors of this view argue that there can be fundamental and yet mutuallygrounded entities. Such a possibility undermines the denition of the fundamental as theungrounded. I aim to show, however, that the possibility of fundamental mutually grounded entitiesdoes not force us to renounce the prospects of characterizing fundamentality in terms of ground-ing. To accomplish this aim, I defend a grounding-based view that accommodates fundamentalmutually grounded entities (...) straightforwardly. My denition of fundamentality is similar to, butimportantly different from, one that Karen Bennett discusses. I conclude by resisting two objec-tions raised by Jessica Wilson against the Bennettian framework that also target theproposed view. (shrink)

In contemporary metaphysics, the doctrine that the fundamental facts are those which are wholly ungrounded is the received view or something near enough. Against this radical brutalism, several metaphysicians argued in favour of the existence of fundamental facts that are moderately brute or merely partially grounded. However, the arguments for moderately brute facts rely on controversial metaphysical scenarios. This paper aims to counteract the tendency in favour of radical brutalism on scientific grounds. It does so by showing that naturalistic metaphysicians (...) can appeal to plausible considerations from physical theory to establish the existence of moderately brute facts. But should the naturalistic metaphysician embrace moderate brutalism, namely the view that the fundamental facts are those which are merely partially ungrounded? Here I argue for a negative answer, recommending a more inclusive pluralism about the kinds of brute facts we can expect to find in nature. (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)

There is a close systematic relationship between panentheism, as a metaphysical theory about the relation between God and the world, and transhumanism, the ethical demand to use the means of the applied sciences to enhance both human nature and the environment. This relationship between panentheism and transhumanism provides a ‘cosmic’ solution to the problem of evil: on panentheistic premises, the history of the world is the one infinite life of God, and we are part of the one infinite divine being. (...) We ourselves are therefore responsible for the future development of the life of the divine being. We should therefore use the means provided by the natural sciences to develop the history of the world in such a way that the existence of evil shall be overcome and shall no longer be part of the divine being in whom we move and live and have our being. The metaphysics of panentheism leads to the ethics of transhumanism. (shrink)

Philosophers have applied the framework of constitutive grounds to make sense of the disagreement between subjectivism and objectivism. The framework understands the two theories as being involved in a disagreement about the extent to which value is determined by attitudes. Although the framework affords us with some useful observations about how this should be interpreted, the question how value can be determined by attitudes in the first place is left largely unanswered. Here we explore the benefits of a positive interpretation (...) which aims to address this oversight and make the framework more informative. This interpretation, which is inspired by the recent work of Schroeder and Sobel, claims that the relevant sense in which value can be determined by attitudes is discovered by seeing how facts can be endowed with the normative property of being a reason. We argue that this interpretation significantly deepens our understanding of the disagreement between subjectivism and objectivism. (shrink)

Many questions about wellbeing involve metaphysical dependence. Does wellbeing depend on minds? Is wellbeing determined by distinct sorts of things? Is it determined differently for different subjects? However, we should distinguish two axes of dependence. First, there are the grounds that generate value. Second, there are the connections between the grounds and value which make it so that those grounds generate that value. Given these distinct axes of dependence, there are distinct dimensions to questions about the dependence of wellbeing. In (...) this paper, I offer a view of wellbeing that gives different answers with respect to these different dimensions. The view is subjectivist about connections but objectivist about grounds. Pluralist about grounds but monist about connections. Invariabilist about connections but variabilist about grounds. Thus, the view offers a simple account that captures the complexity of wellbeing. (shrink)

A common view in the metaphysics of ground is that all grounding facts are grounded. This generates an infinite regress of ever more grounding of grounding facts, but most grounding theorists take the regress to be harmless. However, in this paper, I argue that the regress is in fact vicious, therefore some grounding facts are ungrounded. Since the regress appears to fall out of two plausible principles of fundamentality, I offer a new interpretation of them that allows for ungrounded grounding (...) facts. (shrink)

A central tension shaping metaethical inquiry is that normativity appears to be subjective yet real, where it’s difficult to reconcile these aspects. On the one hand, normativity pertains to our actions and attitudes. On the other, normativity appears to be real in a way that precludes it from being a mere figment of those actions and attitudes. In this paper, I argue that normativity is indeed both subjective and real. I do so by way of treating it as a special (...) sort of artifact, where artifacts are mind-dependent yet nevertheless can carve at the joints of reality. In particular, I argue that the properties of being a reason and being valuable for are grounded in attitudes yet are still absolutely structural. (shrink)

An argument going back to Russell shows that the view that propositions are structured is inconsistent in standard type theories. Here, it is shown that such type theories may nevertheless provide entities which can serve as proxies for structured propositions. As an illustration, such proxies are applied to the case of grounding, as standard views of grounding require a degree of propositional structure which suffices for a version of Russell’s argument. While this application solves some of the problems grounding faces, (...) it introduces problematic limitations: it becomes impossible to quantify unrestrictedly over the relata of ground. The proposed proxies may thus not save grounding, but they shed light on what exactly Russell’s argument does and does not show. (shrink)

Existential claims are widely held to be grounded in their true instances. However, this principle is shown to be problematic by arguments due to Kit Fine. Stephan Krämer has given an especially simple form of such an argument using propositional quantifiers. This note shows that even if a schematic principle of existential grounds for propositional quantifiers has to be restricted, this does not immediately apply to a corresponding non-schematic principle in higher-order logic.

Megarian Actualism is the denial of unmanifesting powers. Aristotle called such a view ‘buffoonery’ and dispositionalists have provided compelling reasons for the contrary platitude that powers need not manifest. Even so, drawing on extant treatments of quantitative powers I’ll suggest that many of the powers which feature in quantitative lawlike equations are plausibly interpreted as Megarian. This is because the powers described by such equations are best understood as being directed towards all the values of exhaustive manifestation variables. I’ll discuss (...) the prospects for generalising these Megarian characteristics to powers not typically represented in strict quantitative terms. The result will be a strong basis for a scientifically informed and plausible dispositionalist account: Megarian Variable Actualism. (shrink)

We give a simple sequent calculus presentation of R.B. Angell’s logic of analytic containment, recently championed by Kit Fine as a plausible logic of partial content.

I argue in favour of object languages of logics to be diversely-generated, that is, not having identical immediate sub-formulas. In addition to diversely-generated object languages constituting a more appropriate abstraction of the use of sentential connectives in natural language, I show that such language lead to a simplifications w.r.t. some specific issues: the identity of proofs, the factual equivalence and the Mingle axiom in Relevance logics. I also point out that some of the properties of classical logic based on freely-generated (...) object languagest. (shrink)

The paper presents a plan for negation, proposing a paradigm shift from the Australian plan for negation, leading to a family of contra-classical logics. The two main ideas are the following: Instead of shifting points of evaluation (in a frame), shift the evaluated formula. Introduce an incompatibility set for every atomic formula, extended to any compound formula, and impose the condition on valuations that a formula evaluates to true iff all the formulas in its incompatibility set evaluate to false. Thus, (...) atomic sentences are not independent in their truth-values. The resulting negation, in addition to excluding the negated formula, provides a positive alternative to the negated formula. I also present a sound and complete natural deduction proof systems for those logics. In addition, the kind of negation considered in this paper is shown to provide an innovative notion of grounding negation. (shrink)

Instead of the question, ‘do we have an obligation to obey the law?,’ we should first ask the more modest question, ‘do we have reasons to obey the law?’ This paper offers a new account of the notion of the content-independence of legal reasons in terms of the grounding relation. That account is then used to mount a defense of the claim that we do indeed have content-independent moral reasons to obey the law (because it is the law), and that (...) these reasons, very plausibly, often amount to an obligation to so act. (shrink)

Truthmaker monism is the view that the one and only truthmaker is the world. Despite its unpopularity, this view has recently received an admirable defence by Schaffer :307–324, 2010b). Its main defect, I argue, is that it omits partial truthmakers. If we omit partial truthmakers, we lose the intimate connection between a truth and its truthmaker. I further argue that the notion of a minimal truthmaker should be the key notion that plays the role of constraining ontology and that truthmaker (...) monism is not necessary for an appropriate solution to the problem of finding truthmakers for negative truths. I conclude that we should reject truthmaker monism once and for all. (shrink)

Priority Theory is an increasingly popular view in metaphysics. By seeing metaphysical questions as primarily concerned with what explains what, instead of merely what exists, it promises not only an interesting approach to traditional metaphysical issues but also the resolution of some outstanding disputes. In a recent paper, Louis deRosset argues that Priority Theory isn’t up to the task: Priority Theory is committed to there being explanations that violate a formal constraint on any adequate explanation. This paper critically examines deRosset’s (...) challenge to Priority Theory. We argue that deRosset’s challenge ultimately fails: his proposed constraint on explanation is neither well-motivated nor a general constraint. Nonetheless, lurking behind his criticism is a deep problem for prominent ways of developing Priority Theory, a problem which we develop. (shrink)

Each thing is fundamental. Not only is no thing any more or less real than any other, but no thing is prior to another in any robust ontological sense. Thus, no thing can explain the very existence of another, nor account for how another is what it is. I reach this surprising conclusion by undermining two important positions in contemporary metaphysics: hylomorphism and hierarchical views employing so-called building relations, such as grounding. The paper has three main parts. First, I observe (...) hylomorphism is alleged by its proponents to solve various philosophical problems. However, I demonstrate, in light of a compelling account of explanation, that these problems are actually demands to explain what cannot be but inexplicable. Second, I show how my argument against hylomorphism illuminates an account of the essence of a thing, thereby providing insight into what it is to exist. This indicates what a thing, in the most general sense, must be and a correlative account of the structure in reality. Third, I argue that this account of structure is incompatible not only with hylomorphism, but also with any hierarchical view of reality. Although hylomorphism and the latter views are quite different, representing distinct philosophical traditions, I maintain they share untenable accounts of structure and fundamentality and so should be rejected on the same grounds. (shrink)

I propose formulating identity criteria as generic statements of ground, thereby avoiding objections that have been made to the more usual formulations.

Since the publication of Truth, Paul Horwich’s ‘Minimalism’ has become the paradigm of what goes under the label ‘the deflationary conception of truth’. Despite the many theoretical virtues of Horwich’s minimalism, it is usually contended that it cannot fully account for the normative role that truth plays in enquiry. As I see it, this concern amounts to several challenges. One such challenge—call it the axiological challenge—is about whether deflationists have the theoretical resources to explain the value of truth. Some philosophers (...) have argued that they do not. The thought is that by being valuable in the way it is, truth plays a non-trivial explanatory role with respect to core phenomena of enquiry. In order to account for this aspect of truth, the challenge goes, we need to inflate truth’s nature to an extent incompatible with core tenets of the minimalist conception. In this paper, I first provide some clarifications of what we mean exactly when we say that truth is valuable. By borrowing important distinction from the current debate in axiology, I elaborate a framework within which to conduct investigations into the value of truth. With reference to Horwich’s discussion of the issue, I then discuss the link between questions concerning the explanatory role of truth and the issue of its metaphysical inflation. I conclude by briefly exploring a few strategies on behalf of minimalists to address the axiological challenge. (shrink)

In Truth and Objectivity, Crispin Wright argues that because truth is a distinctively normative property, it cannot be as metaphysically insubstantive as deflationists claim.1 This argument has been taken, together with the scope problem,2 as one of the main motivations for alethic pluralism.3 We offer a reconstruction of Wright’s Inflationary Argument (henceforth IA) aimed at highlighting what are the steps required to establish its inflationary conclusion. We argue that if a certain metaphysical and epistemological view of a given subject matter (...) is accepted, a local counterexample to IA can be constructed. We focus on the domain of basic taste and we develop two variants of a subjectivist and relativist metaphysics and epistemology that seems palatable in that domain. Although we undertake no commitment to this being the right metaphysical cum epistemological package for basic taste, we contend that if the metaphysics and the epistemology of basic taste are understood along these lines, they call for a truth property whose nature is not distinctively normative—contra what IA predicts. This result shows that the success of IA requires certain substantial metaphysical and epistemological principles and that, consequently, a proper assessment of IA cannot avoid taking a stance on the metaphysics and the epistemology of the domain where it is claimed to be successful. Although we conjecture that IA might succeed in other domains, in this paper we don’t take a stand on this issue. We conclude by briefly discussing the significance of this result for the debate on alethic pluralism. (shrink)

In his insightful and challenging paper, Jonathan Schaffer argues against a distinction I make in The Ant Trap (Epstein 2015) and related articles. I argue that in addition to the widely discussed “grounding” relation, there is a different kind of metaphysical determination I name “anchoring.” Grounding and anchoring are distinct, and both need to be a part of full explanations of how facts are metaphysically determined. Schaffer argues instead that anchoring is a species of grounding. The crux of his argument (...) comes in the last sections of his paper, in his discussion of “exportation,” the relations strategy, and the definitions strategy. I am inclined to agree that Schaffer’s interesting strategies offer the best choices for the philosopher who wants to insist that anchoring is a species of grounding. But both, I will argue, are fatally flawed. I do not take the separation of anchors from grounds lightly, but find the evidence in its favor overwhelming. And once the distinction is made, I find anchoring to be a powerful practical tool in metaphysics. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 768-781, November 2019. (shrink)

I present an argument for the view that laws ground their instances. I then outline two important consequences that follow if we accept the conclusion of this argument. First, the claim that laws ground their instances threatens to undermine a prominent recent attempt to make sense of the explanatory power of Humean laws by distinguishing between metaphysical and scientific explanation. And second, the claim that laws ground their instances gives rise to a novel argument against the view that grounding relations (...) are metaphysically necessary. (shrink)

It is necessarily true that water is H2O, but it is a contingent fact that there is any water at all. Water therefore seems ill suited to ground the necessary truth that water is H2O. One view traditionally attributed to Scotus and Henry of Ghent was that while water is contingent, the essence of water is necessary; hence, the essence of water can ground the so-called eternal truth that water is H2O. Francisco Suárez rejects this view on the grounds that (...) it contradicts the Christian doctrine of creation, according to which everything other than God was contingently created in time. Suárez’s own view of the eternal truths has proven elusive to commentators, but I argue that Suárez ultimately endorses a version of the view he rejects: essences ground the eternal truths. But this raises several puzzles: how is Suárez’s view distinct from the views traditionally ascribed to Scotus and Henry? How does Suárez’s view escape the argument from creation, which Suárez raises against his opponents? I argue that Suárez distinguishes between his view and his opponents’ view by saying that essences have “extrinsic being,” whereas his opponents claim that essences have “intrinsic being.” The distinction between intrinsic and extrinsic being has not received much attention, but I argue that it marks an important fault line in scholastic thinking about the ontological status of non-existents. I argue that the notion of extrinsic being can be explicated in terms of ontological pluralism and grounding. The notion of extrinsic being helps differentiate Suárez’s view from his Scotistic and Henrician opponents, and it allows Suárez to respond to the creation argument he raises against his opponents. On my reading, Suárez’s solution to the problem of eternal truths turns out to be both highly original and philosophically satisfying. (shrink)

The aim of this editorial introduction is twofold. First, Sects. 1–8 offer a critical introduction to the metaphysical character of physicalism. In those sections, I present and evaluate different ways in which proponents of physicalism have made explicit the metaphysical dependence that is said to hold between the non-physical and the physical. Some of these accounts are found to be problematic; others are shown to be somewhat more promising. In the end, some important lessons are drawn and different options for (...) physicalists are presented. Second, in Sect.9, the six papers that comprise the special issue are introduced and summarized. (shrink)

This paper presents a puzzle about the logic of real definition. I demonstrate that five principles concerning definition—that it is coextensional and irreflexive, that it applies to its cases, that it permits expansion, and that it is itself defined—are logically incompatible. I then explore the advantages and disadvantages of each principle—one of which must be rejected to restore consistency.

Is part of a perfectly natural, or fundamental, relation? Philosophers have been hesitant to take a stand on this issue. One reason for this hesitancy is the worry that, if parthood is perfectly natural, then the perfectly natural properties and relations are not suitably “independent” of one another. In this paper, I argue that parthood is a perfectly natural relation. In so doing, I argue that this “independence” worry is unfounded. I conclude by noting some consequences of the naturalness of (...) parthood. (shrink)

It is widely thought that grounding is a hyperintensional phenomenon. Unfortunately, the term ‘hyperintensionality’ has been doing double-duty, picking out two distinct phenomena. This paper clears up this conceptual confusion. We call the two resulting notions hyperintensionalityGRND and hyperintensionalityTRAD. While it is clear that grounding is hyperintensionalGRND, the interesting question is whether it is hyperintensionalTRAD. We argue that given well-accepted constraints on the logical form of grounding, to wit, that grounding is irreflexive and asymmetric, grounding is hyperintensionalTRAD only if one (...) endorses a sentential operator view of grounding. We argue that proponents of the sentential operator view will need to distinguish two importantly different kinds of hyperintensionalityTRAD—weak and strong—and we offer them a way to do so. (shrink)

A long-standing charge of circularity against regularity accounts of laws has recently seen a surge of renewed interest. The difficulty is that we appeal to laws to explain their worldly instances, but if these laws are descriptions of regularities in the instances then they are explained by those very instances. By the transitivity of explanation, we reach an absurd conclusion: instances of the laws explain themselves. While drawing a distinction between metaphysical and scientific explanations merely modifies the challenge rather than (...) resolving it, I argue that it does point us towards an attractive solution. According to Humeanism, the most prominent form of the regularity view, laws capture information about important patterns in the phenomena. By invoking laws in scientific explanations, Humeans are showing how a given explanandum is subsumed into a more general pattern. Doing so both undermines a principle of transitivity that plays a crucial role in the circularity argument and draws out a central feature of the Humean approach to scientific explanation. (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)

We define the term ⌜\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\ulcorner $$\end{document}a set T of sentential-logical formulae grounds a sentential-logical formula A from a syntactic point of view⌝\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\urcorner $$\end{document} in such a way that A is a syntactic sentential-logical consequence of T, and specific additional syntactic requirements regarding T and A are fulfilled. These additional requirements are developed strictly within the syntactics of sentential-logical languages, the three most important (...) being new, namely: to be atomically minimal, to be minimal in degree, and not to be conjunction-like. Our approach is independent of any specific sentential-logical calculus. (shrink)

Gideon Rosen and Robert Schwartzkopff have independently suggested (variants of) the following claim, which is a varian of Hume's Principle: -/- When the number of Fs is identical to the number of Gs, this fact is grounded by the fact that there is a one-to-one correspondence between the Fs and Gs. -/- My paper is a detailed critique of the proposal. I don't find any decisive refutation of the proposal. At the same time, it has some consequences which many will (...) find objectionable. (shrink)

This paper has two components. The first, longer component (sec. 1-6) is a critical exposition of Armstrong’s views about the metaphysics of mathematics, as they are presented in Truth and Truthmakers and Sketch for a Systematic Metaphysics. In particular, I discuss Armstrong’s views about the nature of the cardinal numbers, and his account of how modal truths are made true. In the second component of the paper (sec. 7), which is shorter and more tentative, I sketch an alternative account of (...) the metaphysics of mathematics. I suggest we insist that mathematical truths have physical truthmakers, without insisting that mathematical objects themselves are part of the physical world. (shrink)

We discuss abstraction principles in the context of modal and temporal logic. It is argued that abstractionism conflicts with both serious presentism and serious actualism.

A number of philosophers think that grounding is, in some sense, well-founded. This thesis, however, is not always articulated precisely, nor is there a consensus in the literature as to how it should be characterized. In what follows, I consider several principles that one might have in mind when asserting that grounding is well-founded, and I argue that one of these principles, which I call ‘full foundations’, best captures the relevant claim. My argument is by the process of elimination. For (...) each of the inadequate principles, I illustrate its inadequacy by showing either that it excludes cases that should not be ruled out by a well-foundedness axiom for grounding, or that it admits cases that should be ruled out. (shrink)

Maureen Donnelly’s (2016) relative positionalism correctly handles any fixed arity relation with any symmetry such a relation can have, yielding the intuitively correct way(s) in which that relation can apply. And it supplies an explanation of what is going on in the world that makes this the case. But it has at least one potential shortcoming — one that its opponents are likely to seize upon: it can only handle relations with fixed arities. It is unable to handle relations with (...) variable arities. I argue that, all else being equal, relative positionalism ought nonetheless to be preferred to its closest competitors — at least to the extent that the explanation it supplies of relational application is plausible — even though those competitors can handle variable arity relations in addition to fixed arity relations. (shrink)