Stanisław Leśniewski
Z Wikipedii
Stanisław Leśniewski (ur. 30 marca 1886, zm. 13 maja 1939) – polski filozof i logik.
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.
[edytuj] Bibliografia
- 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.
