Description

• Title:
  On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories
• Creator:
  Łyczak, Marcin;
  Pietruszczak, Andrzej
• Contributor:
  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
• Description:
  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.
• Object availability:
  free access
• Rights:
  This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2019.05.24;
  2018
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic; 4;
  47
• Subject:
  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
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/28481 ;
  2449-836X;
  10.18778/0138-0680.47.4.02
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  image