Leśniewski’s Systems and the Aristotelian Model of Science

  • Arianna Betti
Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 16)

The systems of Leśniewski, like Frege’s, have an unmistakably old-fashioned flavour. They stand to, say, post-Tarskian, post-Gödelian, post-Hilbertian logic like traditional peasant Tuscan bread soup stands to molecular fusion kitchen. Why is that? According to suggestions recently put forward, which rely on van Heijenoort’s opposition “Logic as Language vs. Logic as Calculus”, or similar dichotomies, Leśniewski’s attitude to logic was similar to Frege’s insofar as it matched Frege’s “Logic as Language” rather than Boole’s and Schröder’s “Logic as Calculus”.


English Translation Semantic Category Axiom System Linguistic Convention Domain Postulate 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Barnes, Jonathan (1999) Aristotle – Posterior Analytics, Translated and with a Commentary by Jonathan Barnes, Oxford, Clarendon.Google Scholar
  2. Beaney, Michael (2003) ‘Analysis’, The Stanford Encyclopedia of Philosophy (Summer 2003 Edition), Edward N. Zalta (ed.), URL = <>.
  3. Beth, Evert W. (1959) The Foundations of Mathematics – A Study in the Philosophy of Science, Amsterdam, North-Holland.Google Scholar
  4. Betti, Arianna (2004) ‘Leśniewski’s Early Liar, Tarski and Natural Language’, Annals of Pure and Applied Logic, 127, 267–287.CrossRefGoogle Scholar
  5. Betti, Arianna (forthcoming) ‘Leśniewski’s Characteristica Universalis and the Classical Model of Science’ Synthese.Google Scholar
  6. De Jong, Willem R. (1996) ‘Gottlob Frege and the Analytic-Synthetic distinction within the framework of the Aristotelian Model of Science’ Kant-Studien 87, 290–324.CrossRefGoogle Scholar
  7. De Jong, Willem R. (2001) ‘Bernard Bolzano, Analyticity and the Aristotelian Model of Science’ Kant-Studien, 328–349.Google Scholar
  8. De Jong, Willem R. and Arianna Betti (forthcoming) ‘The Classical Model of Science: a Millennia-Old Model of Scientific Rationality’, Synthese.Google Scholar
  9. De Pierris, Graciela (1988) ‘Frege and Kant on a priori knowledge’, Synthese 77, 285–319.CrossRefGoogle Scholar
  10. Frege, Gottlob (1884) Die Grundlagen der ArithmetikEine logisch mathematische Untersuchung über den Begriff der Zahl, Breslau, Breslau, W. Koebner. Reprinted together with the English Translation (J. L. Austin) The Foundation of Arithmetic, Oxford, Blackwell,1950.Google Scholar
  11. van Heijenoort, Jean (1967) ‘Logic as Language and Logic as Calculus’, Synthese 17, 324–30.CrossRefGoogle Scholar
  12. Husserl, Edmund (1900/01) Logische Untersuchungen, Max Niemeyer: Halle a.d.S., 1900–1901; = Husserliana XVIII, XIX/1, XIX/2, The Hague, Nijhoff. (Eng. tr. by J. N. Findlay, London/Henley, Routledge, 1970.)Google Scholar
  13. Kambartel, Friedrich (1975) ‘Frege und die axiomatische Methode. Zur Kritik mathematikhistorischer Legitimationsversuche der formalistischen Ideologie’, in: M. Schirn (ed.), Studien zu Frege, Band I, Stuttgart, Frommann-Holzboog, 1976, 215–228.Google Scholar
  14. Korte, Tapio (forthcoming) ‘Begriffsschrift as a lingua characteristica and the Classical Model of Science’, Synthese, forthcoming.Google Scholar
  15. Küng, Guido (1981), ‘Leśniewski’s Systems’, in W. Marciszewski (ed.), Dictionary of Logic, The Hague, Nijhoff, 168–177.Google Scholar
  16. LeBlanc, A. O. V. (1983) A Study of the Axiomatic Foundations of Mereology, MA thesis, Faculty of Arts, University of Manchester.Google Scholar
  17. LeBlanc, A. O. V. (1991) Leśniewski’s Computative Protothetic, PhD Thesis, Faculty of Arts, University of Manchester,Google Scholar
  18. Lejewski, Czesław (1954) ‘Logic and Existence’, in J. T. J. Srzednicki & Vito F. Rickey (eds.) (1984) Leśniewski’s Systems – Ontology and Mereology, The Hague, Nijhoff, 45–58Google Scholar
  19. Lejewski, Czesław (1982) ‘Ontology: What Next’, in: W. Leinfellner, E. Kraemer and J. Schank (eds.), Language and Ontology. Proceedings of the 6th International Wittgenstein Symposium, Vienna: Hölder-Pichler-Tempsky, 173–185Google Scholar
  20. Leśniewski, Stanisław (1911) ‘Przyczynek do analizy zdań egzystencjalnych’ Przegląd Filozoficzny XIV, 329–45. Eng. tr. in Leśniewski (1991), 1–19.Google Scholar
  21. Leśniewski, Stanisław (1912) ‘Próba dowodu ontologicznej zasady sprzeczności’, Przegląd Filozoficzny XV, 202–26; Engl. transl. in Leśniewski (1991), 20–46.Google Scholar
  22. Leśniewski, Stanisław (1916) Podstawy ogólnej teorji mnogości. I (Część. Ingredyens. Mnogość. Klasa. Element. Podmnogość. Niektóre ciekawe rodzaje klas), Prace Polskiego Koła Naukowego w Moskwie, Sekcja matematyczno-przyrodnicza. Engl. trans. in Leśniewski (1991), 129–73.Google Scholar
  23. Leśniewski, Stanisław (1927/31), O Podstawach Matematyki, Rozdz. I-III, Przegląd Filozoficzny XXX, 164–206, 1927; Rozdz. IV, XXXI, 1928, 261–91, Rozdz.V–IX, XXXII, 1929, 60–101, Rozdz. VI–IX, XXXIII, 1930, 77–105, Rozdz. X–XI, XXXIV, 1931, 142–170. Eng. Tr. in Leśniewski (1991), 181–382.Google Scholar
  24. Leśniewski, Stanisław (1929) “Grundzüge eines neuen Systems der Grundlagen der Mathematik”, Fundamenta Mathematicae XIV, 14. (Eng. Tr. in (1991, 422.)Google Scholar
  25. Leśniewski, Stanisław (1939) “Einleitende Bemerkungen zur Fortsetzung meiner Mitteilung u. d. T. ‘Grundzüge eines neuen Systems der Grundlagen der Mathematik”’, Collectanea Logica, 1, 1–60; Eng. Tr. in Leśniewski (1991), 649–710.Google Scholar
  26. Leśniewski, Stanisław (1991) Stanisław Leśniewski. Collected Works, 2 vols., ed. by S. J. Surma, J. T. Srzednicki, D. I. Barnett and V. F. Rickey, Dordrecht, Kluwer.Google Scholar
  27. Lindenbaum, Adolf (1936) ‘Sur la simplicité formelle des notions’ Actes du congres international de philosophie scientifique, VII Logique, Paris, Hermmann, 29–38.Google Scholar
  28. Luschei, Eugene C. (1962) The Logical Systems of Leśniewski, Amsterdam, North-Holland.Google Scholar
  29. Miéville, Denis (1984) Un développement des systèmes logiques de Stanislaw Lesniewski, Protothétique – Ontologie – Méréologie, Bern/Frankfurt/New York, Peter Lang.Google Scholar
  30. Mignucci, Mario (1975) L’argomentazione dimostrativa in Aristotele – Commento agli Analitici Secondi I, Padova, Antenore.Google Scholar
  31. Philipse, Herman (1983) De fundering van de logica in Husserls ‘Logische Untersuchungen’, PhD diss., Leiden.Google Scholar
  32. Philipse, Herman (2004) ‘Edmund Husserl and the History of Classical Foundationalism’, in: R. Feist (ed.), Husserl and the Sciences: Selected Perspectives, Ottawa, University of Ottawa Press, 11–40Google Scholar
  33. Scholz, Heinrich (1975) ‘The Ancient Axiomatic Theory’ translated in J. Barnes, M. Schofield, and R. Sorabji (eds.) Articles on Aristotle. Volume 1: Science, London: Duckworth, 1975, PAGES (= “Die Axiomatik der Alten“Blätter für Deutsche Philosophie IV, 1930, 259–278.)Google Scholar
  34. Sobociński, Bolesław (1955/6) ‘On well-constructed Axiom Systems’ VI Rocznik Polskiego Towarzystwa Naukowego na Obczyźnie, 54–70.Google Scholar
  35. Sundholm, Göran (2003) ‘Tarski and Leśniewski on languages with meaning versus languages without use – A 60th Birthday Provocation for Jan Woleński’, in: J. Hintikka, T. Czarnecki, K. Kijania-Placek, T. Placek, A. Rojszczak† (eds.) Philosophy and Logic – In Search of the Polish Tradition, Essays in honour of Jan Woleński on the Occasion of his 60th Birthday, Dordrecht, Kluwer, 109–128.Google Scholar
  36. Tarski, Alfred (1923). ‘O wyrazie pierwotnym logistyki’ Przegląd Filozoficzny 26: 68–89. (Eng. trans. in Logic, Semantics, Metamathematics – Papers from 1923 to 1938. Oxford, Clarendon Press: 1–23.)Google Scholar
  37. Woleński, Jan (2004a) ‘Analytic vs, Synthetic and Apriori vs. Aposteriori’ in I. Niiniluoto, M. Sintonen and J. Woleński, Handbook of Epistemology, Dordrecht, Kluwer, 781–839.Google Scholar
  38. Woleński, Jan (2004b) ‘The Reception of Frege in Poland’ History and Philosophy of Logic 25, 37–51.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  • Arianna Betti
    • 1
  1. 1.Vrije Universiteit AmsterdamThe Netherlands

Personalised recommendations