This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine 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 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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 8 examines the interaction between my 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 Ω-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 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that 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 hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent 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 while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 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)

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the instantiation of the grounding relation that connects the various entities within the layered structure of reality. More precisely, I seek to utilise the explanatory framework of Richard Swinburne within a specific metaphysical context, a ground-theoretic context, which will enable me to develop a true fundamental explanation for the existence of grounding. And thus, given (...) the truth of this type of explanation, we will have a further reason to believe in the existence of God. (shrink)

This article aims to provide an elucidation of the doctrine of the Incarnation. A new ‘reduplication strategy’ and ‘compositional model’ is formulated through the utilisation of certain concepts and theses from contemporary metaphysics, which will enable the doctrine of the Incarnation to be explicated in a clear and consistent manner, and the oft-raised objections against it being fully dealt with.

A strongly deterministic theory of physics is one that permits exactly one possible history of the universe. In the words of Penrose (1989), "it is not just a matter of the future being determined by the past; the entire history of the universe is fixed, according to some precise mathematical scheme, for all time.” Such an extraordinary feature may appear unattainable in a world like ours. In this paper, I show that it can be achieved in a simple way and (...) discuss its implications for metaphysics and philosophy of science, including natural properties, free will, explanation, and modality. First, I propose a precise definition of strong determinism. Next, I discuss its philosophical ramifications and a toy example. Finally, I provide a realistic example of a strongly deterministic (and simple) physical theory---the Everettian Wentaculus. A surprising consequence is that whether or not our world is strongly deterministic may be empirically underdetermined. (shrink)

There’s the question of what there is, and then there’s the question of what ultimately exists. Many contend that, once we have this distinction clearly in mind, we can see that there is no sensible debate to be had about whether there are such things as properties or tables or numbers, and that the only ontological question worth debating is whether such things are ultimate (in one or another sense). I argue that this is a mistake. Taking debates about ordinary (...) objects as a case study, I show that the arguments that animate these debates bear directly on the question of which objects there are and cannot plausibly be recast as arguments about what’s ultimate. I then address the objection that, because they are easy answerable, questions about what there is cannot be a proper subject of ontological debate. (shrink)

It’s widely accepted that we have most reason to accept theories that best fulfill the following naturalistically respectable criteria: internal consistency, consistency with the facts, and exemplification of the theoretical virtues. It’s also widely accepted that metaphysical theories are necessarily true. I argue that if you accept the aforementioned criteria, you have most reason to reject that metaphysical theories are necessarily true. By applying the criteria to worlds that are all prima facie possible, I show that contingent local matters of (...) particular fact partly determine which theory of composition we should accept at a world. For instance, I argue that when we apply the criteria to our world, we should accept Mereological Nihilism. Furthermore, even if you think that the worlds I mention, such as gunky worlds, are impossible, you should still reject the brute principle that metaphysical theories are necessarily true. Instead, you should only accept that a theory of composition is necessarily true if contingent local matters of particular fact at possible worlds cannot tell in favor of one theory of composition over another. (shrink)

It’s widely accepted that we have most reason to accept theories that best fulfill the following naturalistically respectable criteria: (1) internal consistency, (2) consistency with the facts, and (3) exemplification of the theoretical virtues. It’s also widely accepted that metaphysical theories are necessarily true. I argue that if you accept the aforementioned criteria, you have most reason to reject that metaphysical theories are necessarily true. By applying the criteria to worlds that are all prima facie possible, I show that contingent (...) local matters of particular fact partly determine which theory of composition we should accept at a world. For instance, I argue that when we apply the criteria to our world, we should accept Mereological Nihilism. Furthermore, even if you think that the worlds I mention, such as gunky worlds, are impossible, you should still reject the brute principle that metaphysical theories are necessarily true. Instead, you should only accept that a theory of composition is necessarily true if contingent local matters of particular fact at possible worlds cannot tell in favor of one theory of composition over another. (shrink)

A raft of new philosophical problems concerning truth have recently been discovered by several theorists. These problems concern the question of how ascriptions of truth are to be grounded. Most previous commentators have taken the problems to shed light on the theory of ground. In this paper, I argue that they also shed light on the theory of truth. In particular, I argue that the notion of ground can be deployed to clearly articulate one strand of deflationary thinking about truth, (...) according to which truth is “metaphysically lightweight.” I offer a ground-theoretic explication of the lightness of truth and show how it yields a novel solution to the problems concerning how truth is grounded. So, the theory of truth and the theory of ground interact fruitfully: we can apply the notion of ground to offer a clear explication of the deflationist claim that truth is “metaphysically lightweight” that both captures the motivations for that claim and solves the problems. (shrink)

I provide a case-by-case definition of essential truths based on the notions of metaphysical necessity and ontological dependence. Relying on suggestions in the literature, I adopt a definition of the latter notion in terms of the notion of ground. The resulting account is adequate in the sense that it is not subject to Kit Fine’s famous counterexamples to the purely modal account of essence. In addition, it provides us with a novel conception of truths pertaining to the essence of objects, (...) which might help to dispel doubts on the legitimacy of the notion of essence itself. (shrink)

Temporal ontology is the part of ontology involving the rival positions of presentism, eternalism, and the growing block theory. While this much is clear, it’s surprisingly difficult to elucidate the substance of the disagreement between presentists and eternalists. Certain events happened that are not happening now; what is it to disagree about whether these events exist? In spite of widespread suspicion concerning the status and methods of analytic metaphysics, skeptics’ doubts about this debate have not generally been heeded, neither by (...) metaphysicians, nor by philosophers of physics. This paper revisits the question in the light of prominent elucidation attempts from both camps. The upshot is that skeptics were right to be puzzled. The paper then explores a possible re-interpretation of positions in temporal ontology that links it to normative views about how we should live as temporal beings. (shrink)

What, if anything, makes death bad for the deceased themselves? Deprivationists hold that death is bad for the deceased iff it deprives them of intrinsic goods they would have enjoyed had they lived longer. This view faces the problem that birth too seems to deprive one of goods one would have enjoyed had one been born earlier, so that it too should be bad for one. There are two main approaches to the problem. In this paper, I explore the second (...) approach, by Anthony Brueckner and John Martin Fischer, and suggest that it can be developed so as to meet deprivationists’ needs. On the resulting view, metaphysical differences between the future and the past give rise to a corresponding axiological difference in the intrinsic value of future and past experiences. As experiences move into the past, they lose their intrinsic value for the person. (shrink)

Alex Byrne’s article, “Are Women Adult Human Females?”, asks a question that Byrne treats as nearly rhetorical. Byrne’s answer is, ‘clearly, yes’. Moreover, Byrne claims, 'woman' is a biological category that does not admit of any interpretation as (also) a social category. It is important to respond to Byrne’s argument, but mostly because it is paradigmatic of a wider phenomenon. The slogan “women are adult human females” is a political slogan championed by anti-trans activists, appearing on billboards, pamphlets, and anti-trans (...) online forums. In this paper, I respond to Byrne’s argument, revealing significant problems with its background assumptions, content, and methodology. (shrink)

A fundamental question in responsibility theory concerns the relation between being responsible and our practices of holding responsible. ‘Strawsonians’ often claim that being responsible is somehow a function of our practices of holding responsible, while others think that holding responsible depends on being responsible, and still others think of being and holding responsible as interdependent. Based on a Wittgensteinian reading of Strawson, I develop an account of the relation between being and holding responsible which respects major concerns of all parties (...) in this debate. I characterize the way in which being responsible depends on holding responsible as genealogical, and the way in which holding responsible depends on being responsible as justificatory. I show how my account cuts across received ways of carving up the debate, and how it allows for all the kinds of fallibility about moral responsibility that are worth wanting. (shrink)

Scientific properties come in degrees: elephants are more massive than mice. Are facts like these fundamental or can they be explained in other terms? This article argues that the structure of physical quantities like mass reduces to facts about the role that mass plays in the laws of nature. On this view elephants are more massive than mice partly in virtue of the fact that elephants are harder to throw around.

In recent years philosophers have been interested in the methodology of metaphysics. Most of these developments are related to formal work in logic or physics, often against the backdrop of the Carnap-Quine debate on ontology. Drawing on Quine’s later work, I argue that a psychological or cognitive perspective on metaphysical topics may be a valuable addition to contemporary metametaphysics. The method is illustrated by means of cognitive studies of the notions “identity,” “vagueness,” and “object” and is compared to other extant (...) metametaphysical positions. (shrink)

Different versions of the A-theory of time are traditionally defined in terms of whether everything is present, or whether there are also past and future things. In this paper I argue that the traditional way of defining A-theories should be abandoned. I focus on the traditional definition of presentism, according to which always, everything is present. First, I argue that there are good reasons to reject all the most plausible interpretations of the predicate ‘is present’ as it appears in the (...) traditional definition of presentism. It follows that there are also good reasons to reject the most plausible interpretations of the traditional definitions of the other A-theories. I then argue that there is a better way of defining the A-theories, in terms of the question of whether existence has a beginning and an end. Finally, I argue that what goes for the traditional definition of presentism goes for the traditional definition of its modal analogue actualism, according to which necessarily, everything is actual : there are good reasons to reject the traditional definition of actualism in favour of a definition in terms of contingent existence. (shrink)

The aim of this paper is to describe and defend the moving spotlight theory of time. I characterise the moving spotlight theory as the conjunction of two theses: permanentism, the thesis that everything exists forever, and the A-theory, the thesis that there is an absolute, objective present time. I begin in Sect. 2 by clearing up some common misconceptions about the moving spotlight theory, focusing on the discussion of the theory in Sider. In doing so, I also fill-out the barebones (...) picture of the moving spotlight theory as the conjunction of permanentism and the A-theory. In Sect. 3 I show how moving spotlighters can avoid the two common objections to their view, the McTaggartian argument that the view is contradictory, and the epistemic argument that the view implies that we should believe we are not located at the present moment. I conclude that the moving spotlight theory does not deserve its current relative unpopularity. (shrink)

Bradford Skow’s Objective Becoming (2015) is a strikingly original and philosophically rich contribution to contemporary philosophy of time. The book rewards very careful study, and is surely a ‘must-read’ for anyone with an interest in current debates concerning time and change. Perhaps the most immediately compelling aspect of the book is its leading question: if I [Skow] didn’t already accept the ‘block universe theory’ (BU),1 which theory of time would I defend? Skow’s surprising (and, from my perspective, welcome!) answer is (...) that he would defend some version of the Moving Spotlight Theory (MST). However, Skow’s reason for this answer is less familiar: it is that MST—unlike BU and its popular rival Presentism—‘contains robust passage’. Skow goes on to (quite convincingly, in my view) defend two versions of MST against a number of common objections: ‘MST-Supertense’ and ‘MST-Time’. In the first part of this paper (§1), I investigate the question of what it is for a theory to contain robust passage in Skow’s sense. In particular, I argue that given Skow’s arguments in favour of robust passage, he should probably not count MST-Time as a theory that contains robust passage. I also argue that there are better reasons to reject BU than those Skow describes. In the second part of the paper (§2), I focus on Skow’s MST-Supertense. I argue that there are reasons for MSTers to reject MST-Supertense in favour of a more ‘traditional’ version of MST (the view I call ‘Classic MST’). (shrink)

According to the A-theory of time some instant of time is absolutely present. Many reject the A-theory on the grounds that it is inconsistent with current spacetime physics, which appears to leave no room for absolute presentness. However, some reject the A-theory on purely philosophical grounds. In this article I describe three purely philosophical arguments against the A-theory and show that there are plausible A-theoretic responses to each of them. I conclude that, whatever else is wrong with the A-theory, it (...) is not obviously a philosophically suspect theory. (shrink)

Recently, some authors – call them Reformists – have argued that the traditional Presentism-Eternalism and Actualism-Possibilism debates in the metaphysics of time and modality respectively are unclear or insubstantial, and should therefore give way to the newer Temporaryism-Permanentism and Contingentism- Necessitism debates. In ‘On characterising the presentism/eternalism and actualism/possibilism debates’ (2016, Analytic Philosophy 57: 110-140), Ross Cameron defends the Conservative position that the traditional debates are both substantial and distinct from the Temporaryism-Permanentism and Contingentism- Necessitism debates. In this paper I (...) provide a Reformist response to Cameron’s arguments. (shrink)

Ockham’s Razor advises us to not multiply entities without necessity. Recently, Jonathan Schaffer and Karen Bennett have argued that we ought to replace Ockham’s Razor with the Laser, the principle that only advises us to not multiply fundamental entities without necessity. In this paper, I argue that Ockham’s Razor is preferable to the Laser. I begin by contending that the arguments offered for the Laser by Schaffer and Bennett are unpersuasive. Then I offer two cases of theory assessment that I (...) believe the Razor handles better than the Laser. Finally, I argue that accepting the Laser gives rise to a difficult explanatory challenge: It is difficult to explain why fundamental entities and non-fundamental entities ought to be treated differently in ontological parsimony assessments. A recurring secondary theme of the paper is that the most tempting ways of responding to my arguments frequently result in the Laser losing much of its significance for debates about ontology. Thus, not only is it difficult to defend a preference for the Laser over the Razor, but it is especially difficult to do so while maintaining the Laser’s dialectical significance. (shrink)

Much recent metaphysics is built around notions such as naturalness, fundamentality, grounding, dependence, essence, and others besides. In this article I raise a problem for this kind of metaphysics, the “problem of missing value.” I survey a number of possible solutions to the problem and find them all wanting. This suggests a return to a kind of Goodmanian view that the world is a structureless mess onto which we project our own categorizations, not something with categories already built in.

The Principle of Sufficient Reason states that everything has an explanation. But different notions of explanation yield different versions of this principle. Here a version is formulated in terms of the notion of a “grounding” explanation. Its consequences are then explored, with particular emphasis on the fact that it implies necessitarianism, the view that every truth is necessarily true. Finally, the principle is defended from a number of objections, including objections to necessitarianism. The result is a defense of a “rationalist” (...) metaphysics, one that constitutes an alternative to the contemporary dogmas that some aspects of the world are “metaphysically brute” and that the world could in so many ways have been different. (shrink)

Our best sciences are frequently held to be one way, perhaps the optimal way, to learn about the world’s higher-level ontology and structure. I first argue that which scientific theory is “best” depends in part on our goals or purposes. As a result, it is theoretically possible to have two scientific theories of the same domain, where each theory is best for some goal, but where the two theories posit incompatible ontologies. That is, it is possible for us to have (...) goal-dependent pluralism in our scientific ontologies. This ontological pluralism arises simply from our inability to directly know the world’s objects, rather than any particular claims about our cognitive limits, values, or social structures. I then present two case studies in which this possibility actually occurs—one based on simulations and theoretical analyses of constructed causal systems, and one from actual scientific investigations into the proper ontology for ocean regions. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

This paper explores the issue whether feminism needs a metaphysical grounding, and if so, what form that might take to effectively take account of and support the socio-political demands of feminism; addressing these demands I further propose will also contribute to the resolution of other social concerns. Social constructionism is regularly invoked by feminists and other political activists who argue that social injustices are justified and sustained through hidden structures which oppress some while privileging others. Some feminists (Haslanger and Sveinsdóttir, (...) Feminist metaphysics. In E. N. Zalta (Ed.), Stanford encyclopedia of philosophy. Stanford: Stanford University, 2011) argue that the constructs appealed to in social constructivism are real but not metaphysically fundamental because they are contingent. And this is exactly the crux of the problem—is it possible to sustain an engaged feminist socio-political critique for which contingency is central (i.e., that things could be otherwise) and at the same time retain some kind of metaphysical grounding. Without metaphysical grounding it has been argued, the feminist project may be rendered nonsubstantive (Sider, Substantivity in feminist metaphysics. Philosophical Studies, 174(2017), 2467–2478, 2017). There has been much debate around this issue and Sider (as an exemplar of the points under contention) nuances the claims expressed in his earlier writings (Sider, Writing the book of the world. Oxford: Clarendon Press, 2011) and later presents a more qualified account (Sider, Substantivity in feminist metaphysics. Philosophical Studies, 174(2017), 2467–2478, 2017). Nonetheless, I propose the critiques and defences offered by the various parties continue to depend on certain erroneous assumptions and frameworks that are challengeable. I argue that fundamentality as presented in many of these current accounts, which are underpinned by the explicit or implicit ontologies of monism and dualism and argued for in purely rationalist terms which conceive of subjects as primarily reason-responding agents, reveal basic irresolvable problems. I propose that addressing these concerns will be possible through an enactivist account which, following phenomenology, advances an ontology of interdependence and reconceives the subject as first and foremost an organism immersed in a meaningful world as opposed to a primarily reason-responding agent. Enactivism is thus, I will argue, able to legitimize feminist socio-political critiques by offering a non-reductive grounding in which not only are contingency and fundamentality reconciled, but in which fundamentality is in fact defined by radical contingency. My paper proceeds in dialogue with feminists generally addressing this ‘metaphysical turn’ in feminism and specifically with Sally Haslanger and Mari Mikkola. (shrink)

The paper discusses the importance of making distinctions for philosophy of religion. It argues that metaphysics is the philosophical attempt to draw out a system of distinctions that help us to make sense of our life in the world. Metaphysics is not a theoretical or speculative but a practical enter prise. Its task is not to offer ultimate explanations and “explain the world” in terms of its fundamental structure, but provide comprehensive orientation by unfolding a practice of orientation such as (...) everyday life or the life of faith or a religious practice. (shrink)

In the ‘ordinary business of life’, everyone makes claims about what there is. For instance, we say things like: ‘There are some beautiful chairs in my favourite furniture shop’. Within the context of philosophical debate, some philosophers also make claims about what there is. For instance, some ontologists claim that there are chairs; other ontologists claim that there are no chairs. What is the relation between ontologists’ philosophical claims about what there is and ordinary claims about what there is? According (...) to Cian Dorr, ontologists’ claims and denials of existence belong to ‘a sort of professional jargon’. Dorr claims, for example, that ‘There are prime numbers between 20 and 30’ can be used superficially or used fundamentally. Ordinary uses of are superficial: we use the sentence to assert a boring, well-known truth. But in the ontology room, is used fundamentally, to assert that numbers are ‘part of the ultimate furniture of reality’: and this is a substantial metaphysical doctrine, not a boring truth. In this paper, we will show that none of Dorr’s arguments for these claims succeeds. (shrink)

O czterech typach argumentacji na rzecz logiki klasycznej Moim celem w tym artykule jest analiza argumentacji pod kątem poprawności standardowej logiki. Formułuję też kilka uwag krytycznych i porównawczych. Skupiam się na czterech najbardziej spójnych i kompletnych argumentach, które próbują uzasadnić wyróżnione stanowisko logiki klasycznej. Istnieją następujące argumenty: argumentacja pragmatyczno-metodologiczna Willarda van O. Quine’a, argumentacja filozoficzno-metalogiczna Jana Woleńskiego, argumentacja ontologiczno-semantyczna Stanisława Kiczuka, argumentacja metalogiczna. Moim zdaniem teza o poprawności logiki klasycznej jest racjonalnie uzasadniona tymi argumentacjami. Pozostaje problem, czy analizowana logika standardowa (...) jest jedyną właściwą logiką. (shrink)

According to the modal view, essence admits of reductive analysis in exclusively modal terms. Fine (1994) argues that modal view delivers an inadequate analysis of essence. This paper defends the modal view from Fine's challenge. This defense proceeds by examining the disagreement between Finean primitivists and Quinean eliminativists about essence. In order to model this disagreement, a distinction between essence and a separable concept, nature, is required. This distinction is then used to show that Fine's challenge is misdirected and therefore (...) unsuccessful. (shrink)

Haecceitism and Hume’s Dictum are each controversial theses about necessity and possibility. According to haecceitism, there are qualitatively indiscernible possible worlds that differ only with respect to which individuals occupy which qualitative roles. According to Hume’s Dictum, there are no necessary connections between distinct entities or, as Humeans sometimes put it, reality admits of “free recombination” so any entities can co-exist or fail to co-exist. This paper introduces a puzzle that results from the combination of haecceitism and Hume’s Dictum. This (...) puzzle revolves around the free recombination of non-qualitative properties like being Socrates. After considering several responses to this puzzle, I defend an ideology-driven solution, which dispenses with non-qualitative properties like being Socrates in favour of primitive theoretical ideology while, at the same time, preserving a commitment to both haecceitism and Hume’s Dictum. (shrink)

The distinction between qualitative properties like mass and shape and non-qualitative properties like being Napoleon and being next to Obama is important, but remains largely unexamined. After discussing its theoretical significance and cataloguing various kinds of non-qualitative properties, I survey several views about the nature of this distinction and argue that all proposed reductive analyses of this distinction are unsatisfactory. I then defend primitivism, according to which the distinction resists reductive analysis.

Many familiar forms of property realism identify properties with sui generis ontological categories like universals or tropes and posit a fundamental instantiation relation that unifies objects with their properties. In this paper, I develop and defend locationism, which identifies properties with locations and holds that the occupation relation that unifies objects with their locations also unifies objects with their properties. Along with the theoretical parsimony that locationism enjoys, I argue that locationism resolves a puzzle for actualists regarding the ontological status (...) of uninstantiated properties. I also note some promising applications of the locationist framework to the metaphysics of quantities and possible worlds. (shrink)

The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds : ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative parsimony, commonly drawn regarding ontological commitments, to the domain of ideological commitments. I then argue that qualitative ideological parsimony is a theoretical virtue. My (...) defense proceeds by demonstrating the merits of qualitative ideological parsimony and by showing how the qualitative conception of ideological parsimony undermines two notable arguments from ideological parsimony: David Lewis’ defense of modal realism and Ted Sider’s defense of mereological nihilism. (shrink)

According to some contemporary nonnaturalists about normativity (e.g., Parfit, Scanlon, Dworkin), normative facts exist in an ontologically non-committing sense. These nonnaturalists face an explanatory burden. They must explain their claim that normative facts exist in such a sense. I identify criteria for an adequate explanation, and extract five distinct candidate explanations from the writings of these authors (based on causal efficacy, analogy with modality, fundamentality, domain-relativity and first-order considerations respectively). I assess each. None is both (a) informative and (b) recognizable (...) as a version of contemporary nonnaturalism. In light of this, I assess the best options for proponents of this view. (shrink)

I introduce a proof system for the logic of relative fundamentality, as well as a natural semantics with respect to which the system is both sound and complete. I then “modalise” the logic, and finally I discuss the properties of grounding given a suggested account of this notion in terms of necessity and relative fundamentality.

Scientific realism is usually presented as if metaphysical realism (i.e. the thesis that there is a structured mind-independent external world) were one of its essential parts. This paper aims to examine how weak the metaphysical commitments endorsed by scientific realists could be. I will argue that scientific realism could be stated without accepting any form of metaphysical realism. Such a conclusion does not go as far as to try to combine scientific realism with metaphysical antirealism. Instead, it amounts to the (...) combination of the former with a weaker view, called quietism, which is agnostic on the existence of mind-independent structures. In Sect. 2, I will argue that the minimal claim that brings together every scientific realist view is devoid of any metaphysical commitment. In Sect. 3, I will define metaphysical realism and antirealism. Such work will be instrumental in providing a more precise statement of quietism. Finally (Sect. 4), I will argue that assuming quietism, it is still possible to make sense of the debate between scientific realists and antirealists. (shrink)

Metaphysical explanations, unlike many other kinds of explanation, are standardly thought to be insensitive to our epistemic situation and so are not evaluable by cognitive values such as salience. I consider a case study that challenges this view. Some properties are distributed over an extension. For example, the property of being polka-dotted red on white, when instantiated, is distributed over a surface. Similar properties have been put to work in a variety of explanatory tasks in recent metaphysics, including: providing an (...) analysis of change, giving to presentists truthmakers for past claims; giving to priority monists an account of basic heterogeneous entities; and giving to friends of extended simples an explanation of how an extended simple can enjoy qualitative variation. I argue that such explanations exhibit salience failure. How ought we represent the semantics of salience? Differences in linguistic stress induce semantic differences similar to the semantic differences induced in explanations by differences in salience, and I will draw an analogy with linguistic theories of focus sensitivity to sketch how one might model the role of salience in these kinds of explanations. I end with a few tentative conclusions about the role of cognitive values in metaphysical explanations. Some theorists view the citation of a ground as a sufficient explanation. If certain explanations appealing to distributed properties exhibit attenuated salience, then arguably the mere citation of a ground does not always provide an adequate explanation. (shrink)

The relation of ontological dependence or grounding, expressed by the terminology of separation and priority in substance, plays a central role in Aristotle’s Categories, Metaphysics, De Anima and elsewhere. The article discusses three current interpretations of this terminology. These are drawn along the lines of, respectively, modal-existential ontological dependence, essential ontological dependence, and grounding or metaphysical explanation. I provide an opinionated introduction to the topic, raising the main interpretative questions, laying out a few of the exegetical and philosophical options that (...) influence one’s reading, and locating questions of Aristotle scholarship within the discussion of ontological dependence and grounding in contemporary metaphysics. (shrink)

I provide and defend two natural accounts of fundamentality for facts that do justice to the idea that the “degree of fundamentality” enjoyed by a fact is a matter of how far, from a ground-theoretic perspective, the fact is from the ungrounded facts.

Many philosophers have recently been impressed by an argument to the effect that all grounding facts about “derivative entities”—e.g. the facts expressed by the (let us suppose) true sentences ‘the fact that Beijing is a concrete entity is grounded in the fact that its parts are concrete’ and ‘the fact that there are cities is grounded in the fact that p’, where ‘p’ is a suitable sentence couched in the language of particle physics—must themselves be grounded. This argument relies on (...) a principle,Purity, which states that facts about derivative entities are non-fundamental. Purity is questionable. In this paper, I introduce a new argument—the argument fromSettledness—for a similar conclusion but which does not rely on Purity. The conclusion of the new argument is that every “thick” grounding fact is grounded, where a grounding fact [F is grounded in G, H, …] is said to be thick when at least one of F, G, H, … is a fact—a condition that is automatically satisfied if grounding is factive. After introducing the argument, I compare it with the argument from Purity, and I assess its cogency relative to the relevant accounts of the connections between grounding and fundamentality that are available in the literature. (shrink)

I offer an account of fundamentality for facts in terms of metaphysical grounding. The account does justice to the idea that whether a fact is absolutely fundamental, and whether a fact is more fundamental than, or as fundamental as, another fact, are a matter of where in a grounding-induced hierarchy of kinds of facts these facts appear.

Mereological nihilism is the thesis that there are no composite objects—i.e. objects with proper material parts. One of the main advantages of mereological nihilism is that it allows its supporters to avoid a number of notorious philosophical puzzles. However, it seems to offer this advantage only at the expense of certain widespread and deeply entrenched beliefs. In particular, it is usually assumed that mereological nihilism entails eliminativism about ordinary objects—i.e. the counterintuitive thesis that there are no such things as tables, (...) apples, cats, and the like. In this paper, I argue that this assumption is false—mereological nihilists do not need to be eliminativists about tables, apples, or cats. Non-eliminativist nihilists claim that all it takes for there to be a cat is that there are simples arranged cat-wise. More specifically, non-eliminative nihilists argue that expressions such as ‘the cat’ in sentences such as ‘The cat is on the mat’ do not refer to composite objects but only to simples arranged cat-wise and compare this metaphysical discovery to the scientific discovery that ‘water’ refers to dihydrogen oxide. Non-eliminative nihilism, I argue, is not only a coherent position, but it is preferable to its more popular, eliminativist counterpart, as it enjoys the key benefits of nihilism without incurring the prohibitive costs of eliminativism. Moreover, unlike conciliatory strategies adopted by eliminative nihilists, non-eliminative nihilism allow its supporters to account not only for how we can assert something true by saying ‘The cat is on the mat’ but also for how we can believe something true by believing that the cat is on the mat. (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 is part of a book symposium on Theodore Sider's Writing the Book of the World.

The paper argues that natural language quantification, as expressed by determiner phrases, is not polysemous. The foil for this claim is Hofweber, who contends that natural language quantification is polysemous between a domain reading and an inferential reading. The thesis is intended to support a more general division between externalist and internalist positions in semantics. The paper, to the contrary, argues that there is no linguistic evidence for polysemous quantification, and Hofweber’s proposal proves to be non-compositional. Further, an approach at (...) least consistent with internalism is available independent of an inferential reading, for natural language quantification can be read as ontologically neutral, which removes the rationale for the polysemy hypothesis. The paper remains neutral on so-called heavyweight vs. lightweight construals of quantification, which are not claims about natural language semantics. (shrink)