Stanisław Leśniewski

Stanisław Leśniewski, 1886-1939

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.

 To jest tylko zalążek artykułu biograficznego związanego z matematyką. Jeśli możesz, rozbuduj go.