Jerzy Pogonowski - Logika Zachodu
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 08:14, 21 sty 2012 (edytuj) Pogonowski (Dyskusja | wkład) (→Plan wykładów) ← Poprzednia edycja |
Wersja z dnia 08:16, 21 sty 2012 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Dodatki) Następna edycja → |
||
| Linia 36: | Linia 36: | ||
| ==Dodatki== | ==Dodatki== | ||
| + | |||
| + | * [[Jerzy Pogonowski - Logika Matematyczna]] | ||
| + | |||
| + | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Metalogika_-_Uniwersytet_Opolski Jerzy Pogonowski - Metalogika (Uniwersytet Opolski)] | ||
| + | |||
| + | * [[Jerzy Pogonowski - Logika Współczesna]] | ||
| + | |||
| + | * [[Jerzy Pogonowski - Semiotyka Logiczna]] | ||
| + | |||
| + | * [[Jerzy Pogonowski - Metodologia Nauk]] | ||
| [[Category:Pracownicy]] | [[Category:Pracownicy]] | ||
| [[Category:Dydaktyka]] | [[Category:Dydaktyka]] | ||
Wersja z dnia 08:16, 21 sty 2012
Wykład monograficzny, semestr letni 2011-2012.
Czwartek, 15:15-16:45, CN 323B.
Plan wykładów
- Antynomie, paradoksy, sofizmaty
- Historia logiki Zachodu do wieku XIX
- Historia logiki Zachodu: wiek XIX i XX
- Czym jest współczesny Elementarz Logiczny?
- Wybrane metody dowodowe
- Logiki nieklasyczne
- Metamatematyka: wybrane twierdzenia
- Metalogika: ujęcie algebraiczne
- Metalogika: ujęcie semantyczne
- Teoria modeli
- Teoria mnogości
- Teoria rekursji
- Teoria dowodu
- Pragmatyka logiczna
- Ogólna metodologia nauk
- Logika w informatyce
