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

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.