For faster navigation, this Iframe is preloading the Wikiwand page for Stanisław Leśniewski.

Stanisław Leśniewski

From Wikipedia, the free encyclopedia

Stanisław Leśniewski
Stanisław Leśniewski.jpg
Born(1886-03-30)30 March 1886
Died13 May 1939(1939-05-13) (aged 53)
NationalityPolish
Alma materLviv University
Known forCalculus of names
Mereology
Scientific career
FieldsMathematics
InstitutionsUniversity of Warsaw
Doctoral advisorKazimierz Twardowski
Doctoral studentsAlfred Tarski
InfluencedDenis Miéville

Stanisław Leśniewski (30 March 1886 – 13 May 1939) was a Polish mathematician, philosopher and logician.

Life

He was born on 28 March 1886 at Serpukhov, near Moscow, to father Izydor, an engineer working on the construction of the Trans-Siberian Railway, and mother Helena (née Palczewska).[1] Leśniewski went to a high school in Irkutsk. Later he attended lectures by Hans Cornelius at the Ludwig Maximilian University of Munich[2] and lectures by Wacław Sierpiński at Lviv University.[3]

Leśniewski belonged to the first generation of the Lwów–Warsaw School of logic founded by Kazimierz Twardowski. Together with Alfred Tarski and Jan Łukasiewicz, he formed a trio which made the University of Warsaw, during the interbellum, perhaps the most important research center in the world for formal logic.[4]

His main contribution was the construction of three nested formal systems, to which he gave the Greek-derived names of protothetic, ontology, and mereology.[5] ("Calculus of names" is sometimes used instead of ontology, a term widely employed in metaphysics in a very different sense.) A good textbook presentation of these systems is that by Simons (1987), who compares and contrasts them with the variants of mereology, more popular nowadays, descending from the calculus of individuals of Leonard and Goodman. Simons clarifies something that is very difficult to determine by reading Leśniewski and his students, namely that Polish mereology is a first-order theory isomorphic to what is now called classical extensional mereology.

While he did publish a fair body of work (Leśniewski, 1992, is his collected works in English translation), some of it in German, the leading language for mathematics of his day, his writings had limited impact because of their enigmatic style and highly idiosyncratic notation. Leśniewski was also a radical nominalist: he rejected axiomatic set theory at a time when that theory was in full flower. He pointed to Russell's paradox and the like in support of his rejection, and devised his three formal systems as a concrete alternative to set theory. Even though Alfred Tarski was his sole doctoral pupil, Leśniewski nevertheless strongly influenced an entire generation of Polish logicians and mathematicians via his teaching at the University of Warsaw. It is mainly thanks to the writings of his students (e.g., Srzednicki and Rickey 1984) that Leśniewski's thought is known.[6]

During the Polish–Soviet War of 1919-21, Leśniewski served the cause of Poland's independence by breaking Soviet Russian ciphers for the Polish General Staff's Cipher Bureau.[7]

Leśniewski died suddenly of cancer, shortly before the German invasion of Poland, which resulted in the destruction of his Nachlass. He was buried at Warsaw's Powązki Cemetery.[8]

Works

  • 1988. Lecture Notes in Logic. Kluwer. Table of Contents.
  • 1992. Collected Works. 2 vols. Kluwer. Table of Contents.
  • 1929, "Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind", Fundamenta Mathematicae 13: 319-32.
  • 1929, "Grundzüge eines neuen Systems der Grundlagen der Mathematik", Fundamenta Mathematicae 14: 1-81.
  • 1929, "Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind", Fundamenta Mathematicae 14: 242-51.
Warsaw University Library – at entrance (seen from rear) are pillared statues of Lwów-Warsaw School philosophers (right to left) Kazimierz Twardowski, Jan Łukasiewicz, Alfred Tarski, Stanisław Leśniewski.
Warsaw University Library – at entrance (seen from rear) are pillared statues of Lwów-Warsaw School philosophers (right to left) Kazimierz Twardowski, Jan Łukasiewicz, Alfred Tarski, Stanisław Leśniewski.

See also

References

  1. ^ "Stanisław Leśniewski". Retrieved 20 March 2020.
  2. ^ "Stanisław Leśniewski - logik radykalny". Retrieved 20 March 2020.
  3. ^ "Stanisław Leśniewski". Retrieved 20 March 2020.
  4. ^ "Naissance du mathématicien Polonais Stanisław Leśniewski 30 mars 1886". Retrieved 20 March 2020.
  5. ^ "Stanislaw Lesniewski". Retrieved 20 March 2020.
  6. ^ "Systemy dedukcyjne Leśniewskiego - podstawy filozofii i matematyki" (PDF). Retrieved 20 March 2020.
  7. ^ "Wojna wywiadów". Retrieved 20 March 2020.
  8. ^ "Warszawskie Zabytkowe Pomniki Nagrobne". Retrieved 20 March 2020.
  • Ivor Grattan-Guinness, 2000. In Search of Mathematical Roots. Princeton: Princeton University Press.
  • Luschei, Eugene, 1962. The Logical Systems of Lesniewski. Amsterdam: North-Holland.
  • Miéville, Denis, 1984. "Un Développement des Systèmes Logiques de Stanislas Lesniewski", Peter Lang, European University Studies.
  • Simons, Peter, 1987. Parts: A Study in Ontology. New York: Oxford University Press.
  • Srzednicki, J. T. J., and Rickey, V. F., (eds.), 1984. Lesniewski's Systems: Ontology and Mereology. Dordrecht: Kluwer.
  • Surma, Stanislaw J. (editor) (1977/8) "On Leśniewski's Systems, Proceedings of XXII Conference on History of Logic", Studia Logica 36(4): 247–426 MR0476370
  • Urbaniak, Rafal, 2013. Leśniewski's Systems of Logic and Foundations of Mathematics, Dordrecht: Springer.
  • Wolenski, Jan, 1989. Logic and Philosophy in the Lwow-Warsaw School. Dordrecht: Kluwer.
{{bottomLinkPreText}} {{bottomLinkText}}
Stanisław Leśniewski
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.