Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Metalogika (Uniwersytet Opolski)
Dzięki uprzejmości Instytutu Filozofii Uniwersytetu Opolskiego Jerzy Pogonowski ma możliwość wygłoszenia dla doktorantów tego Instytutu cyklu wykładów Metalogika.
Prezentacje
Informacje pomocnicze
Wszystkie pojęcia matematyczne wykorzystywane w wykładach zostaną objaśnione w Preliminariach. Zakłada się, że słuchacze będą mieli za sobą elementarny kurs logiki, obejmujący Klasyczny Rachunek Zdań (KRZ) oraz Klasyczny Rachunek Predykatów (KRP), w szczególności, że znane im będą: semantyka KRZ i KRP, metoda aksjomatyczna w KRZ i KRP, metoda założeniowa w KRZ i KRP. Preliminaria logiczne i matematyczne znaleźć można np. w wykładach:
Znakomitym wstępem algebraicznym jest monografia:
Pomoce dydaktyczne z logiki matematycznej (zarówno polskie jak i obcojęzyczne) dostępne są na naszej stronie odnośników:
