On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories
MetadataShow full item record
We formulate a certain subtheory of Ishimoto’s  quantifier-free fragment of Leśniewski’s ontology, and show that Ishimoto’s theory can be reconstructed in it. Using an epimorphism theorem we prove that our theory is complete with respect to a suitable set-theoretic interpretation. Furthermore, we introduce the name constant 1 (which corresponds to the universal name ‘object’) and we prove its adequacy with respect to the set-theoretic interpretation (again using an epimorphism theorem). Ishimoto’s theory enriched by the constant 1 is also reconstructed in our formalism with into which 1 has been introduced. Finally we examine for both our theories their quantifier extensions and their connections with Leśniewski’s classical quantified ontology.
Except where otherwise noted, this item's license is described as This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
Showing items related by title, author, creator and subject.
Kaczmarek, Janusz (Wydawnictwo Uniwersytetu Łódzkiego, 2016)In the paper I present Kotarbiński’s approach to abstract objects and show some mistakes in his investigations. By formal ontology I try to explain Kotarbiński’s view and proffer a new solution, a formal solution that is ...
Pouivet, Roger (Wydawnictwo Uniwersytetu Łódzkiego, 2016)What is left of this initial project once Kotarbiński’s textbook became obsolete – as Kotarbiński himself claims, perhaps too modestly, in the preface of its second edition, in 1959 – and also given the strong criticism ...
Debus, Michael S. (Wydawnictwo Uniwersytetu Łódzkiego, 2016)Navigation in video games has been a vastly neglected topic in game studies. In this paper a classification system for navigational acts has been developed through theoretical work as well as the analysis of multiple games. ...