It is uncontroversial that artifacts like statues and tables are mind-dependent. What is controversial is whether and how this mind-dependence has implications for the ontology of artifacts. I argue the mind-dependence of artifacts entails that there are no artifacts or artifact joints in the extra-mental world. In support of this claim, I argue that artifacts and artifact joints lack any extra-mental grounding, and so ought not to have a spot in a realist ontology. I conclude that the most plausible story (...) about artifacts is that they are in minds of suitably intelligent creatures, and not the extra-mental world. Artifacts and their joints are merely mental projections onto a world of ‘indifferent materials’. With this established, I show how many cases of object coincidence, the view that more than one material object can be located in the same exact region of space-time, cannot occur. (shrink)

Several theists, including Linda Zagzebski, have claimed that theism is somehow committed to nonvacuism about counterpossibles. Even though Zagzebski herself has rejected vacuism, she has offered an argument in favour of it, which Edward Wierenga has defended as providing strong support for vacuism that is independent of the orthodox semantics for counterfactuals, mainly developed by David Lewis and Robert Stalnaker. In this paper I show that argument to be sound only relative to the orthodox semantics, which entails vacuism, and give (...) an example of a semantics for counterfactuals countenancing impossible worlds for which it fails. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

There are three main accounts of scientific progress: 1) the epistemic account, according to which an episode in science constitutes progress when there is an increase in knowledge; 2) the semantic account, according to which progress is made when the number of truths increases; 3) the problem-solving account, according to which progress is made when the number of problems that we are able to solve increases. Each of these accounts has received several criticisms in the last decades. Nevertheless, some authors (...) think that the epistemic account is to be preferred if one takes a realist stance. Recently, Dellsén proposed the noetic account, according to which an episode in science constitutes progress when scientists achieve increased understanding of a phenomenon. Dellsén claims that the noetic account is a more adequate realist account of scientific progress than the epistemic account. This paper aims precisely at assessing whether the noetic account is a more adequate realist account of progress than the epistemic account. (shrink)

In his influential article ‘Essence and Modality’, Fine proposes a definition of necessity in terms of the primitive essentialist notion ‘true in virtue of the nature of’. Fine’s proposal is suggestive, but it admits of different interpretations, leaving it unsettled what the precise formulation of an Essentialist definition of necessity should be. In this paper, four different versions of the definition are discussed: a singular, a plural reading, and an existential variant of Fine’s original suggestion and an alternative version proposed (...) by Correia which is not based on Fine’s primitive essentialist notion. The first main point of the paper is that the singular reading is untenable. The second that given plausible background assumptions, the remaining three definitions are extensionally equivalent. The third is that, this equivalence notwithstanding, Essentialists should adopt Correia’s version of the definition, since both the existential variant, which has de facto been adopted as the standard version of the definition in the literature, and the plural reading suffer from problems connected to Fine’s primitive essentialist notion. (shrink)

This paper examines "moderate modal skepticism", a form of skepticism about metaphysical modality defended by Peter van Inwagen in order to blunt the force of certain modal arguments in the philosophy of religion. Van Inwagen’s argument for moderate modal skepticism assumes Yablo's (1993) influential world-based epistemology of possibility. We raise two problems for this epistemology of possibility, which undermine van Inwagen's argument. We then consider how one might motivate moderate modal skepticism by relying on a different epistemology of possibility, which (...) does not face these problems: Williamson’s (2007: ch. 5) counterfactual-based epistemology. Two ways of motivating moderate modal skepticism within that framework are found unpromising. Nevertheless, we also find a way of vindicating an epistemological thesis that, while weaker than moderate modal skepticism, is strong enough to support the methodological moral van Inwagen wishes to draw. (shrink)

This article surveys recent developments in the epistemology of modality.

The paper argues against Peacocke's moderate rationalism in modality. In the first part, I show, by identifying an argumentative gap in its epistemology, that Peacocke's account has not met the Integration Challenge. I then argue that we should modify the account's metaphysics of modal concepts in order to avoid implausible consequences with regards to their possession conditions. This modification generates no extra explanatory gap. Yet, once the minimal modification that avoids those implausible consequences is made, the resulting account cannot support (...) Peacocke's moderate rationalism. (shrink)

That believing truly as a matter of luck does not generally constitute knowing has become epistemic commonplace. Accounts of knowledge incorporating this anti-luck idea frequently rely on one or another of a safety or sensitivity condition. Sensitivity-based accounts of knowledge have a well-known problem with necessary truths, to wit, that any believed necessary truth trivially counts as knowledge on such accounts. In this paper, we argue that safety-based accounts similarly trivialize knowledge of necessary truths and that two ways of responding (...) to this problem for safety, issuing from work by Williamson and Pritchard, are of dubious success. (shrink)

David Lewis defends the following "non-circular definition of personhood": "something is a continuant person if and only if it is a maximal R-interrelated aggregate of person-stages. That is: if and only if it is an aggregate of person-stages, each of which is R-related to all the rest (and to itself), and it is a proper part of no other such aggregate." I give a counterexample, involving a person who is a part of another, much larger person, with a separate mental (...) life. I then offer an easy repair, which preserves the virtues of Lewis's definition without introducing any new vices. (shrink)

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it does (...) not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

Fictionalists maintain that possible worlds, numbers or composite objects exist only according to theories which are useful but false. Hale, Divers and Woodward have provided arguments which threaten to show that fictionalists must be prepared to regard the theories in question as contingently, rather than necessarily, false. If warranted, this conclusion would significantly limit the appeal of the fictionalist strategy rendering it unavailable to anyone antecedently convinced that mathematics and metaphysics concern non-contingent matters. I try to show that their arguments (...) can be resisted by developing and defending a strategy suggested by Rosen, Nolan and Dorr, according to which the fiction-operator is to be analysed in terms of a counterfactual that admits of non-trival truth-values even when the antecedent is impossible. (shrink)

Mereological nihilism is the view that no objects have proper parts. Despite how counter‐intuitive it is, it is taken quite seriously, largely because it solves a number of puzzles in the metaphysics of material objects – or so its proponents claim. In this article, I show that for every puzzle that mereological nihilism solves, there is a similar puzzle that (a) it doesn’t solve, and (b) every other solution to the original puzzle does solve. Since the solutions to the new (...) puzzles apply just as well to the old puzzles, the old puzzles provide no motivation to be a mereological nihilist. (shrink)

Although contemporary metaphysics has recently undergone a neo-Aristotelian revival wherein dispositions, or capacities are now commonplace in empirically grounded ontologies, being routinely utilised in theories of causality and modality, a central Aristotelian concept has yet to be given serious attention – the doctrine of hylomorphism. The reason for this is clear: while the Aristotelian ontological distinction between actuality and potentiality has proven to be a fruitful conceptual framework with which to model the operation of the natural world, the distinction between (...) form and matter has yet to similarly earn its keep. In this chapter, I offer a first step toward showing that the hylomorphic framework is up to that task. To do so, I return to the birthplace of that doctrine - the biological realm. Utilising recent advances in developmental biology, I argue that the hylomorphic framework is an empirically adequate and conceptually rich explanatory schema with which to model the nature of organisms. (shrink)

Grounding is a powerful metaphysical concept; yet there is widespread scepticism about the intelligibility of the notion. In this paper, I propose an account of an entity’s nature or essence, which I then use to provide grounding conditions for that entity. I claim that an understanding of an entity’s nature, together with an account of how logically complex entities are grounded, provides all we need to understand how that entity is grounded. This approach not only allows us to say what (...) grounds what, it also sheds light on the formal features of the grounding relation. It provides a principled argument for the orthodox view that grounding is irreflexive, asymmetrical, and transitive; but it allows that it may not be well-founded. The resulting approach gives us a powerful framework for understanding nature, grounding, and the relationship between them. (shrink)

'Post this letter!' does not entail 'Post this letter or drink up my wine!' (the Ross Paradox) because one can be in a state with the content of the former without being in a state with the content of the latter; in turn, because the latter can rationalize drinking up my wine but the former cannot; in turn, because practical rationalization flows toward one's present situation, in contrast with the flow of theoretical rationalization from one's present situation. Formally, this is (...) implemented with a semantics for imperatives involving a partition to set up an issue of significance and a proposition to establish how to settle it. I characterize a series of languages and language-games to implement all this, and appeal to an 'endorsement-theoretic' conception of modals as quantifiers over mental states to explain why 'You must post this letter' does not entail 'You must either post this letter or drink up my wine'. (shrink)

In Reasons and Persons, Parfit (1984) posed a challenge: provide a satisfying normative account that solves the Non-Identity Problem, avoids the Repugnant and Absurd Conclusions, and solves the Mere-Addition Paradox. In response, some have suggested that we look toward person-affecting views of morality for a solution. But the person-affecting views that have been offered so far have been unable to satisfy Parfit's four requirements, and these views have been subject to a number of independent complaints. This paper describes a person-affecting (...) account which meets Parfit's challenge. The account satisfies Parfit's four requirements, and avoids many of the criticisms that have been raised against person-affecting views. (shrink)

Arguably no concept is more fundamental to science than that of causality, for investigations into cases of existence, persistence, and change in the natural world are largely investigations into the causes of these phenomena. Yet the metaphysics and epistemology of causality remain unclear. For example, the ontological categories of the causal relata have been taken to be objects (Hume 1739), events (Davidson 1967), properties (Armstrong 1978), processes (Salmon 1984), variables (Hitchcock 1993), and facts (Mellor 1995). (For convenience, causes and effects (...) will usually be understood as events in what follows.) Complicating matters, causal relations may be singular (Socrates’s drinking hemlock caused Socrates’s death) or general (Drinking hemlock causes death); hence the relata might be tokens (e.g., instances of properties) or types (e.g., types of events) of the category in question. Other questions up for grabs are: Are singular causes metaphysically and/or epistemologically prior to general causes or vice versa (or neither)? What grounds the intuitive asymmetry of the causal relation? Are macro-causal relations reducible to micro-causal relations? And perhaps most importantly: Are causal facts (e.g., the holding of causal relations) reducible to non-causal facts (e.g., the holding of certain spatiotemporal relations)? (shrink)

This paper extends the definition of strong supervenience to cover classes of relations of any adicity, including transworld relations. It motivates that project by showing that not all interesting supervenience claims involving relations are global supervenience claims. The proposed definition has five welcome features: it reduces to the familiar definition in the special case where the classes contain only monadic properties; it equips supervenience with the expected formal properties, such as transitivity and monotonicity; it entails that a relation supervenes on (...) its converse; it classifies certain paradigms correctly; it makes distinctions even in the realm of the non-contingent, as witnessed by the fact that identity does not supervene on any class of relations. Finally, the paper applies the defined concept, and the related concept of orthogonality, to the study of internal and external relations. (shrink)

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 \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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (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} are 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 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 $\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. 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 \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 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 \textbf{13} examines modal responses to the alethic paradoxes. 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)

An intuitive objection to modal realism is that merely possible worlds and their inhabitants seem to be irrelevant to an analysis of modality. Kripke originally phrased the objection in terms of being concerned about one’s modal properties without being concerned about the properties one’s other-worldly counterparts have. The author assesses this objection in a variety of forms, and then provides his own formulation that does not beg the question against the modal realist. Finally, the author considers two potential answers to (...) the objection so understood and concludes that only one of them has a chance of succeeding. (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)

This paper considers two aspects of Lewis's metaphysics to which spatiotemporal relations appear central, with the aim of showing them to be less so. First, Lewis reluctantly characterises what it is for two things to be part of the same possible world in terms of an analogically spatiotemporal category of relations, rather than a wider natural external category. But Lewis's reason for restricting himself to the narrower category is unpersuasive. Second, Humean supervenience is formulated with spatiotemporal relations at its core. (...) But that seems negotiable. A reason for caring about this is that quantum mechanics is supposed to threaten Lewis's metaphysics by introducing natural external relations that are not spatiotemporal, hence the interest in how central spatiotemporal relations really are. (shrink)

Endurantists have recently faced a mereological puzzle in various forms. Here I argue that, instead of presenting a genuine worry, the puzzle actually reveals a common misunderstanding about the endurantist ontology. Furthermore, through this discussion of the alleged problem and the misunderstanding which motivates it, I reveal metaphysical commitments the endurantist has that may not be widely recognized. For instance, she is committed to interesting and perhaps controversial views about shape and location. I highlight these commitments and what they mean (...) for the endurantist. (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)

Some philosophers deny the existence of composite material objects. Other philosophers hold that whenever there are some things, they compose something. The purpose of this paper is to scrutinize an objection to these revisionary views: the objection that nihilism and universalism are both unacceptably uncharitable because each of them implies that a great deal of what we ordinarily believe is false. Our main business is to show how nihilism and universalism can be defended against the objection. A secondary point is (...) that universalism is harder to defend than nihilism. (shrink)

In 1952, two well-known characters called ‘A’ and ‘B’ met for the first time to argue about the Identity of Indiscernibles (Black, 1952). A argued that the principle is true, and B that it is false. By all accounts A took a bit of a beating and came out worst-off. Forty-three years later John O’Leary-Hawthorne offered a response on behalf of A that looked as if it would work so long as A was willing to accept the universal-bundle theory of (...) substance (Hawthorne, 1995). In 1997, A and B met again (Zimmerman, 1997). A took Hawthorne’s advice and revealed himself as a universal-bundle theorist. But B was well-prepared, and once more A took a beating. Since then Gonzalo Rodriguez-Pereyra (2004) has put the boot in, offering further criticism of A’s position. In recent years A has been rather quiet, leaving B to reign as the undisputed champion. However, it turns out that A is down, but not out. And now it’s time for A’s revenge. (shrink)

In ‘Ramseyan Humility’ Lewis presents the Permutation Argument for quidditism. As he presents it the argument is simple enough, but once one digs beneath its surface, and attempts to understand it in strictly Lewisian terms, difficulties arise. The fundamental difficulty is that, as he presents it, the argument only seems to be sound if one rejects views that Lewis explicitly holds. One aim of this paper is to clarify the argument to show that one can make sense of it in (...) strictly Lewisian terms. In so doing I clarify Lewis’s view, clearly lay out the commitments that Lewis has, and define quidditism in strictly Lewisian terms. However, I also have a secondary aim. Lewis accepts that quidditism entails a form of scepticism, that he calls ‘Humility’. However, by an extension of the permutation argument I show that quidditism entails a form of scepticism, that I call ‘Diffidence’, that is far more wide-reaching than Humility. (shrink)

Many accounts of scientific modeling conceive of models as fictions: scientists interact with models in ways analogous to various aesthetic objects. Fictionalists follow most other accounts of modeling by taking them to be revelatory of the actual world in virtue of bearing some resemblance relation to a target system. While such fictionalist accounts capture crucial aspects of modelling practice, they are ill-suited to some design and engineering contexts. Here, models sometimes serve to underwrite design projects whereby real-world targets are constructed. (...) In such circumstances, it is unclear what the model is supposed to resemble. Further, while fictionalists often require that models qua models have their content in virtue of construal or interpretation, in some engineering and design contexts success-conditions do not require such content—all that is required is that the model generates the required outputs. I take these points to motivate a view which accommodates fictionalism, but is broader. I articulate and defend an account of models as tools: specifically, material objects which are put to particular uses in particular contexts. (shrink)

The paper presents a new theory of perceptual demonstrative thought, the property-dependent theory. It argues that the theory is superior to both the object-dependent theory (Evans, McDowell) and the object-independent theory (Burge).

This paper presents and defends an account of the coincidence of biological organisms with mereological sums of their material components. That is, an organism and the sum of its material components are distinct material objects existing in the same place at the same time. Instead of relying on historical or modal differences to show how such coincident entities are distinct, this paper argues that there is a class of physiological properties of biological organisms that their coincident mereological sums do not (...) have. The account answers some of the most pressing objections to coincidence, for example the so-called grounding problem , that material coincidence seems to require that coinciding objects have modal differences that do not supervene on any other properties. (shrink)

Philosophers often talk about and engage with ideas. Scientists, artists, and historians do, too. But what is an idea? In this paper, we first motivate the desire for an ontology of ideas before discussing what conditions a candidate ontology would have to satisfy to be minimally adequate. We then offer our own account of the ontology of ideas, and consider various strategies for specifying the underlying metaphysics of the account. We conclude with a discussion of potential future work to be (...) done on the ontology of ideas. (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)

It is commonly claimed that rule consequentialism (utilitarianism) collapses into act consequentialism, because sometimes there are benefits from breaking the rules. I suggest this argument is less powerful than has been believed. The argument requires a commitment to a very particular (usually implicit) account of feasibility and constraints. It requires the presupposition that thinking of rules as the relevant constraint is incorrect. Supposedly we should look at a smaller unit of choice—the single act—as the relevant choice variable. But once we (...) see feasibility as a matter of degree, there is no obvious cut-off point for how broadly we should think about the constraints on our choices. Treating “a bundle of choices” as a relevant free variable is no less defensible than treating “a single act” as the relevant free variable. Rule utilitarianism, rule consequentialism, and other rules-based approaches are stronger than their current reputation. (shrink)

Attributions of omnipresence, most familiar within the philosophy of religion, typically take the omnipresence of an entity to either consist in that entity's occupation of certain regions or be dependent upon other of that entity's attributes, such as omnipotence or omniscience. This paper defends an alternative conception of omnipresence that is independent of other purported divine attributes and dispenses with occupation. The resulting view repurposes the metaphysics of necessitism and permanentism, taking omnipresent entities to be those entities that exist at (...) all regions. This view is then shown to best accommodate attributions of omnipresence to a diverse range of metaphysical posits, like abstract entities, and a more diverse class of religious posits. (shrink)

Bonaventure is sometimes taken to be an ante litteram champion of the four-dimensional theory of persistence. I argue that this interpretation is incorrect: Bonaventure was no four-dimensionalist.

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

Papers about philosophy, as distinct from papers within it, are like homeopathic medicines – thin in content. We can only hope to provide some substance if we confine ourselves to some particular aspect. The aspect I have chosen to discuss is this. What hope should we have of finding from within this rather curious and academic subject of ours a help in the affairs of life? Could we expect a doctor of philosophy to give practical advice, rather like a medical (...) doctor? (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)

The common wisdom, among philosophers of language and metaphysicians of analytic tradition, is that though only actual things exist, ‘being actual’ and its cognates do not ascribe a special feature...

Many philosophers think that, necessarily, any material objects have a fusion (let’s call that doctrine “Universalism”). In this paper I point out a couple of strange consequences of Universalism and related doctrines, and suggest that they are strange enough to constitute a powerful argument against those views.