Ontology as a Natural Extension of Predicate Calculus with Identity Equipped with Description
Toshiharu Waragai · Annals of the Japan Association for Philosophy of Science · 1990
IntroductoryThe main aim of this paper is to show that a natural extension of the predicate calculus with identity (hereafter LI) enriched with some logico-linguistically proper devices leads us in quite a natural way to the axiom of Lesniewski's Ontology, and that Ontology in turn implies the theses of the LI thus enriched.In addition the degrees of extensionality of the enriched LI will be discussed.