A quantifier-less calculus of names with the rule of extensionality
Abstract
Ludwik Borkowski has constructed a quantifier-less calculus of names (BRN1), which is regarded as a base system here. The system can be extended with the use of the deductive power of rules of introduction and omission of functors π and σ (BRN2), which serve here as the substitutes of quantifiers. If we adopt the extensionality rule for the functor of singular inclusion (REε), we obtain yet another extending of the system (BRN3) accompanied by simultaneous considerable reduction of the primary rules. The interpretation of the last system in elementary ontology is included.
References
Borkowski L.: Bezkwantyfikatorowy założeniowy system rachunku nazw. Część I, „Roczniki Filozoficzne” 28 (1980), z. 1, s. 133-148. (Wersja angielska: A Quantifier-less Suppositional System of Calculus of Names, [w:] Studies in Logic and Theory of Knowledge, t. 1, Lublin: TN KUL 1985).
Borkowski L.: Bezkwantyfikatorowy założeniowy system rachunku nazw. Część II, „Roczniki Filozoficzne” 41 (1993), z. 1, s. 11-21.
Borkowski L.: Logiczna analiza wyrażenia jakiś (jakaś, jakieś) a, „Roczniki Filozoficzne” 41 (1993), z. 1, s. 5-9.
Klemensiewicz Z.: Podstawowe wiadomości z gramatyki języka polskiego, wyd. 6, Warszawa: PWN 1970.
Wojciechowski E.: Zwischen der Syllogistik und den Systemen von Leśniewski: Eine Rekonstruktion der Idee der Quantifizierung der Prädikate, „Grazer Philosophische Studien” 48 (1994), s. 165-200.
Wojciechowski E.: Pewien bezkwantyfikatorowy rachunek nazw, [w:] J. Perzanowski, A. Pietruszczak (red.), Logika & Filozofia logiczna. FLFL 1996-1998, Toruń: Wydawnictwo UMK 2000, s. 109-126.
Wojciechowski E.: Zasada ekstensjonalności dla funktorów inkluzji, „Logika” (Acta Universitatis Wratislaviensis) – [artykuł przyjęty do druku].
Copyright (c) 2008 Roczniki Filozoficzne
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
