Jerzy Pogonowski - Posługa dydaktyczna
From Zakład Logiki Stosowanej
Logika matematyczna:
Funkcje rekurencyjne:
O przekonaniach i przekonywaniu (wykład fakultatywny):
Naukoznawstwo:
Rozdział III skryptu Metoda drzew semantycznych w Klasycznym Rachunku Logicznym
- Wstęp do rozdziału III
- O budowaniu drzew semantycznych w KRP
- Tautologie KRP
- Semantyczna niesprzeczność
- Wynikanie logiczne
- Rachunek predykatów z identycznością
- Rachunek predykatów z symbolami funkcyjnymi
Logika - zadania egzaminacyjne (z rozwiązaniami):
- Językoznawstwo i informacja naukowa (2005)
- Językoznawstwo i informacja naukowa (2004)
- Koreanistyka (poprawkowy, 2004)
Proponowane tematy rozpraw magisterskich:
- logiczna analiza modalności (zwłaszcza epistemicznych);
- argumentacja, perswazja, manipulacja;
- komunikacja społeczna: analiza logiczna;
- komparatystyka logiczna: logika Zachodu a refleksja logiczna Orientu;
- antynomie, paradoksy, sofizmaty;
- dowcip, humor, komizm: analiza logiczna i semiotyczna;
- etnologika jako dyscyplina bezprzedmiotowa (?);
- pojęcie racjonalności: analiza logiczna oraz etnologiczna;
- filozofia matematyki (np. poglądy dot. nieskończoności, refleksje dot. obliczalności);
- tworzenie (się) pojęć logicznych oraz metalogicznych.