Jerzy Pogonowski - Posługa dydaktyczna
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 10:33, 18 lis 2007 (edytuj) Pogonowski (Dyskusja | wkład) (→Semiotyka Logiczna (2007, IV JiIN)) ← Poprzednia edycja |
Wersja z dnia 10:35, 18 lis 2007 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja → |
||
| Linia 50: | Linia 50: | ||
| * [[Media: beam4.pdf | Wykład 17 XI 2007. Procedury poznawcze IV: ]] <br>refleksja metateoretyczna - pojęcie teorii, własności teorii, arytmetyzacja składni, <br>systemy przekonań, samospełniające się przekonania, wybrane twierdzenia metalogiczne. | * [[Media: beam4.pdf | Wykład 17 XI 2007. Procedury poznawcze IV: ]] <br>refleksja metateoretyczna - pojęcie teorii, własności teorii, arytmetyzacja składni, <br>systemy przekonań, samospełniające się przekonania, wybrane twierdzenia metalogiczne. | ||
| * [[Media: beam5.pdf | Wykład 17 XI 2007. Procedury poznawcze V: ]] <br>granice poznania - refleksje nad pojęciami nieskończoności oraz złożoności strukturalnej, <br>ograniczenia poznawcze, przykłady pytań z pogranicza Nauki i Nieznanego, paranauka oraz pseudonauka. | * [[Media: beam5.pdf | Wykład 17 XI 2007. Procedury poznawcze V: ]] <br>granice poznania - refleksje nad pojęciami nieskończoności oraz złożoności strukturalnej, <br>ograniczenia poznawcze, przykłady pytań z pogranicza Nauki i Nieznanego, paranauka oraz pseudonauka. | ||
| + | |||
| + | ==Rozdział III skryptu 'Metoda drzew semantycznych w Klasycznym Rachunku Logicznym'== | ||
| + | |||
| + | * [[Media: krp300.pdf | Wstęp do rozdziału III. ]] | ||
| + | * [[Media: krp311.pdf | O budowaniu drzew semantycznych w KRP. ]] | ||
| + | * [[Media: krp322.pdf | Tautologie KRP. ]] | ||
| + | * [[Media: krp333.pdf | Semantyczna niesprzeczność. ]] | ||
| + | * [[Media: krp344.pdf | Wynikanie logiczne. ]] | ||
| + | * [[Media: krp355.pdf | Rachunek predykatów z identycznością. ]] | ||
| + | * Rachunek predykatów z symbolami funkcyjnymi. | ||
| + | * Unifikacja. | ||
| + | * Rezolucja. | ||
| ==Zajęcia planowane w roku akademickim 2007-2008== | ==Zajęcia planowane w roku akademickim 2007-2008== | ||
| Linia 62: | Linia 74: | ||
| =Archiwum= | =Archiwum= | ||
| - | |||
| - | |||
| ==Logika matematyczna (2007)== | ==Logika matematyczna (2007)== | ||
| Linia 96: | Linia 106: | ||
| * [[Media: furek11.pdf | Wykład 30 V 2007: Twierdzenie Gödla o niezupełności Arytmetyki Peana. ]] | * [[Media: furek11.pdf | Wykład 30 V 2007: Twierdzenie Gödla o niezupełności Arytmetyki Peana. ]] | ||
| * [[Media: drfurek12.pdf | Wykład dodatkowy: Dowodliwość a prawdziwość. Maszyny logiczne Smullyana. ]] | * [[Media: drfurek12.pdf | Wykład dodatkowy: Dowodliwość a prawdziwość. Maszyny logiczne Smullyana. ]] | ||
| - | |||
| - | ==O przekonaniach i przekonywaniu (wykład fakultatywny, 2007)== | ||
| - | |||
| - | * [[Media: drbelsys01.pdf | Wykład 14 II 2007: Argumentacja w przykładach. Samospełniające się przekonania. ]] | ||
| - | * [[Media: drbelsys02.pdf | Wykład 21 II 2007: Argumentacja: podstawowe definicje. ]] | ||
| - | * [[Media: karpacz2007.pdf | Wykład 28 II 2007: Tu oglądamy prezentację na ZLwFiPM XII 2007. ]] (beta) | ||
| - | * [[Media: karpacz2007.pdf | Wykład 14 III 2007: Tu oglądamy dalszy ciąg tej prezentacji. ]] | ||
| - | * [[Media: drbelsys05.pdf | Wykład 28 III 2007: Argumenty dedukcyjne - przykłady. ]] | ||
| - | * [[Media: drbelsys06.pdf | Wykład 4 IV 2007: Wnioskowania indukcyjne. ]] | ||
| - | * [[Media: drbelsys07.pdf | Wykład 11 IV 2007: Uczciwe chwyty w argumentacji. ]] | ||
| - | * [[Media: drbelsys08.pdf | Wykład 18 IV 2007: Nieuczciwe chwyty w argumentacji. ]] | ||
| - | * [[Media: drbelsys09.pdf | Wykład 25 IV 2007: Perswazja. ]] | ||
| - | * [[Media: belsys10.pdf | Wykład 23 V 2007: Manipulacja. ]] | ||
| - | * [[Media: belsys11.pdf | Wykład 30 V 2007: Logika epistemiczna a systemy przekonań. ]] | ||
| - | |||
| - | ==Rozdział III skryptu 'Metoda drzew semantycznych w Klasycznym Rachunku Logicznym'== | ||
| - | |||
| - | * [[Media: krp300.pdf | Wstęp do rozdziału III. ]] | ||
| - | * [[Media: krp311.pdf | O budowaniu drzew semantycznych w KRP. ]] | ||
| - | * [[Media: krp322.pdf | Tautologie KRP. ]] | ||
| - | * [[Media: krp333.pdf | Semantyczna niesprzeczność. ]] | ||
| - | * [[Media: krp344.pdf | Wynikanie logiczne. ]] | ||
| - | * [[Media: krp355.pdf | Rachunek predykatów z identycznością. ]] | ||
| - | * Rachunek predykatów z symbolami funkcyjnymi. | ||
| - | * Unifikacja. | ||
| - | * Rezolucja. | ||
| ==Logika - zadania egzaminacyjne (z rozwiązaniami)== | ==Logika - zadania egzaminacyjne (z rozwiązaniami)== | ||
Wersja z dnia 10:35, 18 lis 2007
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Spis treści |
Aktualności
Materiały dydaktyczne 2007-2008
Logika Matematyczna (2007-2008, I JiNoI)
- Wprowadzenie. 4 października 2007.
- Semantyka KRZ: tautologie, wynikanie logiczne, reguły niezawodne, itd.
11 i 18 października 2007. - Zadania dot. semantyki KRZ.
24 października 2007. Samodzielna praca studentów. - Semantyka KRZ: postacie normalne formuł. 8 listopada 2007.
- Dodatek 1. Dowody niektórych twierdzeń dot. semantyki KRZ.
- Aksjomatyczne ujęcie KRZ. 15, 22 i 29 listopada 2007.
- Dowody założeniowe w KRZ. 6 i 13 grudnia 2007.
- Dowody rezolucyjne w KRZ. 20 grudnia 2007.
- Tablice analityczne dla KRZ. W styczniu 2008.
Semiotyka Logiczna (2007, IV JiIN)
- Wprowadzenie. 4 października 2007.
- Wspominki z kursu logiki. 11 października 2007.
- Antynomie, paradoksy, sofizmaty. 18 października, 8 listopada 2007.
- Argumentacja. 15 listopada 2007.
- Wnioskowania indukcyjne. 22 listopada 2007.
- Uczciwe chwyty w argumentacji. 29 listopada 2007.
- Nieuczciwe chwyty w argumentacji. 6 grudnia 2007.
- Perswazja. 13 grudnia 2007.
- Manipulacja. 20 grudnia 2007.
- O logice epistemicznej. W styczniu 2008.
- Uogólnione kwantyfikatory i inne semiotyczne potwory. W styczniu 2008.
Naukoznawstwo (2007, Etnolingwistyka V, zaoczna)
- Wykład 20 X 2007. Wprowadzenie do problematyki naukoznawstwa.
- Wykład 20 X 2007. Procedury poznawcze I:
algorytmy, klasyfikowanie, podobieństwa i opozycje, porządkowanie hierarchiczne i liniowe,
struktury relacyjne i izomorfizmy. - Wykład 20 X 2007. Zadania. Samodzielna praca studentów.
- Wykład 3 XI 2007. Procedury poznawcze II:
definicje, pytania i odpowiedzi, wnioskowania erotetyczne. - Wykład 3 XI 2007. Procedury poznawcze III:
uzasadnienia w naukach formalnych i empirycznych, wnioskowania indukcyjne,
prawa nauk empirycznych, argumentacja, spór, dyskusja. - Wykład 3 XI 2007. Zadania. Samodzielna praca studentów.
- Wykład 17 XI 2007. 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. - Wykład 17 XI 2007. 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.
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.
- Unifikacja.
- Rezolucja.
Zajęcia planowane w roku akademickim 2007-2008
Archiwum
Logika matematyczna (2007)
- Wykłady 15-16 II 2007: Składnia i semantyka języka KRP.
- Wykłady 29-30 III 2007: O budowaniu drzew semantycznych w KRP.
- Wykłady 12-13 IV 2007: Tautologie KRP.
- Wykłady 19-20 IV 2007: Semantyczna niesprzeczność w KRP.
- Wykłady 26-27 IV 2007: Wynikanie logiczne w KRP.
- Wykłady 17-18 V 2007: Rachunek predykatów z identycznością.
- Wykłady 24-25 V 2007: Rachunek predykatów z symbolami funkcyjnymi.
Teorie aksjomatyczne w języku KRP. - Wykłady 31 V-1 VI 2007: Własności metalogiczne Klasycznego Rachunku Predykatów.
Poprawność metody drzew semantycznych. - Przygotowanie do egzaminu: typowe zadania.
- Przygotowanie do egzaminu: semantyka KRZ.
- Przygotowanie do egzaminu: dowody założeniowe w KRZ.
- Przygotowanie do egzaminu: drzewa semantyczne w KRZ.
- Przygotowanie do egzaminu: podstawowe pojęcia KRP.
- Egzamin: rozwiązania zadań egzaminacyjnych (różnymi metodami).
Funkcje rekurencyjne (2007)
- 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 prezentację na AALCS XI 2007. (beta)
- Wykład 14 III 2007: Tu oglądamy prezentację Konsekwencje Bereszit 2:16.
- Wykład 28 III 2007: Nieskończona złożoność strukturalna - fraktale.
- Wykład 4 IV 2007: Maszyny Turinga.
- Wykład 11 IV 2007: Funkcje rekurencyjne - definicja i podstawowe własności.
- Wykład 18 IV 2007: Zbiory i relacje rekurencyjnie przeliczalne.
- Wykład 25 IV 2007: Reprezentowalność funkcji rekurencyjnych w Arytmetyce Peana.
- Wykład 23 V 2007: Arytmetyzacja składni.
- Wykład 30 V 2007: Twierdzenie Gödla o niezupełności Arytmetyki Peana.
- Wykład dodatkowy: Dowodliwość a prawdziwość. Maszyny logiczne Smullyana.
Logika - zadania egzaminacyjne (z rozwiązaniami)
- Językoznawstwo i informacja naukowa (2007).
- Językoznawstwo i informacja naukowa (2007): zestawy z zajęć przygotowujących do egzaminu.
- Językoznawstwo i informacja naukowa (2005).
- Językoznawstwo i informacja naukowa (2004).
- Koreanistyka (poprawkowy, 2004).
Logika - zadania archiwalne
- Zadania semestru zimowego 2000-2001 i zadania egzaminacyjne 2001.
- Zadania egzaminacyjne z Logiki Matematycznej, 2002.
- Zadania egzaminacyjne z Logiki, 2002.
Sylabusy do zajęć w roku akademickim 2006-2007
- Logika matematyczna
- Funkcje rekurencyjne
- O przekonaniach i przekonywaniu (wykład fakultatywny)
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.
