Jerzy Pogonowski - Posługa dydaktyczna
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 09:24, 28 cze 2007 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 09:28, 28 cze 2007 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja → |
||
| Linia 10: | Linia 10: | ||
| ---- | ---- | ||
| - | ==Zajęcia planowane w 2007-2008== | + | ==Zajęcia planowane w roku akademickim 2007-2008== |
| * [[Media: logmat0708.pdf | Logika matematyczna. ]] | * [[Media: logmat0708.pdf | Logika matematyczna. ]] | ||
| Linia 17: | Linia 17: | ||
| * [[Media: semlog0708.pdf | Semiotyka logiczna. ]] | * [[Media: semlog0708.pdf | Semiotyka logiczna. ]] | ||
| - | ==Logika matematyczna== | + | ==Logika matematyczna (2006-2007)== |
| * [[Media: logmat16i.pdf | Wykłady 15-16 II 2007: Składnia i semantyka języka KRP. ]] | * [[Media: logmat16i.pdf | Wykłady 15-16 II 2007: Składnia i semantyka języka KRP. ]] | ||
| Linia 34: | Linia 34: | ||
| * [[Media: egzlogmat2007.pdf | Egzamin: rozwiązania zadań egzaminacyjnych (różnymi metodami). ]] | * [[Media: egzlogmat2007.pdf | Egzamin: rozwiązania zadań egzaminacyjnych (różnymi metodami). ]] | ||
| - | ==Funkcje rekurencyjne== | + | ==Funkcje rekurencyjne (2007)== |
| * [[Media: drfurek01.pdf | Wykład 14 II 2007: Intuicje dotyczące obliczania. ]] | * [[Media: drfurek01.pdf | Wykład 14 II 2007: Intuicje dotyczące obliczania. ]] | ||
| Linia 49: | Linia 49: | ||
| * [[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)== | + | ==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: drbelsys01.pdf | Wykład 14 II 2007: Argumentacja w przykładach. Samospełniające się przekonania. ]] | ||
| Linia 89: | Linia 89: | ||
| *[[Media: etnolka2.pdf | Zadania egzaminacyjne z Logiki, 2002. ]] | *[[Media: etnolka2.pdf | Zadania egzaminacyjne z Logiki, 2002. ]] | ||
| - | ==Naukoznawstwo== | + | ==Naukoznawstwo (2006-2007)== |
| * [[Media: beam0.pdf | Wykład 4 XI 2006. Wprowadzenie do problematyki naukoznawstwa. ]] | * [[Media: beam0.pdf | Wykład 4 XI 2006. Wprowadzenie do problematyki naukoznawstwa. ]] | ||
Wersja z dnia 09:28, 28 cze 2007
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Zajęcia planowane w roku akademickim 2007-2008
Logika matematyczna (2006-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.
O przekonaniach i przekonywaniu (wykład fakultatywny, 2007)
- 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 prezentację na ZLwFiPM XII 2007. (beta)
- Wykład 14 III 2007: Tu oglądamy dalszy ciąg tej prezentacji.
- Wykład 28 III 2007: Argumenty dedukcyjne - przykłady.
- Wykład 4 IV 2007: Wnioskowania indukcyjne.
- Wykład 11 IV 2007: Uczciwe chwyty w argumentacji.
- Wykład 18 IV 2007: Nieuczciwe chwyty w argumentacji.
- Wykład 25 IV 2007: Perswazja.
- Wykład 23 V 2007: Manipulacja.
- Wykład 30 V 2007: Logika epistemiczna a systemy przekonań.
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
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.
Naukoznawstwo (2006-2007)
- Wykład 4 XI 2006. Wprowadzenie do problematyki naukoznawstwa.
- Wykład 25 XI 2006. Procedury poznawcze I: algorytmy, klasyfikowanie, podobieństwa i opozycje, porządkowanie hierarchiczne i liniowe, struktury relacyjne i izomorfizmy.
- Wykład 25 XI 2006. Procedury poznawcze II: definicje, pytania i odpowiedzi, wnioskowania erotetyczne.
- Wykład 9 XII 2006. Procedury poznawcze III: uzasadnienia w naukach formalnych i empirycznych, wnioskowania indukcyjne, prawa nauk empirycznych, argumentacja, spór, dyskusja.
- Wykład 9 XII 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.
- Wykład 6 I 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.
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.
