Opis

• Tytuł:
  On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories
• Twórca:
  Łyczak, Marcin;
  Pietruszczak, Andrzej
• Współtwórca:
  Cardinal Stefan Wyszyński University, Institute of Philosophy, Department of Logic;
  Nicolaus Copernicus University in Toru´n, Department of Logic;
  m.lyczak@uksw.edu.pl;
  Andrzej.Pietruszczak@umk.pl
• 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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2019.05.24;
  2018
• Typ:
  Article
• Język:
  angielski;
  eng
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic; 4;
  47
• Temat i słowa kluczowe:
  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
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/28481 ;
  2449-836X;
  10.18778/0138-0680.47.4.02
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  obrazy