Leśniewski Stanisław

Urodzony(-a): 30 Marzec 1886 ( _)

Zmarł(-a): 13 Maj 1939 ( _)

Pochowany (-a): na Cmentarzu Powązkowskim w Warszawie

---

Życiorys

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.

Niektóre prace Stanisława Leśniewskiego:

• Stanisław Leśniewski: Przyczynek do analizy zdań egzystencjalnych - 1911

• Stanisław Leśniewski: Próba dowodu ontologicznej zasady sprzeczności - 1912

• Stanisław Leśniewski: Krytyka logicznej zasady wyłączonego środka - 1913

• Stanisław Leśniewski: Czy klasa klas, niepodporządkowanych sobie, jest podporządkowana sobie? - 1914

• Stanisław Leśniewski: O podstawach matematyki - 1927-1931

Źródła:

http://pl.wikipedia.org/wiki/Stanis%C5%82aw_Le%C5%9Bniewski

http://hint.org.pl/itd=n15