Podróże filozoficzne. Logika

Czyli tylko w sytuacji, w której poprzednik implikacji był prawdziwy, zaś następnik fałszywy. I tak to nasze, jakby się zdawało, zwykłe, potoczne rozumowanie okazuje się być zgodne z logiką i matematyką. Nawet w tak prostych sytuacjach widzimy, że od tej logiki nie uciekamy. Logika jest potężną bronią, przed którą praktycznie nie ma jak uciec. Prędzej czy później dopadnie nas swoją chłodną, metodyczną analizą. Dodać jeszcze należy, że spośród wszystkich nacji to Polacy są wyjątkowo licznie reprezentowani w historii logiki. Takie nazwiska jak Tarski, Leśniewski, Kotarbiński czy Ajdukiewicz to ekstraklasa światowej logiki. Szkoła lwowsko-warszawska przedwojenna należy zaś do najważniejszych elementów całej historii filozofii.

Jej najbardziej znany przedstawiciel, Alfred Tarski, uznawany był za jednego z czterech najwybitniejszych logików wszechczasu, wymieniany na równi z Arystotelesem, Gottlobem Frege i Kurtem Goedlem. Tarski jest twórcą tzw. teorii modeli, ściśle zmatematyzowanej teorii, badającej własności tzw. modeli teorii aksjomatycznych. Pamiętajmy, proszę Państwa, że spośród wszystkich dziedzin filozofii, logika jest z pewnością najbardziej polską dziedziną badań i w tej mierze naprawdę mamy się czym chwalić.