Jerzy Pogonowski - Posługa dydaktyczna
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 14:00, 17 lut 2007 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 14:03, 17 lut 2007 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja → |
||
| Linia 28: | Linia 28: | ||
| * [[Media: beam0.pdf | Wykład 4 XI 2006: Główne stanowiska w filozofii nauki ]] | * [[Media: beam0.pdf | Wykład 4 XI 2006: Główne stanowiska w filozofii nauki ]] | ||
| - | * [[Media: beam1.pdf | Procedury poznawcze I: algorytmy, klasyfikowanie, podobieństwa i opozycje, porządkowanie hierarchiczne i liniowe, struktury relacyjne i izomorfizmy. | + | * [[Media: beam1.pdf | Wykład 25 XI 2006. Procedury poznawcze I: algorytmy, klasyfikowanie, podobieństwa i opozycje, porządkowanie hierarchiczne i liniowe, struktury relacyjne i izomorfizmy. ]] |
| - | [25 listopada 2006] ]] | + | * [[Media: beam2.pdf | Wykład 25 XI 2006. Procedury poznawcze II: definicje, pytania i odpowiedzi, wnioskowania erotetyczne. ]] |
| - | * [[Media: beam2.pdf | Procedury poznawcze II: definicje, pytania i odpowiedzi, wnioskowania erotetyczne. | + | * [[Media: beam3.pdf | Wykład 9 XII 2006. Procedury poznawcze III: uzasadnienia w naukach formalnych i empirycznych, wnioskowania indukcyjne, prawa nauk empirycznych, argumentacja, spór, dyskusja. ]] |
| - | [25 listopada 2006] ]] | + | * [[Media: beam4.pdf | 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. ]] |
| - | * [[Media: beam3.pdf | Procedury poznawcze III: uzasadnienia w naukach formalnych i empirycznych, wnioskowania indukcyjne, prawa nauk empirycznych, argumentacja, spór, dyskusja. | + | * [[Media: beam5.pdf | 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. ]] |
| - | [9 grudnia 2006] ]] | + | |
| - | * [[Media: beam4.pdf | 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] ]] | + | |
| - | * [[Media: beam5.pdf | 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'== | ==Rozdział III skryptu 'Metoda drzew semantycznych w Klasycznym Rachunku Logicznym'== | ||
Wersja z dnia 14:03, 17 lut 2007
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Spis treści |
Logika matematyczna
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
- 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.
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.
