The Calculus of Names with Lists
Abstract
In its suppositional phrasing the quantifier-less calculus of names has rules of introduction and Omission of the all (π) and some (σ) functors of the n/n category. The functors are the equivalents of quantifiers. A certain extension of its language by individual variables and a list Operator ([…]) is proposed here. In so extended language the quantifier-less calculus of names with lists is constructed, where axiom AI (a Substitute of the axiom of the theory of identity) and the rules characterising the list Operator are adopted.
References
Borkowski L.: Bezkwantyfikatorowy założeniowy system rachunku nazw. Część I, „Roczniki Filozoficzne” 28 (1980), z. 1, s. 133-148; Część II, „Roczniki Filozoficzne” 41 (1993), z. 1, s. 11-21.
Bourbaki N.: Elements of Mathematics: Theory of Sets, Berlin: Springer-Verlag 2004.
Geach P.: Logika list, [w:] tenże, Do czego odnoszą się wyrażenia ogólne?, tł. z ang. J. Odrowąż-Sypniewska, Warszawa: Semper 2006, s. 115-133.
Kotarbiński T.: Elementy teorii poznania, logiki formalnej i metodologii nauk, Lwów: Ossolineum 1929.
Kuratowski K.: Sur la notion de l’ordre dans la théorie des ensembles, „Fundamenta Mathematicae” 3 (1921), s. 161-171.
Wojciechowski E.: Zwei enumerative Funktoren, „Conceptus” 26 (1992/1993), Nr 68/69, s. 185-190.
Wojciechowski E.: Pewien bezkwantyfikatorowy rachunek nazw, [w:] Logika & Filozofia Logiczna. FLFL 1996-1998, red. J. Perzanowski, A. Pietruszczak, Toruń: Wydawnictwo UMK 2000, s. 109-126.
Wojciechowski E.: Bezkwantyfikatorowy rachunek nazw z regułą ekstensjonalności, „Roczniki Filozoficzne” 56 (2008), nr 1, s. 417-429.
Copyright (c) 2011 Roczniki Filozoficzne
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
