Lekcja: "045. Szkoła Lwowsko - Warszawska, część I"
Szkoła Lwowsko - Warszawska
Stanisław Leśniewski (1886-1939) polski filozof, logik i matematyk, jeden z głównych założycieli warszawskiej szkoły logicznej. Jego prace dotyczyły podstawowych zagadnień logiki i matematyki, obejmują stworzenie rachunku zdań – prototetyki systemu rachunku nazw – ontologii Leśniewskiego, teorii zbiorów w sensie kolektywnym – mreologii.
Te systemy Leśniewskiego stanowią w logice wzór pod względem ścisłości i intuicyjności. W dorobku Leśniewskiego szczególnie warto 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.
Przy wejściu do nowego budynku biblioteki Uniwersytetu Warszawskiego,
na kolumnadzie stoi czterech wielkich filozofów:
Kazimierz Twardowski, Stanisław Leśniewski,
Alfred Tarski i Ignacy Łukasiewicz