PLANTINGA'S HAECCEITISM AND SIMPLEST QUANTIFIED MODAL LOGIC.

In a series of papers Alvin Plantinga argued for a serious actu- alist modal semantics based on the notions of a possible world, understood as a maximal possible state of affairs, and of individual essence (haecceity). Plantinga's actualism is known as haecceitism. In spite of the fact that haec- ceitism has been thought by Plantinga to require a Kripke-style semantics, the aim of this paper is to show that it is compatible with constant do- mains semantics and the simplest quantified modal logic. I will argue that not only does this approach have all the advantages of a greater simplicity in combining quantification and modalities, but also it better conforms to the actualist program. [ABSTRACT FROM AUTHOR]