According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...) of distinct qualitative indiscernibles. Here, the key idea appeals to a non-standard theory of haecceities as non-well-founded properties of a certain sort. I will then defend this theory from a number of objections, and finally argue that we should accept it on the basis of considerations of parsimony about the fundamental. (shrink)

Super-substantivalism (of the type we’ll consider) roughly comprises two core tenets: (1) the physical properties which we attribute to matter (e.g. charge or mass) can be attributed to spacetime directly, with no need for matter as an extraneous carrier “on top of” spacetime; (2) spacetime is more fundamental than (ontologically prior to) matter. In the present paper, we revisit a recent argument in favour of super-substantivalism, based on General Relativity. A critique is offered that highlights the difference between (various accounts (...) of) fundamentality and (various forms of) ontological dependence. This affords a metaphysically more perspicuous view of what super-substantivalism’s tenets actually assert, and how it may be defended. We tentatively propose a re-formulation of the original argument that not only seems to apply to all classical physics, but also chimes with a standard interpretation of spacetime theories in the philosophy of physics. (shrink)

There is an interesting puzzle about the interaction between mereology, topology, and dependence. It is not only interesting in and on itself, but also reveals subtleties about the aforementioned interaction that have gone unnoticed. The puzzle has it that the following plausible claims are jointly inconsistent: wholes depend on their parts; boundaries are parts; boundaries depend on the whole they are part of. In the paper, I first argue that claims – are not as a matter of fact inconsitent insofar (...) as further assumptions are needed to get the puzzle off the ground. I consider several such assumptions, somemore plausible than others. Though I do not take any definite stance as to whether the plusibility of the assumptions considered trump that of claims –, I set forth a suggestion to replace with something similar yet interestingly different. (shrink)

Priority monism is roughly the view that the universe is the only fundamental object, that is, a concrete object that does not depend on any other concrete object. Schaffer, the main advocate of PM, claims that PM is compatible with dependence having two different directions: from parts to wholes for subcosmic wholes, and from whole to parts for the cosmic whole. Recently it has been argued that this position is untenable. Given plausible assumptions about dependence, PM entails that dependence has (...) only one direction, it always goes from wholes to parts. One such plausible assumption is a principle of Isolation. I argue that, given all extant accounts of dependence on the market, PM entails No Isolation. The argument depends upon a particular feature of the dependence relation, namely, necessitation and its direction. In the light of this, I contend that the argument is important, insofar as it suggests that we should distinguish dependence from other cognate notions, e.g. grounding. Once this distinction is made, I suggest we should also distinguish between two different notions of fundamentality that might turn out to be not-coextensive. (shrink)

We put forward a new, ‘coherentist’ account of quantum entanglement, according to which entangled systems are characterized by symmetric relations of ontological dependence among the component particles. We compare this coherentist viewpoint with the two most popular alternatives currently on offer—structuralism and holism—and argue that it is essentially different from, and preferable to, both. In the course of this article, we point out how coherentism might be extended beyond the case of entanglement and further articulated.

Many contemporary metaphysicians believe that the existence of a contingent object such as Socrates metaphysically explains the existence of the corresponding set {Socrates}. This paper argues that this belief is mistaken. The argument proposed takes the form of a dilemma. The expression “{Socrates}” is a shorthand either for the expression “the set that contains all and only those objects that are identical to Socrates” or for the expression “the set that contains Socrates and nothing else”. However, Socrates' existence does not (...) explain the existence of the set that contains all and only those objects that are identical to Socrates, because there is such a set no matter whether or not Socrates exists. And although Socrates' existence does explain that of the set that contains Socrates and nothing else, this explanation is a conceptual rather than a metaphysical one. Both these claims rely on a deflationary account of the use of set theoretic vocabulary that is explained, though not properly justified, in the paper. (shrink)

Bodily pain strikes many philosophers as deeply paradoxical. The issue is that pains seem to bear both physical characteristics, such as a location in the body, and mental characteristics, such being mind-dependent. In this paper I clarify and address this alleged paradox of pain. I begin by showing how a further assumption, Objectivism, the thesis that what one feels in one’s body when one is in pain is something mind-independent, is necessary for the generation of the paradox. Consequently, the paradox (...) can be avoided if one rejects this idea. However, doing so raises its own difficulties, for it is not obvious how anything can possess all of the features we typically associate with bodily pain. To address this puzzle and finally put the paradox of pain to rest, I develop the Embodied View, a novel metaphysical account on which pains are constitutively mind-dependent features of parts of a subject’s body. (shrink)

In this paper we address the problem of defining social roles in multi-agent systems. Social roles provide the basic structure of social institutions and organizations. We start from the properties attributed to roles both in the multi-agent systems and the Object Oriented community, and we use them in an ontological analysis of the notion of social role. We identify three main properties of social roles. First, they are definitionally dependent on the institution they belong to, i.e. the definition of a (...) role is given inside the definition of the institution. Second, they attribute powers to the agents playing them, like creating commitments for the institutions and the other roles. Third, they allow roles to play roles, in the same way as agents do. Using Input/Output logics, we propose a formalization of roles in multi-agent systems satisfying the three properties we identified. (shrink)

This paper gives a framework for understanding causal counterpossibles, counterfactuals imbued with causal content whose antecedents appeal to metaphysically impossible worlds. Such statements are generated by omissive causal claims that appeal to metaphysically impossible events, such as “If the mathematician had not failed to prove that 2+2=5, the math textbooks would not have remained intact.” After providing an account of impossible omissions, the paper argues for three claims: (i) impossible omissions play a causal role in the actual world, (ii) causal (...) counterpossibles have broad applications in philosophy, and (iii) the truth of causal counterpossibles provides evidence for the nonvacuity of counterpossibles more generally. (shrink)

This essay defends a novel form of virtue epistemology: Modal Virtue Epistemology. It borrows from traditional virtue epistemology the idea that knowledge is a type of skillful performance. But it goes on to understand skillfulness in purely modal terms — that is, in terms of success across a range of counterfactual scenarios. We argue that this approach offers a promising way of synthesizing virtue epistemology with a modal account of knowledge, according to which knowledge is safe belief. In particular, we (...) argue that the modal elements of the view offer important advantages over traditional virtue epistemology, which assigns a central explanatory role to aptness. At the same time, the virtue epistemological elements of the theory reveal new avenues for overcoming obstacles to traditional modal accounts of knowledge. Finally, we highlight the advantages of Modal Virtue Epistemology over alternative syntheses, such as Pritchard's (2012) hybrid approach. (shrink)

Surface presentism is the combination of a general relativistic physics with a presentist metaphysics. In this paper, we provide an argument against this combination based on black holes. The problem focuses on the notion of an event horizon. We argue that the present locations of event horizons are ontologically dependent on future black hole regions, and that this dependence is incompatible with presentism. We consider five responses to the problem available to the surface presentist, and argue that none succeed. Surface (...) presentism thus faces the prospect of refutation based on evidence that confirms the existence of black holes. (shrink)

The theory of variable embodiments has been primarily formulated to model ordinary objects as things that change their parts over time. A variable embodiment /f/ is a sui generis whole constructed from a principle f, the principle of a variable embodiment, and it is manifested at different times by different things picked out by such a principle f. This principle is usually clarified as a function that picks out, at any given time the variable embodiment exists, its corresponding manifestation at (...) that time, and it fails to pick out anything at any other time. The first purpose of this article is to examine and refute three natural understandings of such a principle. Specifically, first, we argue against the view that it should be understood extensionally as either a partial function or total function. Next, we provide some motivations to reject the understanding of the principle as a function in intensional terms, where the notion of intension is analyzed in terms of a specific version of a possible world semantics. The second goal of the article is to make it plausible that the principle has an intensional character and, on the basis of the results achieved, to formulate some constraints that an account of such a principle should meet. (shrink)

We defend two claims: (1) if one is attracted to a strong non-maximalist view about truthmaking, then it is natural to construe this as the view that there exist fundamental truths; (2) despite considerable aversion to fundamental truths, there is as yet no viable independent argument against them. That is, there is no argument against the existence of fundamental truths that is independent of any more specific arguments against the ontology accepted by the strong non-maximalist. Thus there is no argument (...) that the strong non-maximalist herself will find dialectically motivating. (shrink)

The question of how properties are individuated is extremely important. Consider the following proposals. To be in pain is to be in a certain neurological state. To be red is to appear red to normal observers in standard conditions. To be obligatory is to maximize the good. Each makes a claim of property identity. Each is a substantive metaphysical thesis of wide interest. None can be studied with due scrutiny in the absence of a general account of property identity. Here, (...) I will survey existing accounts and suggest a new account in terms of grounding that has some advantages over the other candidates. (shrink)

The realist versions of mathematical structuralism are often characterized by what I call ‘the insubstantiality thesis’, according to which mathematical objects, being positions in structures, have no non-structural properties: they are purely structural objects. The thesis has been criticized for being inconsistent or descriptively inadequate. In this paper, by implementing the resources of a real-definitional account of essence in the context of Fregean abstraction principles, I offer a version of structuralism – essentialist structuralism – which validates a weaker version of (...) the insubstantiality thesis: mathematical objects have no non-structural essential properties. Next, I show how this rendition of structuralism alleviates a Fregean worry against insubstantiality, which is directed at the explanation of the applicability of mathematics from the structuralist perspective. (shrink)

In this paper we confront a challenge to truthmaker theory that is analogous to the objections raised by deflationists against substantive theories of truth. Several critics of truthmaker theory espouse a ‘deflationary’ attitude about truthmaking, though it has not been clearly presented as such. Our goal is to articulate and then object to the underlying rationale behind deflationary truthmaking. We begin by developing the analogy between deflationary truth and deflationary truthmaking, and then show how the latter can be found in (...) the work of Dodd, Hornsby, Schnieder, Williamson, and others. These philosophers believe that the ambitions of truthmaker theory are easily satisfied, without recourse to ambitious ontological investigation—hence the analogy with deflationary truth. We argue that the deflationists’ agenda fails: there is no coherent deflationary theory of truthmaking. Truthmaking, once deflated, fails to address the questions at the heart of truthmaking investigation. Truthmaking cannot be had on the cheap. (shrink)

Ovaj rad odgovara na argument modalnog kolapsa protiv božanske jednostavnosti ili klasičnog teizma koji nude neoklasični ili kompleksni teisti. Argument modalnog kolapsa tvrdi da ako je Bog apsolutno jednostavan i apsolutno neophodan, tada je Božji čin stvaranja apsolutno neophodan, pa je stoga postojanje stvorenog svijeta također apsolutno neophodno. To znači da se Bog i njegova kreacija urušavaju u jednu modalnu kategoriju apsolutne nužnosti bez ikakvih kontingentnih bića. Moj odgovor je utemeljen na islamskoj neoplatonstičkoj filozofiji Ibn Sine i islamskoj tradiciji. Nudim (...) četiri argumenta koji dopuštaju muslimanskom neoplatoničaru da apsorbira modalni kolaps u modalitetu mogućih svjetova koji istovremeno može negira modalni kolaps unutar avicenovskog modaliteta: Prvo, prigovor modalnog kolapsa temelji se na okviru mogućih svjetova čiji je pojam nužnosti preširok; ovaj okvir ne uspijeva napraviti razliku između Boga kao ontološki nužnog po sebi, stvorenog bića kao nužno ovisnog o drugome i puke logičke nužnosti, kao što to čine Ibn Sina i islamski mislioci. Drugo, argumenti modalnog kolapsa samo pokazuju da je kreacija neophodna kroz drugost, ali ne uspijevaju dokazati da kreacija ima ontološku nužnost ili aseity––što se odnosi samo na Boga; prema tome, ne dolazi do posljedičnog modalnog kolapsa kada nečiji modalitet prepozna kreaciju kao "ovisno nužno biće" unatoč tome što je modalno nužno. Treće, islamski filozofi imaju nelibertarijanski pojam Božje volje i slobode koji je imun na prigovore modalnog kolapsa. Konačno, tvrdim da svi klasični i neoklasični teisti moraju prihvatiti modalno nužnu kreaciju jer libertarijanski modeli Božje volje za sobom povlače neuzrokovane i primitivno kontingentne učinke. (shrink)

RESUMEN Trabajos recientes han propuesto un tratamiento de la fundación “a la imagen de la causalidad”. Hay importantes analogías entre la fundación y la causalidad: ambas parecen ser relaciones de ‘construcción’, ambas parecen ser órdenes estrictos y ambas parecen ser representables por modelos de ecuaciones estructurales. Pero también parece que hay importantes diferencias, porque la causalidad es usualmente considerada como una relación externa, mientras que la fundación es interna; hay casos de causalidad probabilística, pero no hay nada como una fundación (...) probabilística; la fundación se considera una relación ‘bien fundada’, pero no la causalidad; la fundación implica superveniencia ontológica, pero no la causalidad. Se argumenta aquí que la mayoría de estas supuestas diferencias están motivadas por una concepción humeana de la causalidad en la que no hay conexiones necesarias entre causa y efecto. Una perspectiva no humeana de la causalidad, sin embargo, hace que la unificación de la fundación y la causalidad sea mucho más razonable que cualquier tratamiento separado. ABSTRACT Recent works have proposed a treatment of grounding “in the image of causation”. There are important analogies between grounding and causation: both seem to be ‘building’ relations, both seem to be strict orders, and both seem amenable to representation by models of structural equations. But it seems also that there are important differences, because causation is usually considered as an external relation, while grounding is internal; there are cases of probabilistic causation, but there is nothing like probabilistic grounding; grounding is taken to be a well-founded relation, but not causation; grounding entails ontological supervenience, but not causation. It is argued here that most of those supposed differences are motivated by a Humean conception of causation in which there are no necessary connections between cause and effect. A non-Humean view of causation, though, makes the unification of grounding and causation much more reasonable that any separate treatment. (shrink)

un estado de cosas es una estructura no-mereológica compuesta por universales, objetos y tiempos. En principio, un estado de cosas no está fundado en sus componentes, pues tales componentes podrían existir, pero no el estado de cosas que componen. La introducción de otras relaciones de 'instanciación' no mejoran la situación, si tales relaciones son universales. Un estado de cosas, sin embargo, sí está fundado en un universal, uno o varios objetos, un tiempo y un tropo que, esencialmente, es la instanciación (...) de tal universal en tal objeto, o en tales objetos, en tal tiempo. Si los estados de cosas están fundados en sus constituyentes, entonces hay una razón para admitir tropos. Finalmente, se discuten varias razones por los que los estados de cosas deben estar fundados. a state of affairs is a non-mereological structure composed by universals, objects and times. In principle, a state of affairs is not grounded in its components, for those components could exist, but not the state of affairs that they compose. The introduction of other relations of 'instantiation' doesn't improve the situation, if those relations are universal. A state of affairs, though, is grounded on a universal, object or objects, time and a trope that, essentially, is the instantiation of that universal in that object, or in those objects, in that time. If states of affairs are grounded in their constituents, then there is reason to admit tropes. Finally, several reasons by which states of affairs should be grounded are discussed. (shrink)

The central notion of Aristotle's metaphysical system is his concept of substance, which he explicates by means of a number of technical concepts, one of which is being prior in being. Unfortunately, the interpretation of priority in being has proven particularly controversial. In the Categories and the Metaphysics, Aristotle claims that compound substances can be without things in other categories and not vice versa. If we adopt an existential interpretation of the verb ‘to be’ in these claims, it is hard (...) to see how they can be defended. However, alternative interpretations fall prey to a number of objections, especially that they risk conflating priority in being with priority in definition. (shrink)

In this chapter, a generic definition of fundamentality as an ontological minimality thesis is sought and its applicability examined. Most discussions of fundamentality are focused on a mereological understanding of the hierarchical structure of reality, which may be combined with an atomistic, object-oriented metaphysics. But recent work in structuralism, for instance, calls for an alternative understanding and it is not immediately clear that the conception of fundamentality at work in structuralism is commensurable with the mereological conception. However, it is proposed (...) that once we understand fundamentality as an ontological minimality thesis, these two as well as further conceptions of fundamentality can all be treated on a par, including metaphysical infinitism of the ‘boring’ type, where the same structure repeats infinitely. (shrink)

I formulate an account, in terms of essence and ground, that explains why atomic Russellian propositions have the truth conditions they do. The key ideas are that (i) atomic propositions are just 0-adic relations, (ii) truth is just the 1-adic version of the instantiation (or, as I will say, holding) relation (Menzel 1993: 86, note 27), and (iii) atomic propositions have the truth conditions they do for basically the same reasons that partially plugged relations, like being an x and a (...) y such that Philip gave x to y, have the holding conditions they do. The account is meant to be mainly of intrinsic interest, but I hope that it goes some distance toward answering an objection to classical theories of propositions put forward by King (2014), who writes that ‘since the classical conception of propositions as things that have truth conditions by their very natures and independently of minds and languages is incapable of explaining how or why propositions have truth conditions, it is unacceptable’ (2014: 47). Propositions do have their truth conditions ‘by their very natures’ and ‘independently of minds and languages’. But a fact about a given entity can hold by the very nature of that entity without being a fundamental fact. I argue that this is plausibly the case for atomic Russellian propositions and the facts about their truth conditions. A fact about the truth conditions of such a proposition holds by the very nature of the given proposition but is metaphysically grounded in facts about that proposition’s parts and their essences. If my account is correct, then the supposedly intractable problem of explaining why the given propositions have the truth conditions they do reduces to the problem of explaining why relations have the holding essences they do, which few seem to have found worrisome . (shrink)

The truth of a statement depends on the world in two ways: what the statement says is true if the world is as the statement says it is; on the other hand, what the expressions in the statement mean depends on what the world is like (for instance, on what conventions are in place). Each of these two kinds of dependence of truth on the world corresponds to one of the dimensions on the two-dimensional semantic framework, developed in the 1970’ (...) in the work of Evans, Kaplan, Kripke and Stalnaker. The introduction provides a systematic overview of the framework, the ideas of its earlier originators, recent developments and criticism. Finally, it gives a brief overview over the contributions to the volume. (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)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

The past decade and a half has seen an absolute explosion of literature discussing the structure of reality. One particular focus here has been on the fundamental. However, while there has been extensive discussion, numerous fundamental questions about fundamentality have not been touched upon. In this chapter, I focus on one such lacuna about the modal strength of fundamentality. More specifically, I am interested in exploring the contingent fundamentality thesis - that is, the idea that the fundamentalia are only contingently (...) fundamental (or, in property-terms, that the property of being fundamental is not a (weakly) necessary property). And while I think this thesis is plausible – indeed, I show here that it lurks in the unexamined shadows/assumptions of some fairly prominent positions – as far as I can tell, nothing has been said either for or against it. Here, I hope to fix this by giving the thesis a proper airing. In this way, this chapter represents a first-pass at exploring not only the modal status of fundamentality, but also offers a starting point for examining broader issues about the relationship between fundamentality and modality. (shrink)

This chapter defends an axiological theory of pain according to which pains are bodily episodes that are bad in some way. Section 1 introduces two standard assumptions about pain that the axiological theory constitutively rejects: (i) that pains are essentially tied to consciousness and (ii) that pains are not essentially tied to badness. Section 2 presents the axiological theory by contrast to these and provides a preliminary defense of it. Section 3 introduces the paradox of pain and argues that since (...) the axiological theory takes the location of pain at face value, it needs to grapple with the privacy, self-intimacy and incorrigibility of pain. Sections 4, 5 and 6 explain how the axiological theory may deal with each of these. (shrink)

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

Are there such things as moral truths? How do we know what we should do? And does it matter? Constructivism states that moral truths are neither invented nor discovered, but rather are constructed by rational agents in order to solve practical problems. While constructivism has become the focus of many philosophical debates in normative ethics, meta-ethics and action theory, its importance is still to be fully appreciated. These new essays written by leading scholars define and assess this new approach in (...) ethics, addressing such questions as the nature of constructivism, how constructivism improves our understanding of moral obligations, how it accounts for the development of normative practices, whether moral truths change over time, and many other topics. The volume will be valuable for advanced students and scholars of ethics and all who are interested in questions about the foundation of morality. (shrink)

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).

Primitive, unanalysable grounding relations are considered by many to be indispensable constituents of the metaphysician’s toolkit. Yet, as a primitive ontological posit, grounding must earn its keep by explaining features of the world not explained by other tools already at our disposal. Those who defend grounding contend that grounding is required to play two interconnected roles: accounting for widespread intuitions regarding what is ontologically prior to what, and forming the backbone of a theory of metaphysical explanation, in much the same (...) way that causal relations have been thought to underpin theories of scientific explanation. This thesis undermines the need to posit grounding relations to perform either of these jobs. With regard to the first, it is argued that a pair of human psychological mechanisms—for which there is substantial empirical support—can provide a more theoretically virtuous explanation of why we have the intuitions that we do. With regard to the second, I begin by considering what we want from a theory of explanation, and go on to develop three attractive (yet grounding-free) theories of metaphysical explanation. I offer: i) a psychologistic theory that calls upon the aforementioned psychological mechanisms, as well as the modal relations of necessitation and supervenience, ii) a metaphysical variant of the deductive-nomological theory of scientific explanation, and iii) a metaphysical variant of the unificationist theory of scientific explanation. Furthermore, these theories draw upon mechanisms and relations (both logical and ontological) to which we are already committed. Thus, to posit grounding relations in order to explain our priority intuitions, or in order to develop a theory of metaphysical explanation, is ontologically profligate. I conclude that we should not posit relations of ground. (shrink)

It is commonly assumed that grounding relations are asymmetric. Here I develop and argue for a theory of metaphysical structure that takes grounding to be nonsymmetric rather than asymmetric. Even without infinite descending chains of dependence, it might be that every entity is grounded in some other entity. Having first addressed an immediate objection to the position under discussion, I introduce two examples of symmetric grounding. I give three arguments for the view that grounding is nonsymmetric (I call this view (...) ‘metaphysical interdependence’). These arguments are: (i) that metaphysical interdependence is the only theory able to reconcile competing intuitions about grounding; (ii) that it is the only theory consistent with both ‘gunk’ and ‘junk’; and (iii) that offers a satisfactory solution to the problem concerning whether or not grounding is itself grounded. (shrink)

This dissertation investigates grounding, the relation of non-causal determination whereby one fact obtains in virtue of some other fact or facts. Although considerations of grounding have been central throughout Western philosophy, the last 15-20 years have seen a renaissance of systematic work on grounding in analytic philosophy. The aim of the dissertation is to contribute to our understanding of the nature of grounding and its relation to other central phenomena in metaphysics. -/- Chapter 1 of the dissertation provides a brief (...) presentation of grounding and introduces some distinctions of relevance to later chapters. Chapter 2 discusses the question of whether grounding can be reduced. Four reductive accounts – in terms of fundamentality and supervenience, essence, reduction, and metaphysical laws respectively – are considered. All of these accounts are found to be subject to objections and are consequently rejected. -/- Chapter 3 considers the relation between grounding and another important phenomenon in metaphysics, namely ontological dependence. The question of the relation between the two is approached through an investigation of their modal connection (or lack thereof). It is argued that on the common assumption that grounding is a factive relation, ontological dependence can be shown to be neither necessary nor sufficient for grounding. Furthermore, to get any form of modal connection between the two relations, one needs to move to a non-factive conception of grounding or consider generic ontological dependence and accept a potentially controversial principle about the modal behaviour of grounding. Even then, the modal connection between grounding and ontological dependence is weak and subject to qualifications. -/- Chapter 4 develops and defends the novel notion of metaphysically opaque grounding. It is commonly assumed that grounding is an especially intimate and powerful connection and enables a form of explanation that is particularly strict and illuminating. An arguably related idea is that grounding is necessarily connected with the core features of things – their essences or natures. Metaphysically opaque grounding constitutes a form of grounding that falsifies both of these ideas. Chapter 4 makes the notion of metaphysically opaque grounding precise, motivates the idea that there are genuine cases of such grounding, explores its consequences for the theory of grounding, and defends the notion from potential objections, concluding that there are currently no strong reasons to rule out opaque grounding. (shrink)

One might well wonder—is there a category under which every thing falls? Offering an informative account of such a category is no easy task. For nothing would distinguish things that fall under it from those that don’t—there being, after all, none of the latter. It seems hard, then, to say much about any fully general category; and it would appear to do no carving or categorizing or dividing at all. Nonetheless there are candidates for such a fully general office, including (...) thing, being, entity, item, existent, and—especially—object.[ It is not obvious that there is any fully general category (whether object or otherwise). Accordingly, not all accounts of object assign it to a fully general category, instead allowing that there are non-objects. On those views, object does indeed divide. Accounts of object, then, differ with respect to whether there are non-objects. And this is not the only fault line. Other dimensions of difference include what objects there are and what objects are. Accordingly, this entry will survey three broad questions about the category object: What, if any, is its contrast or complement? What is its extension? What is its nature? (shrink)

The Identity of Indiscernibles is the principle that objects cannot differ only numerically. It is widely held that one interpretation of this principle is trivially true: the claim that objects that bear all of the same properties are identical. This triviality ostensibly arises from haecceities (properties like \textit{is identical to a}). I argue that this is not the case; we do not trivialize the Identity of Indiscernibles with haecceities, because it is impossible to express the haecceities of indiscernible objects. I (...) then argue that this inexpressibility generalizes to all of their trivializing properties. Whether the Identity of Indiscernibles is trivially true ultimately turns on whether we can quantify over properties that we cannot express. (shrink)

I first discuss Kit Fine's distinctive 'schema-based' approach to metaphysical theorizing, which aims to identify general principles accommodating any intelligible application of the notion(s), by attention to his accounts of essence and dependence. I then raise some specific concerns about the general principles Fine takes to schematically characterize these notions. In particular, I present various counterexamples to Fine's essence-based account of ontological dependence. The problem, roughly speaking, is that Fine supposes that an object's essence makes reference to just what it (...) ontologically depends on, but various cases suggest that an object's essence can also make reference to what ontologically depends on it. As such, Fine's account of ontological dependence is subject to the same objection he raises against modal accounts of essence and dependence---that is, of being insufficiently ecumenical. (shrink)

It is commonly held that Bradley’s regress has a solution within a trope ontology. This seems to happen when a bundle is understood as constituted by non-transferable tropes. It also seems to happen when a bundle is understood as constituted by transferable tropes related by a relational trope of compresence whose existence specifically depends on those relata. In this article I demonstrate that these proposals fail in addressing the essential question that underlies the regress, incurring in a question-begging response already (...) anticipated by Bradley. (shrink)

In this paper, I will discuss an objection to Buck-Passing accounts of value, such as Reasons Fundamentalism. Buck-Passing views take value to be derivative of or reducible to reasons. The objection is that since there can be value in possible worlds in which there are no reasons, value must not be ontologically derivative of reasons. Thus, BP is false. In this paper, I show that by accepting a dispositionalist revision, BP can allow such worlds while maintaining that reasons are interestingly (...) prior to value, and without having to adopt any controversial metaphysics. I show this by exploring the debate over the nature of dispositions, identifying the diverse resources BP can appeal to. The paper proceeds as follows. I first explain BP. Next, I discuss a few versions of the challenge, settling on what seems to be the strongest form. Following this, I show that on many accounts of dispositions, while we should accept that particular instances of dispositions are prior to their particular manifestations, we should also accept that there is a sense in which dispositions are dependent on their manifestations. This provides BP with resources to respond to the challenge: BP can accept a dispositional revision, without committing to a theory of dispositions. Finally, I will respond to two objections. The first is about whether there are dispositions with impossible manifestations, contrary to my thesis that dispositions depend on their manifestations. The second is about whether there could be value where it would be impossible for that value to give reasons. (shrink)

The general hypothesis underlying this work is that mereology (the study of the relations between an entity and its parts) and topology (understood as the study of the qualitative relations of connection and compactness) may jointly constitute adequate grounds for the formal-ontological analysis of the world of ordinary experience. The analysis focuses on certain minimal (structural) principles on the basis of which different philosophical theories may be erected.

This article defends strong formal ontological conception of ontological categories against Lewis's "deflanationary" conception. Here, it sides with E.J. Lowe (1998) among others. However, the paper argues against Lowe's conception of metaphysics as an a priori science. Different category systems are compared and the best system is selected on the basis of its ability to accommodate our the best a posteriori conceptions of reality.

Many philosophers have thought that colours or flavours or values are in some way less objective than shape or mass or motion. This paper explores the approach to capturing this thought that is based on the idea of ‘ response-dependence ’. First, it is argued that the conceptions of response-dependence developed by Mark Johnston, Philip Pettit and Crispin Wright fail to capture this thought adequately. Then, the rest of the paper proposes an alternative conception, based in part on Kit Fine's (...) notion of " essence ", which looks more likely to succeed in capturing the thought adequately. (shrink)

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F is that which makes it G. This approach is hyperintensional, and possesses desirable logical and modal features. These sentences are reflexive, transitive and symmetric, and, if (...) they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I close by defining an asymmetric and irreflexive notion of analysis in terms of the reflexive and symmetric one. (shrink)

The notion of fundamentality is supposed to play an important role in philosophical inquiry and scientific theorising. Yet there is no consensus on how to formulate it in precise terms. According to a promising view, fundamentality is a form of ontological independence. This view has the merit of capturing a natural connection between fundamentality and ontological dependence. However, it has been recently argued that it is possible that there are fundamental and yet ontologically dependent entities; therefore, we should not characterise (...) the fundamental in terms of ontological independence. My aim is to show that such a possibility does not threaten a conception of fundamentality as a form of ontological independence. I illustrate this claim by providing a definition of equifundamentality and showing that fundamental and yet ontologically dependent entities can be treated as equifundamental. (shrink)