According to directionalism, non-symmetric relations are distinct from their converses. Kit Fine (2000) argues that the directionalist faces a dilemma; they must either (i) reject the principle Uniqueness, which states that no completion (fact, state of affairs, or proposition) is a completion of more than one relation, or (ii) reject the principle Identity, which states that each completion of a relation is identical to a completion of its converse (e.g., Dante’s loving Bice is identical to Bice’s being loved by Dante). (...) Fine’s argument has been regarded as a decisive blow to directionalism. But new strategies for replying to it can be developed with the tools of the postmodal metaphysician, who is comfortable individuating relations and their completions hyperintensionally, allowing for necessary connections between distinct entities, and making use of hyperintensional notions like essence and grounding. In what follows, I develop postmodal strategies for denying both horns of Fine’s dilemma, concluding that the postmodal directionalist need not be concerned with Fine’s argument. (shrink)

In 1924, the Munich-school phenomenologist Moritz Geiger argued that there are dynamic essences. His two examples are the tragic, and being human, his main ideas are that what it takes to be tragic varies over time historically and that what makes an organism human varies across different stages of its ontogenetic development. He hence points to two ways in which essences may be dynamic, that is, subject to change. The current paper takes Geiger’s view seriously and assumes that it poses (...) an explanatory challenge for the, then and now, standard view that essences are ‘Platonic’, i.e. cannot be subject to change. In the first part of the paper, I introduce Geiger’s view and a bit of its historical context. In the second, I first formulate the challenge it poses to the standard ‘platonic’ view of essence, then discuss how this challenge can be met by a contemporary view of essence discussing three potential responses. The first relies on a notion of relativized essence, the second on the distinction between determinables and determinates, the third and last one on multidimensional properties. Finally, I argue that the last of these three proposals may be preferable to the other two. (shrink)

Explanatory metaphysics aspires to explain the less fundamental in terms of the more fundamental. But we should recognize two importantly different approaches to this task. According to the generation approach, more basic features of reality generate (or give rise to) less basic features. According to the reduction approach, less perspicuous ways of representing reality reduce to (or collapse into) more perspicuous ways of representing reality. The main goals of this paper are to present the core differences between the two approaches (...) (§2), to demonstrate the distinction's significance (§3), to provide some resources for adjudicating between the approaches (§4), and to argue that the project of explanatory metaphysics needs both (§5). (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)

This paper provides an overview of the history of the notion of essence in 20th century analytic philosophy, focusing on views held by influential analytic philosophers who discussed, or relied on essence or cognate notions in their works. It in particular covers Russell and Moore’s different approaches to essence before and after breaking with British idealism, the (pre- and post-)logical positivists’ critique of metaphysics and rejection of essence (Wittgenstein, Carnap, Schlick, Stebbing), the tendency to loosen the notion of logical necessity (...) to accommodate certain metaphysical truths in Wittgenstein and others, Quine’s logical rehabilitation of metaphysics and criticism of de re modality, the modal view of essence promoted by the development of quantified modal logic (C. I. Lewis, Barcan Marcus, Kripke) and direct reference theory (Barcan Marcus, Kripke, Putnam), and the emergence of the notion of metaphysical necessity (Kneale, Kripke), and finally Fine’s re-establishment of a Neo-Aristotelian, hyperintensional notion of essence in contemporary metaphysics. (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)

The project of grounding necessity in essence often goes together with the model of essence that assimilates the constitutive essence of an object to the definition of it. The paper argues that if the grounding project is to succeed, the definitional model must be questioned. Like any object whatever, a concrete individual is necessarily identical to that individual. It is argued that this necessity can have an essential ground only if the primitive identity property of it or its thisness is (...) essential to it, and the thisness is in its constitutive essence while not in the definition of it. A concrete individual is in essence partly definable but not fully explainable, for the definition of it forms a crucial part of its constitutive essence, but the constitutive essence includes something fundamental beyond definition or explanation. The definitional model must give way to a model of essence that accommodates this. (shrink)

What sorts of aims, or goals, are constitutive of science? How does scientific evidence relate to the knowledge that science produces? And can the No Miracles Argument for scientific realism be defended against concerns about the explanatory capacity of truth? In Knowing Science, Bird engages with questions like these at length. In this paper, I engage with these questions too. I raise some concerns for the view that aiming at knowledge is constitutive of science. I provide three counterexamples to an (...) epistemic principle which Bird uses to argue for the view that evidence is knowledge. And I formulate a version of the No Miracles Argument which, by basing realism on a particular approach to meaning and to the empirical science of linguistics, avoids any mention of truth whatsoever. (shrink)

In this paper I investigate the idea that in conceptual analysis we are in a substantial way concerned with revealing metaphysical grounds. I argue that a recent proposal fails, according to which we aim to reveal what complex concepts are grounded in. The notion ofcomposition, rather than that ofgrounding, is the best way to understand the intuitive hierarchy of concepts. In an analysis we reveal thecomponentsorpartsof complex concepts and their structure. Finally, I propose an alternative role for grounding in our (...) accounts of analysis: in analyses we reveal truths about the composition of concepts that serve as grounds for truths about theirfunctions, which are what we want to understand. (shrink)

Critical social ontology is any study of social ontology that is done in order to critique ideology or end social injustice. The goal of this paper is to outline what I call the fundamentality approach to critical social ontology. On the fundamentality approach, social ontologists are in the business of distinguishing between appearances and (fundamental) reality. Social reality is often obscured by the acceptance of ideology, where an ideology is a distorted system of beliefs that leads people to promote or (...) accept widespread social injustices. Social reality is also obscured in cases where ordinary thought and language simply is not perspicuous enough to represent the social objects, kinds, and structures that are central to understanding social injustice. In both cases, I argue that the critical social ontologist will benefit from using the tools and concepts of fundamental metaphysics. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Grounding necessitarianism (GN) is the view that full grounds necessitate what they ground. Although GN has been rather popular among philosophers, it faces important counterexamples: For instance, A=[Socrates died] fully grounds C=[Xanthippe became a widow]. However, A fails to necessitate C: A could have obtained together with B=[Socrates and Xanthippe were never married], without C obtaining. In many cases, the debate essentially reduces to whether A indeed fully grounds C – as the contingentist claims – or if instead C is (...) fully grounded in A+, namely A plus some supplementary fact S (e.g. [Xanthippe was married to Socrates]) – as the necessitarian claims. Both sides typically agree that A+ necessitates C, while A does not; they disagree on whether A or A+ fully grounds C. This paper offers a novel defence of the claim that, in these typical cases, unlike A+, A fails to fully ground C – thereby bringing further support to GN. First and foremost, unlike A+, A fails to fully ground C because it fails to contain just what is relevant to do so, in two distinct senses – explanatory and generative relevance. Second, going for A, rather than A+, as a full ground undermines not just grounding necessitarianism, but modally weaker views which even contingentists may want to preserve. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

On what I call absolutist essentialism about modality (AE), the metaphysical necessities are the propositions that are true in virtue of the essence (i.e. Aristotelian, absolute essence) of some entities. Other kinds of necessity can then be defined by restriction – e.g. the conceptual necessities are the propositions that are true in virtue of the essence of conceptual entities specifically. As an account of metaphysical modality and some other kinds (e.g. logical, conceptual), AE may have important virtues. However, when it (...) comes to accounting for further important kinds, like natural or normative necessity, it faces a challenge. Three main options have been defended: treat those kinds as further restricted forms of metaphysical necessity; define them as conditional forms of metaphysical necessity; treat them as primitive kinds. -/- In this paper, I propose a new option, which combines the main idea of AE (reducing necessities to essences) with an idea which has been developed largely independently: that of relative essence. On the proposed view, those kinds (e.g. natural necessity) that cannot be grounded in the essences (i.e. absolute essences) of the relevant entities (e.g. natural entities) may be grounded in their relative essences instead. Thus, I propose a generalized, or extended, version of AE, which I call relativized essentialism about modality (RE). In particular, RE offers prospects for a general framework for kinds of modality which is flexible enough to cover a large range of kinds (both absolute and relative ones) while remaining parsimonious and unified. (shrink)

An increasing number of philosophers argue that indeterminacy is metaphysical (or worldly) in the sense that indeterminacy has its source in the world itself (rather than how the world is represented or known). The standard arguments for metaphysical indeterminacy are centered around the sorites paradox. In this essay, I present a novel argument for metaphysical indeterminacy. I argue that metaphysical indeterminacy follows from the existence of constitutive social construction; there is indeterminacy in the social world because there is indeterminacy in (...) how the social world is constructed. (shrink)

Finean essentialists take metaphysical necessity to be metaphysically explained by essence. But whence the explanatory power of essence? A recent wave of criticism against the Finean account has put pressure on essentialists to answer this question. Wallner and Vaidya (2020) have responded by offering an axiomatic account of the explanatory power of essence. This paper discusses their account in light of some recent criticism by Bovey (2022). Building on work by Glazier (2017), Bovey succeeds in showing that Wallner and Vaidya’s (...) account is in need of modification and clarification. In this paper, I take up Bovey’s challenge and argue that Wallner and Vaidya have the resources available to incorporate the necessary modifications. I discuss the details of this modification, specifically, the question of what kind of metaphysical explanation is at work in the explanation of the necessity of essence itself. To get clear on this, I will introduce the distinction between generative and non-generative metaphysical explanation. In this way the paper contributes to both, the debate about whether essences can explain necessity and to the ongoing debate about metaphysical explanation. (shrink)

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)

According to many contemporary metaphysicians, we ought to theorize in terms of grounding because of its promise to explicate the idea of reality having a layered structure. However, a tension emerges when one combines the layered structure view with the view that higher-level facts are not reducible to lower-level facts. This tension emerges from two problems. The first problem arises from the fact that grounding explanations entail true universal generalizations. In order to satisfy this constraint, we will face serious pressure (...) to make sure the entities involved in the grounded facts are appropriately connected to the entities involved in the grounding facts, otherwise the generalizations associated with those grounding claims will come out false. However, ensuring the appropriate connections seemingly leaves no way for the non-reductivist to fully squeeze out reference to higher-level entities as we descend the levels of ground. This threatens the result that some higher-level facts must be taken as fundamental, which the non-reductivist cannot accept. -/- I argue that we can resolve the tension by taking the connections at issue to be essentially true. We can call this view essentialist non-reductivism. One significant upshot of the argument is that we can see not only that essentialist non-reductivism successfully resolves the tension, but that in principle no better solution could be offered. (shrink)

Dispositional Essentialism, as commonly conceived, consists in the claims that at least some of the fundamental properties essentially confer certain causal-nomological roles on their bearers, and that these properties give rise to the natural modalities. As such, the view is generally taken to be committed to a realist conception of properties as either universals or tropes, and to be thus incompatible with nominalism as understood in the strict sense. Pace this common assumption of the ontological import of Dispositional Essentialism, the (...) aim of this paper is to explore a nominalist version of the view, Austere Nominalist Dispositional Essentialism. The core features of the proposed account are that it eschews all kinds of properties, takes certain predicative truths as fundamental, and employs the so-called generic notion of essence. As I will argue, the account is significantly closer to the core idea behind Dispositional Essentialism than the only nominalist account in the vicinity of Dispositional Essentialism that has been offered so far—Ann Whittle’s Causal Nominalism—and is immune to crucial problems that affect this view. (shrink)

Lam and Esfeld have argued that, within Bohmian mechanics, the wave function can be interpreted as a physical structure instantiated by the fundamental particles posited by the theory. Further, to characterize the nature of this structure, they appeal to the framework of Ontic Structural Realism, thereby proposing a structuralist interpretation of Bohmian mechanics. However, I shall point out that OSR denotes a family of distinct views, each of which maintains a different account about the relation between structures and objects, and (...) entails a different kind of ontology. Thus, in this paper I will show how to articulate the structuralist approach to Bohmian Mechanics accordingly to the different standard versions of OSR, and I will evaluate these alternatives. Moreover, I will propose a novel and _sui generis_ kind of structuralist interpretation of Bohmian Mechanics, based on the framework of metaphysical coherentism. (shrink)

There is a deeply entrenched view in philosophy and physics, the closed systems view, according to which isolated systems are conceived of as fundamental. On this view, when a system is under the influence of its environment this is described in terms of a coupling between it and a separate system which taken together are isolated. We argue against this view, and in favor of the alternative open systems view, for which systems interacting with their environment are conceived of as (...) fundamental, and the environment's influence is represented via the dynamical equations that govern the system's evolution. Taking quantum theories of closed and open systems as our case study, and considering three alternative notions of fundamentality: (i) ontic fundamentality, (ii) epistemic fundamentality, and (iii) explanatory fundamentality, we argue that the open systems view is fundamental, and that this has important implications for the philosophy of physics, the philosophy of science, and for metaphysics. (shrink)

The Doctrine of Microphysical Supervenience states that microphysical duplicates cannot differ in their intrinsic properties. According to Merricks :59–71, 1998a, Objects and persons, Oxford University Press, 2001), however, this thesis is false, since microphysical duplicates can differ with respect to the intrinsic property of consciousness. In my view, Merricks’ argument is plausible, and extant attempts to reject it are problematic. However, the argument also threatens to make consciousness appear mysterious, by implying that consciousness facts fail to be microphysically determined and (...) that there can be brute and inexplicable differences in consciousness between material things. The paper therefore develops an account that can respect the soundness of Merricks’ argument while avoiding these problematic consequences. At the heart of the proposal is the idea that consciousness can be microphysically grounded despite failing to microphysical supervene. The proposed view also has the interesting consequence that consciousness is an intrinsic property despite depending on extrinsic factors for its instantiation. (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)

How is grounding related to metaphysical explanation? The standard view is that the former somehow “backs”, “undergirds” or “underlies” the latter. This view fits into a general picture of explanation, according to which explanations in general hold in virtue of a certain elite group of “explanatory relations” or “determinative relations” that back them. This paper turns the standard view on its head: grounding doesn't “back” metaphysical explanation but is in an important sense downstream from it. I call this view “grounding (...) idealism”, since it structurally resembles an analogous view about causation that is known as “causal idealism” and has been endorsed by philosophers like Michael Scriven and Philip Kitcher. I formulate a specific version of grounding idealism, Metaphysical Explanation‐First Idealism (MEFI), according to which the semantic value of ‘grounding’ is an abundant, gerrymandered relation settled by the metaphysical explanation facts. Then I offer some theoretical considerations that support MEFI over rival accounts of the relation between grounding and metaphysical explanation. Finally, I address the question of what role is left for grounding to play, if not that of “backing” metaphysical explanations. (shrink)

According to grounding necessitarianism if some facts ground another fact, then the obtaining of the former necessitates the latter. Proponents of grounding contingentism argue against this claim, stating that it is possible for the former facts to obtain without necessitating the latter. In this article I discuss a recent argument from restricted accidental generalisations provided by contingentists that advances such possibility. I argue that grounding necessitarianism can be defended against it. To achieve this aim, I postulate a relationship between grounding (...) and essence by introducing a notion of individual essences understood as a set of essential properties that individuate its bearer. According to a proposed view grounding holds in virtue of identities of its relata, which are in turn determined by their respective individual essences. From there I claim that if grounding holds in virtue of the individual essences of its relata, then it is possible to resist the objection from restricted accidental generalisations and maintain a view that grounds necessitates what is grounded. (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 and explanation are said to be intimately connected. Some even maintain that grounding just is a form of explanation. But grounding and explanation also seem importantly different—on the face of it, the former is ‘worldy’ or ‘objective’ while the latter isn’t. In this paper, we develop and respond to an argument to the effect that there is no way to fruitfully address this tension that retains orthodox views about grounding and explanation but doesn’t undermine a central piece of methodology, (...) namely that explanation is a guide to ground. (shrink)

This paper develops a theory of propositional identity which distinguishes necessarily equivalent propositions that differ in subject-matter. Rather than forming a Boolean lattice as in extensional and intensional semantic theories, the space of propositions forms a non-interlaced bilattice. After motivating a departure from tradition by way of a number of plausible principles for subject-matter, I will provide a Finean state semantics for a novel theory of propositions, presenting arguments against the convexity and nonvacuity constraints which Fine (2016, 2017a,b) introduces. I (...) will then move to compare the resulting logic of propositional identity (PI) with Correia’s (2016) logic of generalised identity (GI), as well as the first degree fragment of Angell’s (1989) logic of analytic containment (AC). The paper concludes by extending PI to include axioms and rules for a subject-matter operator, providing a much broader theory of subject-matter than the principles with which I will begin. (shrink)

Dispositional Essentialism is a unified anti-Humean account of the metaphysics of low-level physical properties and laws of nature. In this paper, I articulate the view that I label Canonical Dispositional Essentialism, which comprises a structuralist metaphysics of properties and an account of laws as relations in the property structure. I then present an alternative anti-Humean account of properties and laws. This account rejects CDE’s structuralist metaphysics of properties in favour of a view of properties as qualitative grounds of dispositions and (...) it rejects CDE’s view of laws as relations in favour of a view of laws as features of an efficient description of possible property distributions. I then defend this view over CDE on the grounds that it can overcome an explanatory shortcoming of CDE and that it achieves a level of continuity with science that CDE fails to achieve. The upshot of this paper is a significant narrowing of the range of possibilities in which the absolutely best unified account of laws and properties resides. (shrink)

A popular principle about grounding, “Internality”, says that if A grounds B, then necessarily, if A and B obtain, then A grounds B. I argue that Internality is false. Its falsity reveals a distinctive, new kind of explanation, which I call “ennobling”. Its falsity also entails that every previously proposed theory of what grounds grounding facts is false. I construct a new theory of what grounds grounding: the ennobling theory.

According to essentialism, metaphysical modality is founded in the essences of things, where the essence of a thing is roughly akin to its real definition. According to potentialism (also known as dispositionalism), metaphysical modality is founded in the potentialities of things, where a potentiality is roughly the generalized notion of a disposition. Essentialism and potentialism have much in common, but little has been written about their relation to each other. The aim of this paper is to understand better the relations (...) between essence and potentiality, on the one hand, and between essentialism and potentialism, on the other. It is argued, first, that essence and potentiality are not duals but interestingly linked by a weaker relation dubbed ‘semi-duality’; second, that given this weaker relation, essentialism and potentialism are not natural allies but rather natural competitors; and third, that the semi-duality of essence and potentiality allows the potentialist to respond to an important explanatory challenge by using essentialist resources without thereby committing to essentialism. (shrink)

In this thesis, I argue that the Functional Monotheism model is not tri-theistic, but is a model of pro-Nicene Trinitarianism. In establishing this thesis, I focus on countering a specific objection prevalent in the Analytic Theology literature; the Tri-Theism Objection, which has charged the Functional Monotheism model with “tri-theism”. This objection, formulated by Kelly James Clark and Edward Feser, asserts that the Functional Monotheism model is tritheistic and thus should be rejected as a possible model of scriptural monotheism and “orthodox” (...) Trinitarianism. I argue against this objection by demonstrating that the Functional Monotheism model, once certain necessary philosophical clarifications and modifications are made, is not tri-theistic (in the classical sense of the term), but is in fact in line with “strict” (Second Temple) Jewish monotheism and “orthodox” (pro-Nicene) Trinitarianism. The Functional Monotheism model, contra the proponents of the objection, is therefore not subject to a charge of tri-theism, and thus should be taken as a viable model of “orthodox” Trinitarianism that can aid analytic theologians in their Trinitarian theorising. (shrink)

Do causes necessitate their effects? Causal necessitarianism is the view that they do. One major objection—the “monotonicity objection”—runs roughly as follows. For many particular causal relations, we can easily find a possible “blocker”—an additional causal factor that, had it also been there, would have prevented the cause from producing its effect. However—the objection goes on—, if the cause really necessitated its effect in the first place, it would have produced it anyway—despite the blocker. Thus, CN must be false. Though different (...) from Hume’s famous attacks against CN, the monotonicity objection is no less important. In one form or another, it has actually been invoked by various opponents to CN, past and present. And indeed, its intuitive appeal is quite powerful. Yet, this paper argues that, once carefully analysed, the objection can be resisted—and should be. First, I show how its success depends on three implicit assumptions concerning, respectively, the notion of cause, the composition of causal factors, and the relation of necessitation. Second, I present general motivations for rejecting at least one of those assumptions: appropriate variants of them threaten views that even opponents to CN would want to preserve—in particular, the popular thesis of grounding necessitarianism. Finally, I argue that the assumption we should reject is the one concerning how causes should be understood: causes, I suggest, include an element of completeness that excludes blockers. In particular, I propose a way of understanding causal completeness that avoids common difficulties. (shrink)

Vetter (2015) develops a localised theory of modality, based on potentialities of actual objects. Two factors play a key role in its appeal: its commitment to Hardcore Actualism, and to Naturalism. Vetter’s commitment to Naturalism is in part manifested in her adoption of Aristotelian universals. In this paper, we argue that a puzzle concerning the identity of unmanifested potentialities cannot be solved with an Aristotelian conception of properties. After introducing the puzzle, we examine Vetter’s attempt at amending the Aristotelian conception (...) in a way that avoids the puzzle, and conclude that this amended version is no longer to be considered naturalistic. Potentiality theory cannot be both actualist and naturalist. We then argue that, if naturalism is to be abandoned by the actualist, there are good reasons to adopt a Platonist conception of universals, for they offer a number of theoretical advantages and allow us to avoid some of the problems facing Vetter’s theory. (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

This paper raises a problem for the pair of views that universals are immanent in their instantiations and that these instantiations, or states of affairs, are somehow constructed from the instantiated universals. It is argued that the pair is inconsistent. The first view implies that universals are prior to states of affairs, whereas the second view implies that states of affairs are prior to universals. This paper does not attempt to solve this problem, but rather to formulate it precisely. That (...) promises to illuminate how to solve the problem if it can be solved, or why it cannot be solved if it is unsolvable. (shrink)

Philosophy and Phenomenological Research, EarlyView.

A survey of the connection between grounding and modality, in particular supervenience. The survey explores three possible connections between grounding and supervenience: (1) supervenience can be analyzed in terms of grounding, (2) grounded facts supervene on their grounds, and (3) grounding and supervenience overlap in their theoretical roles.

This chapter considers potential applications of grounding to the formulation of physicalism. I begin with an overview of competing conceptions of the physical and of physicalism. I then consider whether grounding physicalism overcomes well-known and seemingly fatal problems with supervenience physicalism. I conclude that while grounding physicalism improves upon supervenience physicalism in certain respects, it arguably falls victim to some of the same difficulties.

I survey the philosophical literature on grounding explanation and its connection to metaphysical ground.

The starting point of this paper is an argument to the conclusion that the definition of metaphysical possibility in terms of correct conceivability, conceivability informed by knowledge of relevant essences, found in Rosen (2006) is equivalent to a version of the essentialist definition of metaphysical necessity. This argument appears to show that correct conceivability is a notion of conceivability by name only and is therefore of no interest to epistemologists of modality. In this paper, I present the equivalence argument, explain (...) the idealizing assumptions involved in it and sketch a version of the conceivability approach which weakens these assumptions in order to show that the notion of correct conceivability can still play a specific limited role in the epistemology of modality. (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)

It is common to think that grounding is necessary in the sense that: if P grounds Q, then necessarily: if P, then Q. Though most accept this principle, some give counterexamples to it. Instead of straightforwardly arguing for, or against, necessity, I explain the sense in which grounding is necessary and contingent. I argue that there are two kinds of grounding: what-grounding and why-grounding, where the former kind is necessary while the latter is contingent.

This paper develops and motivates a unification theory of metaphysical explanation, or as I will call it, Metaphysical Unificationism. The theory’s main inspiration is the unification account of scientific explanation, according to which explanatoriness is a holistic feature of theories that derive a large number of explananda from a meager set of explanantia, using a small number of argument patterns. In developing Metaphysical Unificationism, I will point out that it has a number of interesting consequences. The view offers a novel (...) conception of metaphysical explanation that doesn’t rely on the notion of a “determinative” or “explanatory” relation; it allows us to draw a principled distinction between metaphysical and scientific explanations; it implies that naturalness and fundamentality are distinct but intimately related notions; and perhaps most importantly, it re-establishes the unduly neglected link between explanation and understanding in the metaphysical realm. A number of objections can be raised against the view, but I will argue that none of these is conclusive. The upshot is that Metaphysical Unificationism provides a powerful and hitherto overlooked alternative to extant theories of metaphysical explanation. (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)

Ground, essence, and modality seem to have something to do with each other. Can we provide unified foundations for ground and essence, or should we treat each as primitives? Can modality be grounded in essence, or should essence be expressed in terms of modality? Does grounding entail necessitation? Are the notions of ground and essence univocal? This volume focuses on the links—or lack thereof—between these three notions, as well as the foundations of ground, essence, and modality more generally, bringing together (...) work on the metaphysics, epistemology, and logic of these three notions by some of the leading figures in the field as well as emerging young scholars. The invited contributors to this volume presented their work at a conference on Ground, Essence, and Modality at the University of Helsinki in June 2016, funded by the Academy of Finland Project The Epistemology of Metaphysics: From Rationalism to Nominalism. This conference is just one of many recent high-profile events and publications on these themes (e.g., the edited volumes Correia and Schnieder 2012a; Sirkel and Tahko 2014; Jago 2016). After providing a brief historical summary of the (re)emergence of modality, essence and ground as central notions in metaphysics (Sect. 1), we shall outline some of the main themes in recent work on these notions and on the links between them (Sect. 2). In Sect. 3 we briefly introduce the papers in this volume. (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)

Are grounding claims fully general in character? If an object a is F in virtue of being G, does it follow that anything that’s G is F for that reason? According to the thesis of Weak Formality, the answer here is ‘yes’. In this paper, however, I argue that there is philosophical utility in rejecting this thesis. More exactly, I argue that two currently unresolved problems in contemporary metaphysics can be dealt with if we hold that there can be cases (...) of ‘kind-dependent grounding’, the key thought being that once we allow for such cases, we must also accept that Weak Formality is false. (shrink)