Stanisław Leśniewski
Stanisław Leśniewski (ur. 28 marca lub 30 marca 1886 w Sierpuchowie, zm. 13 maja 1939 w Warszawie) – polski filozof i logik.
Praca naukowa[edytuj]
Był profesorem Uniwersytetu Warszawskiego, uczniem Kazimierza Twardowskiego. Jego prace obejmują stworzenie rachunku zdań – prototetyki, systemu rachunku nazw – ontologii Leśniewskiego, teorii zbiorów w sensie kolektywnym – mereologii. Wymienione systemy Leśniewskiego powstały w wyniku poszukiwań ugruntowania podstaw matematyki oraz w celu wyeliminowania antynomii z nauk dedukcyjnych. Systemy Leśniewskiego stanowią w logice wzór pod względem ścisłości i intuicyjności. W dorobku Leśniewskiego szczególnie warto również wymienić opracowanie teorii kategorii semantycznych, wprowadzenie rozróżnienia poziomów języka (na język i metajęzyk) oraz rozróżnienie zbiorów w sensie dystrybutywnym i kolektywnym.
Bibliografia[edytuj]
- Stanisław Leśniewski, "Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind", Fundamenta Mathematicae 1929, tom XIII, ss. 319-32.
- Stanisław Leśniewski, "Grundzüge eines neuen Systems der Grundlagen der Mathematik", Fundamenta Mathematicae 1929, tom XIV, ss. 1-81.
- Stanisław Leśniewski, "Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind", Fundamenta Mathematicae 1929, tom XIV, ss. 242-51.
- Stanisław Leśniewski, Lecture Notes in Logic, Dordrecht, Kluwer, 1988.
- Stanisław Leśniewski, Collected Works, Dordrecht, Kluwer, 1992.
