Lekcja: "046. Szkoła Lwowsko - Warszawska, część II"
Szkoła Lwowsko - Warszawska
Warszawska szkoła logiczna jest uważana za jedną z najważniejszych w całej historii logiki. Odegrała znaczącą rolę w rozwoju logiki matematycznej.
Łukasiewicz wynalazł bez nawiasową notację logiczną (symbolika polska, symbolika Łukasiewicza). Łukasiewicz i jego uczniowie przeprowadzili wielostronne badania nad rachunkiem zdań (formalizacja, aksjomatyzacje, częściowe systemy teorii dedukcji, twierdzenia metalogiczne).
Jaśkowski opracował metodę dedukcji naturalnej, tj. wnioskowania posiłkującego się tylko regułami i założeniami, ale bez aksjomatów.
Jaśkowski, Łukasiewicz, Tarski i Wajsberg ustalili wiele faktów dotyczących logiki intuicjonistycznej, m.in. jej związek z topologią. Badano logiki modalne, a Jaśkowski zbudował pierwszy system logiki parakonsystentnej.
Tarski odkrył metodę eliminacji kwantyfikatorów, wykazał, że pojęcie prawdy arytmetycznej nie jest definiowalne w arytmetyce i uzyskał wiele fundamentalnych wyników na temat szczegółowych teorii matematycznych.
Niektóre rezultaty i koncepcje miały wyraźną motywację filozoficzną. Na pierwszym miejscu trzeba tu wymienić semantyczną definicję prawdy podaną przez Tarskiego. Jest to zapewne jeden z najważniejszych rezultatów uzyskanych w szkole lwowsko-warszawskiej.
