- Tytuł:
- On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories
- Autorzy:
-
Łyczak, Marcin
Pietruszczak, Andrzej - Powiązania:
- https://bibliotekanauki.pl/articles/749926.pdf
- Data publikacji:
- 2018
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
elementary ontology
quantifier-free fragment of ontology
ontology-like theories
copula ‘is’
calculus of names
Leśniewski's ontology
subtheories of Leśniewski’s ontology - Opis:
- 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.
- Źródło:
-
Bulletin of the Section of Logic; 2018, 47, 4
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł