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

Leśniewski, one of the most remarkable scientific personalities in the history of logic, belonged to the first generation of the Lwów-Warsaw School of logic founded by Kazimierz Twardowski.

Together with Jan Łukasiewicz and Alfred Tarski, his sole doctoral pupil, he formed the troika which in the 1920s and 1930s made the University of Warsaw perhaps the most important research centre in the world for formal logic.

His distinctive contribution was the construction of three interrelated formal systems, to which he gave the Greek-derived names of protothetic, ontology, and mereology.

Bibliography

• Stanisław Leśniewski: Lecture Notes in Logic, Dordrecht, Kluwer, 1988.
• Stanisław Leśniewski: Collected Works, Dordrecht, Kluwer, 1992.

External links

• Polish Philosophy page