Jerzy Pogonowski - Posługa dydaktyczna

From Zakład Logiki Stosowanej

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line

---

Spis treści 1 Logika matematyczna 2 Funkcje rekurencyjne 3 O przekonaniach i przekonywaniu (wykład fakultatywny) 4 Naukoznawstwo 5 Rozdział III skryptu 'Metoda drzew semantycznych w Klasycznym Rachunku Logicznym' 6 Logika - zadania egzaminacyjne (z rozwiązaniami) 7 Proponowane tematy rozpraw magisterskich

Logika matematyczna

• Wykład 15-16 II 2007: Składnia i semantyka języka KRP

Funkcje rekurencyjne

• Wykład 14 II 2007: Intuicje dotyczące obliczania
• Wykład 21 II 2007: Pojęcie nieskończoności - różne definicje.
• Wykład 28 II 2007: Tu oglądamy moją prezentację na AALCS XI 2007.

O przekonaniach i przekonywaniu (wykład fakultatywny)

• Wykład 14 II 2007: Argumentacja w przykładach. Samospełniające się przekonania
• Wykład 21 II 2007: Argumentacja: podstawowe definicje.
• Wykład 28 II 2007: Tu oglądamy moją prezentację na ZLwFiPM XII 2007

Naukoznawstwo

• Wykład 4 XI 2006: Główne stanowiska w filozofii nauki
• Procedury poznawcze I: algorytmy, klasyfikowanie, podobieństwa i opozycje, porządkowanie hierarchiczne i liniowe, struktury relacyjne i izomorfizmy.

[25 listopada 2006]

• Procedury poznawcze II: definicje, pytania i odpowiedzi, wnioskowania erotetyczne.

[25 listopada 2006]

• Procedury poznawcze III: uzasadnienia w naukach formalnych i empirycznych, wnioskowania indukcyjne, prawa nauk empirycznych, argumentacja, spór, dyskusja.

[9 grudnia 2006]

• Procedury poznawcze IV: refleksja metateoretyczna - pojęcie teorii, własności teorii, arytmetyzacja składni, systemy przekonań, samospełniające się przekonania, wybrane twierdzenia metalogiczne.

[9 grudnia 2006]

• Procedury poznawcze V: granice poznania - refleksje nad pojęciami nieskończoności oraz złożoności strukturalnej, ograniczenia poznawcze, przykłady pytań z pogranicza Nauki i Nieznanego, paranauka oraz pseudonauka.

[6 stycznia 2007]

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.