PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2018 | 47 | 4 |
Tytuł artykułu

On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
We formulate a certain subtheory of Ishimoto’s [1] 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.
Rocznik
Tom
47
Numer
4
Opis fizyczny
Daty
wydano
2018-12-30
Twórcy
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ojs-doi-10_18778_0138-0680_47_4_02
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.