On Ontological Functors of Lesniewski's Elementary Ontology

• Autorzy: Urbaniak R.
• Języki publikacji: EN

Abstrakty

EN

We present an algorithm which allows to define any possible sentence-formative functor of Leśniewski's Elementary Ontology (LEO), arguments of which belong to the category of names. Other results are: a recursive method of listing possible functors, a method of indicating the number of possible n-place ontological functors, and a sketch of a proof that LEO is function- ally complete with respect to {^,A,epsilon}

Słowa kluczowe

EN

Leśniewski's elementary ontology

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2006
• Tom: Nr 40
• Strony: 15--43
• Opis fizyczny: Bibliogr. 3 poz.

Twórcy

autor

Urbaniak R.

• Department of Philosophy University of Calgary Calgary, Alberta T2N 1N4 Canada,

Bibliografia

• [1] K. Ajdukiewicz, Sprawozdanie z działalności Seminarium Pracowni Logiki Polskiej Akademii Nauk za IV kwarta l 1955 r., [in:] Studia Logica, V (1957).
• [2] C. Lejewski, On Leśniewski's Ontology [in:] "Leśniewski's Systems. Ontology and Mereology, Editors: Jan T.J. Srzednicki, V.F. Rickey, J. Czelakowski, Polish Academy of Sciences, Institute of Philosophy and Sociology, Matrinus Nijho Publishers, The Hague/ Boston/ Lancaster/Wrocław, 1984, pp. 123-149
• [3] A. Pietruszczak. Bezkwantykatorowy Rachunek Nazw. Systemy i ich Metateoria.,Wydawnictwo Adam Marszałek, Torun, 1991