Fabrice Correia

In Fine 1994, Kit Fine challenges the view that the notion of essence is to be understood in terms of the metaphysical modalities, and he argues that it is not essence which reduces to metaphysical modality, but rather metaphysical modality which reduces to essence. In this paper I put forward a modal account of essence and argue that it is immune from Fine’s objections. The account presupposes a non‐standard, independently motivated conception of the metaphysical modalities which I dub Priorean. Arthur Prior never endorsed that very conception, but in some respects his own views on the topic are so close to it, and different from all currently accepted views, that the label ‘Priorean’ is perfectly appropriate.

In the third of his Logical Investigations, Husserl draws an important distinction between two kinds of parts: the dependent parts like the redness of a visual datum or the squareness of a given picture, and the independent parts like the head of a horse or a brick in a wall. On his view, the distinction is to be understood in terms of a more fundamental notion, the notion of foundation. This paper is an attempt at clarifying that notion. Such attempts have already been undertaken by Peter Simons and Kit Fine, and the paper also contains elements of comparison of our three sets of views.

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 Fine 1994, Kit Fine challenges the view that the notion of essence is to be understood in terms of the metaphysical modalities, and he argues that it is not essence which reduces to metaphysical modality, but rather metaphysical modality which reduces to essence. In this paper I put forward a modal account of essence and argue that it is immune from Fine’s objections. The account presupposes a non‐standard, independently motivated conception of the metaphysical modalities which I dub Priorean. Arthur Prior never endorsed that very conception, but in some respects his own views on the topic are so close to it, and different from all currently accepted views, that the label ‘Priorean’ is perfectly appropriate

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.

Standard possible world semantics for propositional modal languages ignore truth-value gaps. However, simple considerations suggest that it should not be so. In Section 1, I identify what I take to be a correct truth-clause for necessity under the assumption that some possible worlds are incomplete (i.e., "at" which some propositions lack a truth-value). In Section 2, I build a world semantics, the semantics of TV-models, for standard modal propositional languages, which agrees with the truth-clause for necessity previously identified. Sections 3–5 are devoted to systematic concerns. In particular, in Section 4, Prior’s system Q (propositional version) is given a TV-models semantics and proved adequate (i.e., sound and complete) with respect to it.

Say that two sentences are factually equivalent when they describe the same facts or situations, understood as worldly items, i.e. as bits of reality rather than as representations of reality. The notion of factual equivalence is certainly of central interest to philosophical semantics, but it plays a role in a much wider range of philosophical areas. What is the logic of factual equivalence? This paper attempts to give a partial answer to this question, by providing an answer the following, more specific question: Given a standard propositional language with negation, conjunction and disjunction as primitive operators, which sentences of the language should be taken to be factually equivalent by virtue of their logical form? The system for factual equivalence advocated in this paper is a proper fragment of the first-degree system for the logic of analytic equivalence put forward in the late seventies by R. B. Angell. I provide the system with two semantics, both formulated in terms of the notion of a situation’s being fittingly described by a linguistic item. In the final part of the paper I argue, contra a view I defended in my “Grounding and Truth-Functions”, that the logic for factual equivalence I advocate here should be preferred to Angell’s logic if one wishes to follow the general conception of the relationships between factual equivalence and the notion of grounding put forward in the 2010 paper

In the third of his Logical Investigations, Husserl draws an important distinction between two kinds of parts: the dependent parts like the redness of a visual datum or the squareness of a given picture, and the independent parts like the head of a horse or a brick in a wall. On his view, the distinction is to be understood in terms of a more fundamental notion, the notion of foundation. This paper is an attempt at clarifying that notion. Such attempts have already been undertaken by Peter Simons and Kit Fine, and the paper also contains elements of comparison of our three sets of views

In this paper, we clarify what proponents of the Growing Block Theory (GBT) should and what they should not say, and what they consistently can say. Once all the central tenets of the view are on the table, we address both David Braddon-Mitchell’s and Trenton Merricks’ recent eulogies for GBT, based on what is representative of a certain type of argument meant to show that GBT is internally incoherent. We argue that this type of argument proceeds from a mistaken assumption about GBT’s core, viz. that GBT works with an untensed notion of what, in the metaphysically most fundamental sense, there is. We conclude that this type of argument accordingly misfires and that for all we know, we might be living on the brink of reality.

In 1977, R. B. Angell presented a logic for analytic containment, a notion of relevant implication stronger than Anderson and Belnap's entailment. In this paper I provide for the first time the logic of first degree analytic containment, as presented in [2] and [3], with a semantical characterization—leaving higher degree systems for future investigations. The semantical framework I introduce for this purpose involves a special sort of truth-predicates, which apply to pairs of collections of formulas instead of individual formulas, and which behave in some respects like Gentzen's sequents. This semantics captures very general properties of the truth-functional connectives, and for that reason it may be used to model a vast range of logics. I briefly illustrate the point with classical consequence and Anderson and Belnap's tautological entailments