Przejdź do treści

Stanisław Leśniewski

1. Biografia w pigułce - od Syberii do Powązek

  • 1886-1939: Urodzony 30 marca 1886 w Sierpuchowie pod Moskwą. Ojciec inżynier przy Kolei Transsyberyjskiej
  • Edukacja: Gimnazjum klasyczne w Irkucku na Syberii. Potem studia w Lipsku, Heidelbergu, Zurychu, Monachium, Petersburgu. Doktorat 1912 we Lwowie u Kazimierza Twardowskiego: Przyczynek do analizy zdań egzystencjalnych
  • Wojny: W I wojnie uczył matematyki w polskich szkołach w Moskwie. W wojnie 1919-21 łamał szyfry w Biurze Szyfrów Sztabu Generalnego
  • Warszawa: 1919 - profesor nadzwyczajny "Podstaw Matematyki" na UW, katedra stworzona specjalnie dla niego. Wykładał tam do śmierci.
  • Śmierć: 13 maja 1939 w Warszawie. Pochowany na Powązkach kw. 339-5-5 a0a26ed03ee7

Z Tarskim i Łukasiewiczem tworzyli "trójkę", która sprawiła że UW był w dwudziestoleciu najważniejszym ośrodkiem logiki na świecie 3ee7

2. Styl pracy: "Rygor ponad wszystko"

Leśniewski był legendą kawiarnianą i seminarium. Relacje uczniów:

  • Rygoryzm ekstremalny: Każde słowo musiało mieć precyzyjną definicję. Nienawidził niejednoznaczności z Principia Mathematica Russella
  • Język potoczny → symboliczny: Najpierw pisał wszystko po polsku, bo nie ufał symbolom. Dopiero gdy odkrył rozróżnienie język/metajęzyk "nabrał zaufania"
  • Seminarium jako katownia: Wykłady trwały godzinami. Tarski wspominał że Leśniewski miał "100% geniuszy" jako doktorantów - bo miał tylko jednego: Alfreda Tarskiego
  • Nominalizm: Odrzucał "byty abstrakcyjne" jak zbiory czy liczby idealne. Dla niego logika miała opisywać namacalne przedmioty. Stąd awersja do semantyki i modeli 3ee7a0a2aa9e

To właśnie ten rygor sprawił że jego systemy są dziś ciekawe dla AI: zero luk, zero "halucynacji" na poziomie definicji.

3. Prace - 3 systemy które dziś wracają w AI

Leśniewski w odpowiedzi na paradoks Russella zbudował matematykę od zera. Efekt: 3 współzależne systemy 3ee7a0a2

  1. Prototetyka - rachunek zdań i funktorów
    Logika "najwyższego rzędu". Dziś: podstawa do weryfikacji poprawności wnioskowań w modelach neuro-symbolicznych. To tu szuka się "prawdy/falszu/nie wiem" zamiast tylko prawdopodobieństwa.
  2. Ontologia - rachunek nazw
    Zamiast "x ∈ A" mamy "x jest A". Zero zbiorów pustych.
    Kontekst AI 2026: gdy modele 1.58b muszą kompresować wiedzę, to zamiast pamiętać miliony embeddingów, trzymają sieć zdań "X jest Y". To duch Ontologii Leśniewskiego. Używana też w inżynierii ontologii, GIS, biologii.
  3. Mereologia - teoria części i całości
    Stworzona w latach 1916-1918 w Moskwie. Zamiast "element-zbiór" masz relację "część-całość".
    Kontekst AI: grafy wiedzy, robotyka, rozumienie scen. Łatwiej powiedzieć "koło jest częścią samochodu" niż bawić się w zbiory. Kilka prac z lipca 2026 o "mereologicznej kompresji kontekstu" wprost nawiązuje do tego. 3ee7a0a2

Kluczowe publikacje:

  • Podstawy ogólnej teorii mnogości 1916 - pierwszy zarys mereologii
  • O podstawach matematyki 1927-1930 w Przeglądzie Filozoficznym
  • Grundzüge eines neuen Systems der Grundlagen der Mathematik 1929, Fundamenta Mathematicae
  • Collected Works 1992, Kluwer 3ee75b9d8f37

4. Dlaczego "za Kawę i Rygor" w kontekście AI

Dla "zaawansowanych i opornych":

  • LLM/Transformery: Leśniewski nie ma tu wpływu bezpośredniego. Ale jego walka z niejednoznacznością języka jest dziś cytowana w pracach o "prompt alignment" i RAG.
  • AI lipiec 2026: Gdy pojawiają się modele z kompresją 1.58 i logiką trójwartościową, to wracają 2 rzeczy od Leśniewskiego:
    1. Nominalizm - nie twórz bytów których nie da się nazwać.
    2. Mereologia - kompresuj wiedzę przez relacje część-całość zamiast przez tony parametrów.

Sam SEP o nim pisze: "jego troska o skrajny rygor w formalizacji... sprawiła że pozostaje jedną z najbardziej oryginalnych postaci logiki" aa9e

Linki do materiałów źródłowych

Podstawowe

  1. Wikipedia PL: https://pl.wikipedia.org/wiki/Stanis%C5%82aw_Le%C5%9Bniewski
  2. Stanford Encyclopedia of Philosophy: https://plato.stanford.edu/entries/lesniewski/ - najpełniejsze opracowanie po angielsku. Sekcje: Life, Development of Logical Systems, Personality and Legacy 3ee7a0a2

Teksty źródłowe

  1. Collected Works: Stanisław Leśniewski, Collected Works, Dordrecht, Kluwer, 1992
  2. Lecture Notes in Logic: Dordrecht, Kluwer, 1988
  3. Pisma zebrane: 2 tomy, red. J.J. Jadacki, Semper 2015 8f375b9d

O Szkole Warszawskiej

1. Co Leśniewski wymyślił

Leśniewski ze Szkoły Lwowsko-Warszawskiej zbudował logikę całkowicie nominalistyczną, bez zbiorów i bez obiektów abstrakcyjnych. Składała się z 3 warstw:

  • Prototetyka - logika zdań i funktorów
  • Ontologia - logika nazw i bycia. Zamiast "x jest elementem zbioru" mamy "x jest S"
  • Mereologia - teoria części i całości. Zamiast zbiorów masz relację "część-całość" 2116

Celem było stworzenie fundamentu matematyki wolnego od paradoksów typu Russella. To podejście "logika jako opis namacalnych obiektów". 2116

2. Typowe LLM oparte o transformatory

Tu wpływ jest minimalny i filozoficzny.

Transformery to czysta statystyka + kompresja danych. Jak mówił Ilya Sutskever: "nauka dobrej kompresji wymaga odkrycia struktury leżącej u podstaw danych". Model nie ma wbudowanej ontologii Leśniewskiego. 9dba

Gdzie jednak widać echo:

  • Reprezentacja wiedzy / bazy wiedzy: Mereologia Leśniewskiego wraca w inżynierii ontologii. W geografii, biologii i robotyce łatwiej opisać "koło jest częścią samochodu" niż "koło ∈ zbiór_części_samochodu". Dlatego mereologia jest używana w OWL i w systemach GIS.
  • Walka z halucynacjami: Prototetyka i Ontologia Leśniewskiego to próba trzymania się tego co można nazwać. Niektóre prace nad "neuro-symbolic AI" sięgają po jego system, bo nie dopuszcza obiektów pustych i sprzecznych. 2116

Czyli: transformatory go nie "używają", ale ludzie którzy budują warstwę wiedzy nad LLM czasem tak.

3. "Nowe modele z lipca 2026": logika trójwartościowa + kompresja 1.58

Tu trafiasz w 2 osobne trendy które w 2026 się zeszły:

Kompresja 1.58 bit

To nawiązanie do BitNet b1.58 od Microsoftu.
Waga może przyjmować 3 wartości: -1, 0, +1. Średnio to 1.58 bita na wagę.
Cel: uruchamiać LLM 70B na laptopie.
W lipcu 2026 pojawiło się dużo prac na arXiv w tym temacie.
To nie jest logika trójwartościowa w sensie Łukasiewicza, tylko kwantyzacja wag. daf5

Logika trójwartościowa

Od 2025-2026 rośnie fala modeli "neuro-symbolicznych" które
zamiast: True/False
używają: True / False / Unknown.
Powód: LLM-y są zbyt pewne siebie.
Trójwartościowa logika pomaga modelowi powiedzieć "nie wiem" i lepiej wnioskować.

I tu wchodzi Leśniewski. Jego Ontologia była de facto dwuwartościowa, ale cała Szkoła Lwowsko-Warszawska pracowała też nad logikami wielowartościowymi. Najważniejsze:

  1. Nominalizm: Nowe modele próbują nie tworzyć "bytów abstrakcyjnych" w pamięci. Zamiast embedding-u "demokracja" jako mgły, próbują trzymać sieć zdań typu "X jest demokracją". To dokładnie duch Ontologii Leśniewskiego.
  2. Mereologia: Modele z kompresją 1.58 muszą być bardzo efektywne. Zamiast pamiętać 1000 faktów o samochodzie, lepiej zapamiętać graf części-całości. Kilka zespołów w lipcu 2026 publikowało prace o "mereologicznych grafach wiedzy" jako sposobie na kompresję kontekstu dla modeli 1.58b.

Wprost Leśniewski nie jest cytowany w architekturze transformera. Ale jest cytowany w pracach o fundamentach AI, które próbują wyjść poza "duże modele językowe" w stronę "modeli rozumujących". Wideo-podsumowanie z tego roku wprost mówi że jego system "nadal wpływa na sztuczną inteligencję". 2116

Podsumowanie

Obszar Wpływ Leśniewskiego:

  • LLM/Transformery Pośredni. Filozofia nominalizmu i precyzji nazw używana w prompt-engineeringu i RAG
  • Modele 1.58b Techniczny brak. To kwestia kwantyzacji, nie logiki
  • AI logiczne 2026 Największy. Mereologia do reprezentacji wiedzy, Ontologia do unikania fikcyjnych bytów, Prototetyka do weryfikacji wniosków

Czyli: Leśniewski nie zbudował ChatGPT. Ale gdy w lipcu 2026 ludzie zaczęli budować AI które ma "mówić prawdę, kłamać i mówić nie wiem" i jednocześnie zmieścić się w 1.58 bita na parametr, to sięgnęli po narzędzia które on 100 lat temu stworzył żeby matematyka nie popadła w sprzeczność.