A Classical Logic of Existence and Essence

Alessandro Giordani, Sergio Galvan

Risultato della ricerca: Contributo in rivistaArticolo in rivistapeer review

1 Citazioni (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.
Lingua originaleEnglish
pagine (da-a)541-570
Numero di pagine30
RivistaLogic and Logical Philosophy
Volume29
DOI
Stato di pubblicazionePubblicato - 2020

Keywords

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

Fingerprint

Entra nei temi di ricerca di 'A Classical Logic of Existence and Essence'. Insieme formano una fingerprint unica.

Cita questo