An Annotated Leśniewski Bibliography V. Frederick Rickey Professor Emeritus Department of Mathematical Sciences United States Military Academy West Point, NY 10996 November 18, 2019 At the urging of friends and colleagues, I prepared An Annotated Leśniewski Bibliography (pp. 1– 39), which was distributed in July 1972. Four years later, in June of 1976, An Annotated Leśniewski Bibliography (Supplement I) (pp. 40–83) was distributed. All of this was further supplemented and revised in the spring of 1978 and eventually appeared in Stanisław Leśniewski: Collected Works, pp. 711–785 ( = Rickey 1992). Recently, my interest in the logical systems of Leśniewski has been rekindled and in December 2009, I began to gather more recent references pertaining to Leśniewski’s systems. The existence of the web has made this task infinitely easier than it was forty years ago. I would encourage all who use this bibliography to send me corrections and, especially, additions. This document is being prepared in TEX and it would be most helpful if you sent additions in this format, but documents in Word or HTML are perfectly acceptable (however .pdf format makes my life difficult as I then need to retype the information). You can most easily contact me via email: [email protected]. I would be pleased if you would also send me copies of your papers, for I am again trying to digest what has been written about Leśniewski and his logical systems, especially the more technical papers. V. Frederick Rickey Email: [email protected] http://fredrickey.info/ https://lesniewski.info 1 November 18, 2019 – 00 : 48 2 Abelson, Raziel 1967 “Definition,” pp. 314–324 in volume 2 of The Encyclopedia of Philosophy. Aczel, Peter 1977 “An introduction to inductive definitions,” pp. 739–782 in the Handbook of Mathematical Logic, Dordrecht / Boston: Reidel, edited by Jon Barwise. Agazzi, Evandro, editor 1981 Modern Logic. A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic. Dordrecht/Boston: Reidel. Agapov, E. P. 1982 “Leśniewski’s conception of deductive systems,” (Russian), pp. 5–8 in Logical Analysis of Nat- ural Language (Abstracts of the 8th All-Union Conference “Logic and Methodology of Science”, Palanga, September 26–28, 1982, Vilinius. Ajdukiewicz, Kazimierz (1890–1963) For a complete list of Ajdukiewicz’s publications, see Studia Logica, 16, 39–43. 1923 “O intencji pytania ‘co to jest P’, (Referat z odczytu),” Ruch Filozoficzny, 7 (1923), 152b–153a. 1926 “Załozenia logiki tradycyjnej” (Foundations of traditional logic), Przegląd Filozoficzny, 29 (1926), 200–229. The directive for distributing quantifiers that is discussed on page 210 is credited to Leśniewski. 1928 Główne zasady metodologii nauk i logiki formalnej. Wykłady Prof. D-ra K. Ajdukiewicza wygłoszone na Uniwersytecie Warszawskim w roku akad. 1927/28 (Skrypt autoryzowany. Zredagowa? M. Presburger) (Main Principles of the Methodology of Science and of Formal Logic. Lectures Given by Prof. Dr. K. Ajdukiewicz at Warsaw University in the Academic Year 1927/28 (Authorized Text. Edited by M. Presburger)). Wydawnictwa Koła Matematyczno- Fizycznego Słuchaczów Uniwersytetu Warszawskiego, XVI. 304 pp. 1934a “W sprawie ‘uniwersaljow’,” Przegląd Filozoficzny, 37 (1934), 219–234. Reprinted in 1960, 169–210. Using Leśniewski’s theory of semantic categories, Ajdukiewicz refutes Kotarbiński’s ‘proof’ of the non-existence of individuals. He introduces here, for the first time, a convenient notation for the designation of particular semantical categories. 1934b “Logistyczny antyirracjonalizm w Polsce,” Przegląd Filozoficzny, 37 (1934), 399–408. German translation: 1935a. 1934c “Logiczne podstawy nauczania,” Offprint from Encyklopedii Wychowania (Encyclopeia of Ed- ucation), Warszawa: Nasza Ksiegarnia, 79 pp. November 18, 2019 – 00 : 48 3 1935a “Der logistische Antiirrationalismus in Polen,” Erkenntnis, 5 (1935), 151–161. Translation of 1934b. The bibliography is on pp. 199-203. Contains interesting historical remarks about the Polish school of logic. 1935b “Die syntaktische Konnexität,” Studia Philosophica, 1 (1935), 1–27. Reviewed by Weinberg, Journal of Symbolic Logic, 3, 58. English translation in McCall 1967. Partial English trans- lation in the Review of Metaphysics, 20, 635–647. The seminal paper on the application of the famous fractional notation for semantical cate- gories to ordinary language. 1949 “On the notion of existence. Some remarks connected with the problem of idealism,” Studia Philosophica, 4 (for 1949–50, published 1951), 7–22. Reviewed by Quine, Journal of Symbolic Logic, 17, 141-142. Reprinted in Ajdukiewicz 1978. Ajdukiewicz considers several kinds of existence and applies them to the question of fictitious objects and also to the metaphysical controversy over what is real. He uses Leśniewski’s on- tology to discuss the notions of real and intentional existence. In the review, Quine interprets ontology in set theory and thus concludes that quantification commits Leśniewski to abstract entities. 1960 Język i poznanie (Language and Knowledge), Warsaw, vol. 1, 1960, vol. 2, 1965. Selected papers from 1920–1939 and 1945–1963. Contains a reprint of his 1934b and Polish translations of 1935b and 1949. 1967 “Syntactic connexion,” pp. 207–231 in McCall 1967. English translation of 1935b. 1967a “On syntactical coherence,” The Review of Metaphysics, 20 (4), June 1967, 635–647. Partial English translation of 1935b by Peter T. Geach. JSTOR Geach, who spoke accurate but slow Polish, translated this from the reprint in Ajdukiewicz 1960. He judged parts II and III of the paper, which dealt with quantifiers, to be “complicated and unsatisfactory,” and so omitted them. Ajdukiewicicz attributes the term ‘semantical category’ to Husserel 1900, but remarks that he has adopted the ‘simple account’ of them developed by Leśniewski. He notes that the word ‘functor’ was coined by Kotarbiński. Need reference to K. 1973 Problems and Theories of Philosophy, Cambridge: Cambridge University Press. Reviewed by Giedymin, British Journal for the Philosophy of Science, 25, 189–206. A basic philosophy text. The problem of ideal objects is treated. 1978 The Scientific World-perspective and Other Essays, 1931–1963, Dordrecht / Boston: Reidel. Edited by Jerzy Giedymin. Reviewed by Josef Miroslaw Zycinski in The Review of Meta- physics, 31(4), June 1978, pp. 662-663. Giedymin’s introduction contains biographical information. A bibliography of the works of Ajdukiewicz is included, 22 of which are in this volume, including a reprint of his 1949. 2013 “Minutae. Autobiografia i eseje z pocz?tku lat dwudziestych,” (Minutiae. Autobiography and Essays from the Beginning of the Twenties), Filozofia Nauki (Philosophy of Science), 2(82)/2013. 159–184. November 18, 2019 – 00 : 48 4 Summary: The collection contains five short texts written by Ajdukiewicz in the years 1920– 1924. The curriculum vitae from 1924 includes, inter alia, the authorÕs account of his soldier years during the First World War. The second text (a summary of a lecture for The Polish Philosophical Society) is concerned with the distinction between the absolute and relative time. Texts 3 and 4 are in praise of Łukasiewicz’s three-valued logic as a contribution to the theory of human freedom. The last text — written in a casual, ‘Cartesian’ style — presents epistemological problems one faces in trying to distinguish dreams from reality Andrews, Peter 1963 “A reduction of the axioms for the theory of propositional types,” Fundamenta Mathematicae, 52 (1963), 345–350. Reviewed by J. R. Guard, Journal of Symbolic Logic, 30, 385. A simplification of Henkin 1963. Angelelli, Ignacio 1967 Studies on Gottlob Frege and Traditional Philosophy, Dordrecht/Boston: Reidel. Leśniewski had “the only philosophical acceptable manner of planning a ‘way out’ of the antinomies.” (p. 218) 1975 “Freges Ort in der Begriffsgeschichte,” pp. 9–22 in Frege und die moderne Grundlagenforschung, edited by C. Thiel, Meisenheim am Gland: Verlag Anton Hain. Anellis, Irving H. 1996 “Józef Maria Bocheński (1902–1995),” Modern Logic Volume 6, Number 2 (April 1996), 192– 196. Apostel, Leo 1960 “Logic and ontology,” Logique et Analyse, 3 (1960), #11–12, 202–225. Apostel claims that for Leśniewski and Heinrich Scholz, logic was ontology (in the philosoph- ical sense). Claims that Leśniewski 1930a states that “the science of logic has quite explicitly as its object the study of certain very general laws of being” (quoting Apostel, who does not quote Leśniewski). Cites Lejewski 1954b and 1958b as clear explanations of Leśniewski’s position. The discussion ends by saying that Leśniewski defines existence to exclude the null class and then goes on to make some incomprehensible remarks about methodology. 1976 “Mereology, time, action and meaning,” pp. 189–233 in Festschrift Gerhard Frey Zum 60. Geburtstag, Innsbruck. Arai, Yoshinari 1966 “On axiom systems of propositional calculi, XVII,” Proceedings of the Japan Academy, 42 (1966), 351–354. Have copy. Deals with the equivalential calculus. Arai, Yoshinari and Tanaka, Shotaro November 18, 2019 – 00 : 48 5 1966a “On axiom systems of propositional calculi, XIX,” Proceedings of the Japan Academy, 42, 358–360. Provides several single axioms for the equivalential calculus. 1966b “A remark on propositional calculi with variable functors,” Proceedings of the Japan Academy, 42, 1056–1057. Reviewed by B. Lercher, MR 35 #4089. The title refers to the system of Les’s protothetic in Meredith 1951. The authors derive several equivalences in that system. Asenjo, Florencio G. 1962