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

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.