Premium
Essentialism vis‐à‐vis Possibilia , Modal Logic, and Necessitism
Author(s) -
RocaRoyes Sonia
Publication year - 2011
Publication title -
philosophy compass
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.973
H-Index - 25
ISSN - 1747-9991
DOI - 10.1111/j.1747-9991.2010.00363.x
Subject(s) - essentialism , epistemology , pace , modal , computer science , ontology , modal logic , construct (python library) , mathematics , philosophy , physics , chemistry , astronomy , polymer chemistry , programming language
Pace Necessitism – roughly, the view that existence is not contingent – essential properties provide necessary conditions for the existence of objects. Sufficiency properties, by contrast, provide sufficient conditions, and individual essences provide necessary and sufficient conditions. This paper explains how these kinds of properties can be used to illuminate the ontological status of merely possible objects and to construct a respectable possibilist ontology. The paper also reviews two points of interaction between essentialism and modal logic. First, we will briefly see the challenge that arises against S4 from flexible essential properties; as well as the moves available to block it. After this, the emphasis is put on the Barcan Formula (BF), and on why it is problematic for essentialists. As we will see, Necessitism can accommodate both (BF) and essential properties. What necessitists cannot do at the same time is to continue to understanding essential properties as providing necessary conditions for the existence of individuals; against what might be for some a truism.