Elementy logiki matematycznej i metodologii nauk ścisłych

Abstract

Prezentowany tom stanowi reedycję skryptu wykładów z logiki matematycznej i metodologii nauk ścisłych autorstwa Stanisława Jaśkowskiego (1906-1965), wybitnego polskiego logika i matematyka, reprezentanta Szkoły Lwowsko-Warszawskiej, twórcy m.in. systemów dedukcji naturalnej i logik parakonsystentnych. Skrypt został wydany w 1947 roku na potrzeby studentów matematyki Uniwersytetu Mikołaja Kopernika w Toruniu, z którym Jaśkowski był związany zawodowo przez ostatnie dwadzieścia lat życia. Książka jest oryginalnym, autorskim, niezwykle nowoczesnym ujęciem przedmiotu, w znaczący sposób różniącym się od innych podręczników. To pierwsza praca, w której logika prezentowana jest konsekwentnie w postaci systemu dedukcji naturalnej, co stało się później standardem w dydaktyce logiki. Biorąc pod uwagę, że Jaśkowski w latach trzydziestych XX wieku skonstruował pierwsze systemy tego typu, mamy do czynienia z niezwykle ważnym historycznym świadectwem ich pierwszego wykorzystania w nauczaniu. Wybitne walory dydaktyczne skryptu sprawiają, że jest interesujący dla specjalistów i może być nadal przydatny jako podręcznik logiki, pomimo ponad siedemdziesięciu lat, które upłynęły od jego pierwszego wydania.