Bibliography on the Logical Work of Stanislaw Lesniewski https://www.ontology.co/biblio/lesniewski-biblio.htm Theory and History of Ontology by Raul Corazzon | e-mail: [email protected] Bibliography on the Logical Work of Stanislaw Lesniewski THE WORKS OF LESNIEWSKI IN ENGLISH TRANSLATION 1. Lesniewski, Stanislaw. 1967. "Introductory Remarks to the Continuation of My Article Grundzüge Eines Neuen Systems Der Grundlagen Der Mathematik." In Polish Logic 1920-1939, edited by Mccall, Storrs, 116-169. Oxford: Clarendon Press. 2. ———. 1967. "On Definitions in the So-Called Theory of Deduction." In Polish Logic 1920-1939, edited by Mccall, Storrs, 170-187. Oxford: Clarendon Press. 3. ———. 1983. "On the Foundations of Mathematics." Topoi.An International Review of Philosophy no. 2:7-52. 4. ———. 1988. S. Lesniewski's Lecture Notes in Logic. Dordrecht: Kluwer. Contents: Translators' Foreword IX PART ONE: FOUNDATIONS OF MATHEMATICS 1. From the foundations of Protothetic 3 2. Definitions and these of Lesniewski's Ontology 29 3. Class theory 59 PART TWO: PEANO ARITHMETIC AND WHITEHEAD'S THEORY OF EVENTS 4. Primitive terms of arithmetic 129 5. Inductive definitions 153 6. Whitehead's theory of events 171 List of seminars and courses delivered by Lesniewski at Warsaw University between 1919 and 1939 179 Bibliography 181 5. ———. 1992. Collected Works. Dordrecht: Kluwer. Contents: Vol. I. Introduction by The Editors VII-XVI A contribution to the analysis of existential propositions (1911) 1 An attempt at a proof of the ontological principle of contradiction (1912) 20 The critique of the logical principle of the Excluded Middle (1913) 47 Is all truth only true eternally or it is also true without a beginning? (1913) 86 Is the class of classes not subordinated to themselves, subordinated to itself? (1914) 115 Foundations of the General Theory of Sets. I (1916) 129 On the foundations of mathematics 1927-1931 (The series consists of the following papers): 174 I. Introduction (1927) 174 II. On Russell' 'antinomy' concerning 'The Class of Classes which are not elements of themselves' (1927) 197 III. On various ways of understanding the words 'Class' and 'Collection' (1927) 207 IV. On 'Foundations of the General Theory of Sets. I.' (1928) 227 V. Further theorems and definitions of the 'General Theory of Sets' from the period up to the year 1920 1 di 15 21/09/2016 22:14 Bibliography on the Logical Work of Stanislaw Lesniewski https://www.ontology.co/biblio/lesniewski-biblio.htm inclusive (1929) 264 VI. The axiomatization of the 'General Theory of Sets' from the year 1918 (1930) 315 VII. The axiomatization of the 'General Theory of Sets' from the year 1920 (1930) 321 VIII. On certain conditions established by Kuratowski and Tarski which are sufficient and necessary for P to be the Class of objects a (1930) 327 IX. Further theorems of the 'General Theory of Sets' from the years 1921-1923 (1930) 332 X. The axiomatization of the 'General Theory of Sets' from the year 1921 (1931) 350 XI. On 'Singular' propositions of the type 'A e b' (1931) 364 Vol. II. On functions whose fields, with respect to these functions are groups (1929) 383 On functions whose fields, with respect to these functions are Abelian groups (1929) 399 Fundamentals of a new system of the foundations of mathematics (1929) 410 On the foundations of Ontology (1930) 606 On definitions in the so-called theory of deduction (1931) 629 Introductory remarks to the continuation of my article 'Grundzüge eines neuen Systems der Grundlagen der Mathematik' (1938) 649 An annotated Lesniewski Bibliography [up to 1978] by Frederick V. Rickey 711 (*) Index 787-794 See the Review by Peter Simons: Discovering Lesniewski - History and Philosophy of Logic, 15 (1994) pp. 227-235. STUDIES ABOUT THE WORK OF LESNIEWSKI (in progress) 1. "Stanislaw Lesniewski Aujourd'hui." 1995. Recherches sur la Philosophie et le Langage no. 16. Contents: Denis Miéville et Denis Vernant: Présentation 5; Bibliographie de Stanislaw Lesniewski 21; Czeslaw Lejewski: Remembering Stanislaw Lesniewski 25; Denis Miéville: Stanislaw Lesniewski et l'importance d' une logique développementale 93; Jan Wolenski: Lesniewski's logic and the concept of Being 93; Peter Simons: Lesniewski and ontological commitment 103; Georges Kalinowski: Les démonstrations de la non-existence des objets généraux chez Lesniewski 121; Frédéric Nef: Sémantique et ontologie: réflexions sur la théorie des objets et les propriétés 179; Denis Vernant: Logique et pragmatique: la genèse du concept d'assertion 179; Alain Lecomte: Une descendance des systèmes de Lesniewski. Le calcul de Lambek (de la grammaire logique aux grammaires de logiques des types) 207; Alain Berrendonner: Anaphore associatie et méréologie 237; Jacques Roualt: Représentations centrées objets, formalisation en linguistique et systèmes de Lesniewski 257; Mounia Fredj: Implémentation des principes méréologiques 275; Olivier Houdé: Le "langage méréologique" ajoute-t-il quelque chose aux descriptions psychologiques? 297; List des numéros déjà publiés 321; Adresses des auteurs 330. 2. Ajdukiewicz, Kazimierz. 1967. "Syntactic Connection." In Polish Logic 1920-1939, edited by McCall, Storrs, 207-231. Oxford: Clarendon Press. Originally published in German as: Die syntaktische Konnexität, Studia Philosophica, 1, 1935, pp. 1-27. 3. Betti, Arianna. 1995. Logica Ed Esistenza in Stanislaw Leniewski, Università degli Studi di Firenze. Tesi di laurea inedita (Relatore: Ettore Casari). 4. ———. 1998. "De Veritate: Another Chapter the Bolzano-Leśniewski Connection." In The Lvov-Warsaw School and Contemporary Philosophy, edited by Kijania-Placek, Katarzyna and Wolenski, Jan, 115-137. Dordrecht: Kluwer. 5. ———. 1998. "Il Rasoio Di Lesniewski." Rivista di Filosofia:87-112. 6. ———. 2004. "Lesniewski's Early Liar, Tarski and Natural Language." Annals of Pure and Applied Logic no. 127:267-287. "This paper is a contribution to the reconstruction of Tarski’s semantic background in the light of the 2 di 15 21/09/2016 22:14 Bibliography on the Logical Work of Stanislaw Lesniewski https://www.ontology.co/biblio/lesniewski-biblio.htm ideas of his master, Stanislaw Lesniewski. Although in his 1933 monograph Tarski credits Lesniewski with crucial negative results on the semantics of natural language, the conceptual relationship between the two logicians has never been investigated in a thorough manner. This paper shows that it was not Tarski, but Lesniewski who first avowed the impossibility of giving a satisfactory theory of truth for ordinary language, and the necessity of sanitation of the latter for scientific purposes. In an early article (1913) Lesniewski gave an interesting solution to the Liar Paradox, which, although different from Tarski’s in detail, is nevertheless important to Tarski’s semantic background. To illustrate this I give an analysis of Lesniewski’s solution and of some related aspects of Lesniewski’s later thought." 7. ———. 2006. "Sempiternal Truth. The Bolzano-Twardowski-Lesniewski Axis." In The Lvov-Warsaw School. The New Generation, edited by Jadacki, Jacek Jusliuz and Pasniczek, Jacek, 371-399. Amsterdam: Rodopi. 8. ———. 2009. "Leśniewski’s Systems and the Aristotelian Model of Science." In The Golden Age of Polish Philosophy. Kazimierz Twardowski's Philosophical Legacy, 93-111. Dordrecht: Springer. 9. Canty, John Thomas. 1969. "Lesniewski's Terminological Explanations as Recursive Concepts." Notre Dame Journal of Formal Logic no. 10:337-369. "The terminological concepts for the system of Ontology extended by the axiom of infinity are shown to be definable within that system. in 1929 Lesniewski first published terminological explanations for his system of logic, where he used certain concepts from his system of Mereology along with others such as equiformity. In this paper the terminological concepts are given entirely within the system of Ontology extended by the axiom of infinity. Since the definitions given are recursive, the incompleteness of this extension of Ontology is readily established." 10. Chrudzimski, Arkadiusz. 2006. "The Young Lesniewski on Existentials Propositions." In Actions, Products, and Things. Brentano and Polish Philosophy, edited by Chrudzimski, Arkadiusz and Lukasiewicz, Dariusz, 107-120. Frankfurt: Ontos Verlag. 11. Clay, Robert F. 1968. "The Consistency of Lesniewski's Mereology Relative to the Real Number System." Journal of Symbolic Logic no. 33:251-257. 12. ———. 1980. "Introduction to Lesniewski's Logical Systems." Annali dell'Istituto di Discipline Filosofiche dell'Università di Bologna:5-31. 13. Cocchiarella, Nino. 2001. "A Conceptualist Interpretation of Lesniewski's Ontology." History and Philosophy of Logic no. 22:29-43. "A first-order formulation of Lesniewski"s Ontology is formulated and shown to be interpretable within a free first-order logic of identity extended to include nominal quantification over proper and common-name concepts. The latter theory is then shown to be interpretable in monadic second-order predicate logic, which shows that the first-order part of Lesniewski"s Ontology is decidable." 14. Davis, Charles C. 1976. "A Note on the Axiom of Choice in Lesniewski's Ontology." Notre Dame Journal of Formal Logic no. 17:35-43. 15. Gessler, Nadine. 2005. "Introduction À L'œuvre De S. Lesniewski. Fascicule Iii - La Méréologie." Travaux de Logique (Neuchâtel). 16. ———. 2007. "Introduction À L'œuvre De S. Lesniewski. Fascicule V - Lesniewski, Lecteur De Frege." Travaux de Logique (Neuchâtel). 17. Gobber, Giovanni. 1985. "Alle Origini Della Grammatica Categoriale: