A Classical Logic of Existence and Essence

Alessandro Giordani, Sergio Galvan

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)

Abstract

The purpose of this paper is to provide a new system of logic for existence and essence, in which the traditional distinctions between essential and accidental properties, abstract and concrete objects, and actually existent and possibly existent objects are described and related in a suitable way. In order to accomplish this task, a primitive relation of essential identity between different objects is introduced and connected to a first order existence property and a first order abstractness property. The basic idea is that possibly existent objects are completely determinate and that essentially identical objects are just different individuations of the same individual essence. Accordingly, essential properties are defined as properties that are invariant with respect to this kind of identity, while abstract objects are determined by being characterized by essential properties only. Once such ideas are implemented, a number of classical intuitions about objects, their essence, and their way of existence can be consistently interpreted.
Original languageEnglish
Pages (from-to)1-30
Number of pages30
JournalLogic and Logical Philosophy
Publication statusPublished - 2020

Keywords

  • abstract objects
  • essence
  • qualitative identity
  • quantified modal logic

Fingerprint Dive into the research topics of 'A Classical Logic of Existence and Essence'. Together they form a unique fingerprint.

Cite this