Fabrice Correia

It would be a good thing to have at our disposal a general theory of location that is neutral with respect to the view that some objects have more than one exact location, the view that some objects are located without having an exact location, and the view that some objects are “spanners”—where a spanner is an object exactly located at a region that has proper parts but which has no proper part exactly located at a proper part of the region. As far as I know, no theory of location that can be found in the literature has this feature. I put forward a new theory that does—or so I argue. The theory takes as its sole locational primitive the notion of being entirely located at.

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.

In a recent article forthcoming in *Mind*, Leech (2020) presents a challenge for essentialist accounts of metaphysical modality: why should it be that essences imply corresponding necessities? Leech’s main focus is to argue that one cannot overcome the challenge by utilizing an account of essence in terms of generalized identity due to Correia and Skiles (2019), on pain of circularity. In this reply, we will show how to use identity-based essentialism to bridge ‘epistemic’ and ‘explanatory’ understandings of this alleged essence-to-necessity gap without circularity, Leech’s arguments notwithstanding. We do so by first presenting a novel proof that generalized identities imply corresponding necessities. We then propose several substantive identity-based explanations of how it is, exactly, that essences imply necessities.

Temporaryism—the view that not always everything always exists—comes in two main versions: presentism and expansionism (aka the growing block theory of time). Both versions of the view are commonly formulated using the notion of being present, which we, among others, find problematic. Expansionism is also sometimes accused of requiring extraordinary conceptual tools for its formulation. In this paper, we put forward systematic characterizations of presentism and expansionism which involve neither the notion of being present nor unfamiliar conceptual tools. These characterizations are full-blown logics, each logic comprising an axiomatic proof system and an intuitive semantics with respect to which the system is both sound and complete.

Realism about tense is the view that the contrast between what was, what is and what will be the case is real, and not merely a projection of our ways of thinking. Does this view entail realism about temporal passage, namely the view that time really passes, in the same sense of ‘real’? We argue that the answer is affirmative for many versions of tense realism, and indeed for all sensible versions. We thereby address an important conceptual issue regarding these two forms of realism and rebut recent claims that tense realism is compatible with anti-realism about temporal passage.

We argue that sensitivity to the distinction between the tensed notion of being something and the tensed notion of being located at the present time serves as a good antidote to confusions in debates about time and existence, in particular in the debate about how to characterise presentism, and saves us the trouble of going through unnecessary epicycles. Both notions are frequently expressed using the tensed verb ‘to exist’, making it systematically ambiguous. It is a commendable strategy to avoid using that verb altogether in these contexts and to use quantification and a location predicate instead.

This monograph is a detailed study, and systematic defence, of the Growing Block Theory of time (GBT), first conceived by C.D. Broad. The book offers a coherent, logically perspicuous and ideologically lean formulation of GBT, defends it against the most notorious objections to be found in the extant philosophical literature, and shows how it can be derived from a more general theory, consistent with relativistic spacetime, on the pre-relativistic assumption of an absolute and total temporal order. The authors devise axiomatizations of GBT and its competitors which, against the backdrop of a shared quantified tense logic, significantly improves the prospects of their comparative assessment. Importantly, neither of these axiomatizations involves commitment to properties of presentness, pastness or futurity. The authors proceed to address, and defuse, a number of objections that have been marshaled against GBT, including the so-called epistemic objection according to which the theory invites skepticism about our temporal location. The challenge posed by relativistic physics is met head-on, by replacing claims about temporal variation by claims about variation across spacetime. The book aims to achieve the greatest possible rigor. The background logic is set out in detail, as are the principles governing the notions of precedence and temporal location. The authors likewise devise a novel spacetime logic suited for the articulation, and comparative assessment, of relativistic theories of time. The book comes with three technical appendices which include soundness and completeness proofs for the systems corresponding to GBT and its competitors, in both their pre-relativistic and relativistic forms. The book is primarily directed at researchers and graduate students working on the philosophy of time or temporal logic, but is of interest to metaphysicians and philosophical logicians more generally.

Some of the most eminent and enduring philosophical questions concern matters of priority: what is prior to what? What 'grounds' what? Is, for instance, matter prior to mind? Recently, a vivid debate has arisen about how such questions have to be understood. Can the relevant notion or notions of priority be spelled out? And how do they relate to other metaphysical notions, such as modality, truth-making or essence? This volume of new essays, by leading figures in contemporary metaphysics, is the first to address and investigate the metaphysical idea that certain facts are grounded in other facts. An introduction introduces and surveys the debate, examining its history as well as its central systematic aspects. The volume will be of wide interest to students and scholars of metaphysics.

This chapter responds to criticismsmade in Volume 8 of this series, in reply to another chapter of that volume. The initial chapter resurrected the Growing Block Theory from its grave, devising a coherent formulation of it and arguing that its burial was premature. It aimed to show that GBT has the wherewithal to explain how we might easily come to know that we are living on the edge of reality posited by GBT. Braddon-Mitchell, in the reply, remained unconvinced. His objections are addressed here.

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.

In recent publications, Kit Fine devises a classification of A-theories of time and defends a non-standard A-theory he calls fragmentalism, according to which reality as a whole is incoherent but fragments into classes of mutually coherent tensed facts. We argue that Fine's classification in not exhaustive, as it ignores another non-standard A-theory we dub dynamic absolutism, according to which there are tensed facts that stay numerically the same and yet undergo qualitative changes as time goes by. We expound this theory in some detail and argue that it is a serious alternative to the positions identified by Fine.

We argue that presentism, understood as a view about time and existence, can perspicuously be defined in opposition to all other familiar contenders without appeal to any notion of presentness or cognate notions such as concreteness. Given recent worries about the suitability of such notions to cut much metaphysical ice, this should be welcomed by presentism's defenders. We also show that, irrespective of its sparse ideology, the proposed formulation forestalls any deviant interpretation at odds with the view it aims to capture.

'Ontological dependence' is a term of philosophical jargon which stands for a rich family of properties and relations, often taken to be among the most fundamental ontological properties and relations. Notions of ontological dependence are usually thought of as 'carving reality at its ontological joints', and as marking certain forms of ontological 'non-self-sufficiency'. The use of notions of dependence goes back as far as Aristotle's characterization of substances, and these notions are still widely used to characterize other concepts and to formulate metaphysical claims. This paper first gives an overview of the varieties of these notions, and then discusses some of their main applications.

When thinking about the notion of essence or of an essential feature, philosophers typically focus on what I will call the notion of objectual essence. The main aim of this paper is to argue that beside this familiar notion stands another one, the notion of generic essence, which contrary to appearance cannot be understood in terms of the familiar notion, and which also fails to be correctly characterized by certain other accounts which naturally come to mind as well. Some of my objections to these accounts are similar to some of Kit Fine’s compelling objections to the standard modal account of (objectual) essence (Fine 1994). In the light of these objections, Fine advances the view that it is metaphysical necessity which has to be understood in terms of essence, rather than the other way around, and takes essence to be unanalyzable. When formulatinghis view, Fine had only objectual essence in mind (or had both concepts in mind, but assumed that the generic is a special case of the objectual), and for that reason, I will argue, his account fails. I will suggest that Fineans should modify their view, and take it that metaphysical necessity is to be understood in terms of the two notions of essence—a view I myself find appealing. Finally, I will end by suggesting a further move which reduces the objectual to the generic, making metaphysical necessity reducible to generic essence alone—a move with which I myself have some sympathy.