Primary Sources: Works by Leśniewski

• Przyczynek do analizy zdań egzystencjalnych [Contributions to the Analysis of Existential Propositions], Przegląd Filozoficzny, 14 (1911), 329–345.
• Próba dowodu ontologicznej zasady sprzeczności [An Attempt at a Proof of the Ontological Principle of Contradiction], Przegląd Filozoficzny 15 (1912), 202–226.
• Логические рассуждения [Logical reasonings], St. Petersburg: Smolinski, 1913. Russian translation of the above two papers. (Scholar)
• Czy prawda jest wieczna, czy też wieczna i odwieczna? [Is truth eternal, or both eternal and sempiternal?], Nowe Tory, 18 (1913), 493–528.
• Krytyka logicznej zasady wyłączonego środk[a] [Critique of the Logical Principle of Excluded Middle], Przegląd Filozoficzny, 16 (1913), 315–352.
• Czy klasa klas nie podporządkowanych sobie jest podporządkowana sobie [Is the classes of classes not subordinate to themselves subordinate to itself ?] Przegląd Filozoficzny, 17 (1914), 63–75.
• Teoria mnogości w „Podstawach filozoficznych“ B. Bornsteina [The Theory of Sets in B. Bornstein’s “Philosophical Foundations”]. Przegląd Filozoficzny, 18 (1914), 488–507. (Scholar)
• Podstawy ogólnej teorii mnogości I [Foundations of the General Theory of Sets, I] (No further parts appeared.) Moscow: Popławski, 1916. (Prace Polskiego Koła Naukowego w Moskwie. Sekcya matematyczno-przyrodnicza, No.2.) (Scholar)
• O podstawach matematyki [On the Foundations of Mathematics], I–V. Przegląd Filozoficzny, 30 (1927), 164–206; 31 (1928), 261–291; 32 (1929), 60–101; 33 (1930), 77–105; 34 (1931), 142–170.
• Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind [On Functions whose Fields are Groups with respect to these Functions], Fundamenta Mathematicae, 13 (1929), 319–332.
• Grundzüge eines neuen System der Grundlagen der Mathematik [Fundamentals of a New System of the Foundations of Mathematics], Fundamenta Mathematicae, 14 (1929), 1–81.
• Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind [On Functions whose Fields are Abelian Groups with respect to these Functions]. Fundamenta Mathematicae, 14 (1929), 242–251.
• Über die Grundlagen der Ontologie [On the Foundations of Ontology]. Sprawozdania z posiedzeń Towarzystwa Naukowego Warszawskiego, Wydział III [Comtes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III ], 22 (1930), 111–132.
• Über Definitionen in der sogenannten Theorie der Deduktion [On Definitions in the so-called Therory of Deduction] Sprawozdania z posiedzeń Towarzystwa Naukowego Warszawskiego, 23 (1930), 289–309.
• Einleitende Bemerkungen zur Fortsetzung meiner Mitteilung u. d. T. ‘Grundzüge eines neuen System der Grundlagen der Mathematik’ [Introductory Remarks to the Continuation of my Article ‘Grundzüge eines neuen Systems der Grundlagen der Mathematik’]. Collectanea Logica, 1 (1938), 1–60. (Scholar)
• Grundzüge eines neuen System der Grundlagen der Mathematik, Section 12, Collectanea Logica, 1 (1938), 61–144.
• Is Truth Only Eternal or Both Eternal and Sempiternal? Polish Review, 8 (1963), 23–43.
• Introductory Remarks to the Continuation of my Article ‘Grundzüge eines neuen Systems der Grundlagen der Mathematik’. In S. McCall, ed., Polish Logic, 1920–1939. Oxford: Clarendon, 1967, 116–169. (Scholar)
• On Definitions in the So-Called Theory of Deduction. In S. McCall, ed., Polish Logic, 1920–1939. Oxford: Clarendon, 1967, 170–187.
• On the Foundations of Mathematics. Topoi, 2 (1983), 7–52.
• S. Lesniewski’s Lecture Notes in Logic, ed. by J. T. J. Srzednicki and Z. Stachniak. Dordrecht: Kluwer, 1988. (Scholar)
• Collected Works, ed. by S. J. Surma, J. T. J. Srzednicki, J. D. Barnett and V. F. Rickey. 2 vols., with an annotated bibliography to 1978 by V. F. Rickey. Dordrecht/Warszawa: Kluwer/Polish Scientific Publishers, 1992 .
• Pisma zebrane [Collected Writings], ed. by J. J. Jadacki. 2 vols., Warszawa: Semper, 2015.

Selected Secondary Sources

Secondary literature is mainly scattered across journals, but the most useful compact sources are three collections:

Collections

• Srzednicki, J. T. J. and Z. Stachniak (eds), 1998. Leśniewski’s Systems: Protothetic. Dordrecht: Kluwer. (Contains essays by Rickey, Simons, Słupecki, Sobociński, and Tarski.) (Scholar)
• Srzednicki, J. T. J. and V. F. Rickey (eds) (J. Czelakowski, asst. ed), 1984. Leśniewski’s Systems: Ontology and Mereology. The Hague: Nijhoff. (Contains essays by Clay, Iwanuś, Kruszewski, Lejewski, Słupecki, and Sobociński.) (Scholar)
• Miéville, D. and D. Vernant, (eds), 1996. Stanislaw Lesniewski aujourd’hui. Groupe de recherches sur la philosophie et le langage, Grenoble. (Scholar)

Individual Works

• Ajdukiewicz, K., 1935. ‘Die syntaktische Konnexität,’ Studia Philosophica, 1: 1–27. (English translation 1967, below.) (Scholar)
• –––, 1967. ‘Syntactic Connection,’ in S. McCall, ed. Polish Logic 1920–1939, Oxford: Clarendon, 207–231. (Scholar)
• Küng, G., 1977. ‘The Meaning of the Quantifiers in the Logic of Leśniewski,’ Studia Logica, 26: 309–322. (Scholar)
• Grzegorczyk, A., 1955. ‘The System of Leśniewski in Relation to Contemporary Logical Research,’ Studia Logica, 3: 77–97. (Scholar)
• Iwanuś, B. 1973. ‘On Leśniewski’s Elementary Ontology,’ Studia Logica, 31: 7–72. (Scholar)
• Jadacki, J. J., 2016. Stanisław Leśniewski: Geniusz Logiki. Bydgoszcz: Epigram. (Scholar)
• Kotarbiński, T., 1929. Elementy teorii poznania, logiki formalnej i metodologii nauk [Elements of the Theory of Knowledge, Formal Logic and the Methodology of Science]. Warsaw: PWN, 1986. (First ed. 1929.) (English translation 1966, below.) (Scholar)
• –––, 1966. Gnosiology: The Scientific Approach to the Theory of Knowledge. Oxford: Pergamon. (Scholar)
• Le Blanc, A. O. V., 1991. ‘Leśniewski’s Computative Protothetic,’ Ph.D. Dissertation, University of Manchester. (Scholar)
• Lejewski, C., 1954. ‘Logic and Existence,’ British Journal for the Philosophy of Science, 5: 104–119. (Scholar)
• –––, 1958. ‘On Leśniewski’s Ontology,’ Ratio, 1: 150–176. (Scholar)
• –––, 1969. ‘Consistency of Leśniewski’s Mereology,’ Journal of Symbolic Logic, 34: 321–8. (Scholar)
• –––, 1989. Ricordando Stanislaw Lesniewski. Trento: Centro Studi per la Filosofia Mitteleuropea. (Scholar)
• Luschei, E. C., 1962. The Logical Systems of Lesniewski. Amsterdam: North Holland. (Scholar)
• Miéville, D., 1984. Un développement des systèmes logiques de Stanislaw Lesniewski: protothétique – ontologie – méréologie. Berne/New York: Lang. (Scholar)
• Nowik, G., 2004. Zanim złamano Enigmę. Polski radiowywiad podczas wojny z bolszewicką Rosją 1918 - 1920 [Before Enigma was Broken. Polish Radio Intelligence during the War with Bolshevik Russia 1918–1920]. Warsaw: Rytm. (Scholar)
• Quine, W. V., 1985. The Time of My Life. Cambridge: MIT Press. (Scholar)
• Simons, P. M., 1982. ‘On Understanding Leśniewski,’ History and Philosophy of Logic, 3: 165–191. (Scholar)
• –––, 1985. ‘A Semantics for Ontology,’ Dialectica, 39: 193–216. (Scholar)
• –––, 2002. ‘Reasoning on a Tight Budget: Lesniewski’s Nominalistic Metalogic,’ Erkenntnis, 56: 99–122. (Scholar)
• –––, 2014. ‘Arithmetic in Leśniewski’s Ontology,’ in K. Mulligan, K. Kijania-Placek and T. Placek, eds., The History and Philosophy of Polish Logic. Essays in Honour of Jan Woleński. London: Palgrave-Macmillan, 227–241. (Scholar)
• –––, 2018. ‘Stanisław Leśniewski: Original and Uncompromising Logical Genius,’ in Á. Garrido and U. Wybraniec-Skardowska, eds., The Lvov-Warsaw School. Past and Present. Cham: Birkhäuser, 209–221. (Scholar)
• Słupecki, J. S., 1955. ‘Leśniewski’s Calculus of Names,’ Studia Logica, 3: 7–70. (Scholar)
• Smirnov, V. A., 1983. ‘Embedding the Elementary Ontology of Stanisław Leśniewski into the Monadic Second-Order Calculus of Predicates,’ Studia Logica 42, 197–207. (Scholar)
• Sobociński, B., 1949/1950. ‘L’analyse de l’antinomie russellienne par Leśniewski,’ Methodos, 1: 99–104; 1: 220–228; 1: 308–316; and 2: 237–257.
• –––, 1960/1961. ‘On the Single Axioms of Protothetic, I, II, III,’ Notre Dame Journal of Symbolic Logic, 1: 52–73; 2: 111–126; and 2: 129–148. (Scholar)
• –––, 1967. ‘Successive Simplifications of the Axiom-System of Leśniewski’s Ontology,’ in S. McCall, ed. Polish Logic, 1920–1939. Oxford: Clarendon, 1967, 188–200. (Scholar)
• Stachniak, Z., 1981. Introduction to Model Theory for Lesniewski’s Ontology, Wrocław: Wydawnictwo Uniwersytetu Wrocławskiego. (Scholar)
• Urbaniak, R., 2014. Leśniewski’s Systems of Logic and Foundations of Mathematics, Cham/Heidelberg/New York/Dordrecht/London: Springer. (Scholar)
• Woleński, J., 1989. Logic and Philosophy in the Lvov–Warsaw School. Dordrecht: Kluwer. (Scholar)