Pokaż uproszczony rekord

dc.contributor.authorŁyczak, Marcin
dc.contributor.authorPietruszczak, Andrzej
dc.date.accessioned2019-05-24T07:15:57Z
dc.date.available2019-05-24T07:15:57Z
dc.date.issued2018
dc.identifier.issn0138-0680
dc.identifier.urihttp://hdl.handle.net/11089/28481
dc.description.abstractWe 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.en_GB
dc.language.isoenen_GB
dc.publisherWydawnictwo Uniwersytetu Łódzkiegoen_GB
dc.relation.ispartofseriesBulletin of the Section of Logic; 4
dc.rightsThis work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.en_GB
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0en_GB
dc.subjectelementary ontologyen_GB
dc.subjectquantifier-free fragment of ontologyen_GB
dc.subjectontology-like theoriesen_GB
dc.subjectcopula ‘is’en_GB
dc.subjectcalculus of namesen_GB
dc.subjectLeśniewski's ontologyen_GB
dc.subjectsubtheories of Leśniewski’s ontologyen_GB
dc.titleOn the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theoriesen_GB
dc.typeArticleen_GB
dc.page.number233-263
dc.contributor.authorAffiliationCardinal Stefan Wyszyński University, Institute of Philosophy, Department of Logic
dc.contributor.authorAffiliationNicolaus Copernicus University in Toru´n, Department of Logic
dc.identifier.eissn2449-836X
dc.references[1] A. Ishimoto, A propositional fragment of Leśniewski’s ontology, Studia Logica 36 (1977), pp. 285–299.en_GB
dc.references[2] B. Iwanuś, On Leśniewski’s elementary ontology, Studia Logica 31 (1973), pp. 73–119. Reprint: pages 165–215 in [9].en_GB
dc.references[3] A. Pietruszczak, Bezkwantyfikatorowy rachunek nazw. Systemy i ich metateoria (Quantifier-free Calculus of Names. Systems and their Metatheory), Wydawnictwo Adam Marszałek, Toruń 1991.en_GB
dc.references[4] A. Pietruszczak, Standardowe rachunki nazw z funktorem Leśniewskiego (Standard calculus of name with Leśniewski’s copula), Acta Universitatis Nicolai Copernici, Logika I (1991), pp. 5–29.en_GB
dc.references[5] A. Pietruszczak, O teoriach pierwszego rzędu związanych z elementarnym fragmentem ontologii Leśniewskiego (About first-order theories connected with elementary fragment of Leśniewski’s ontology), pages 127–168 in J. Perzanowski and A. Pietruszczak (eds.), Logika & Filozofia Logiczna 1996–1998, Wydawnictwo Naukowe UMK, Toruń 2000.en_GB
dc.references[6] H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, PWN, Warszawa 1970.en_GB
dc.references[7] J. Słupecki, S. Leśniewski’s calculus of name, Studia Logica 3 (1955), pp. 7–72. Reprint: pages 59–122 in [9].en_GB
dc.references[8] B. Sobociński, O kolejnych uproszczeniach aksomatyki »ontologji« Prof. St. Leśniewskiego (On the successive simplifications of the axiom of professor Leśniewski’s »ontology«), pages 145–160 in Fragmenty Filozoficzne. Księga pamiątkowa ku uczczeniu 15-lecia pracy nauczycielskiej w Uniwersytecie Warszawskim Prof. Tadeusza Kotarbińskiego, Warszawa, 1934. English translation by Z. Jordan in S. McCall (ed.), Polish Logic 1920–1939, Clarendon Press, Oxford, 1967.en_GB
dc.references[9] J. Srzednicki et al. (eds.), Leśniewski’s Systems. Ontology and Mereology, Martinus Nijhoff Publishers and Ossolineum, The Hage, Boston and Wrocław, 1984.en_GB
dc.references[10] M. Takano, A semantical investigation into Leśniewski’s axiom of his ontology, Studia Logica 44, 1 (1985), pp. 71–77.en_GB
dc.contributor.authorEmailm.lyczak@uksw.edu.pl
dc.contributor.authorEmailAndrzej.Pietruszczak@umk.pl
dc.identifier.doi10.18778/0138-0680.47.4.02
dc.relation.volume47en_GB


Pliki tej pozycji

Thumbnail

Pozycja umieszczona jest w następujących kolekcjach

Pokaż uproszczony rekord

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.