Jerzy Pogonowski - Logika Zachodu
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 21:39, 19 lut 2015 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja |
Aktualna wersja (14:52, 20 lut 2015) (edytuj) (undo) Pogonowski (Dyskusja | wkład) |
||
Linia 2: | Linia 2: | ||
[[Image: smile4.jpg|center|frame|Strona w likwidacji.]] | [[Image: smile4.jpg|center|frame|Strona w likwidacji.]] | ||
- | |||
- | ==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 | ||
- | |||
- | * Logika w ogólnej metodologii nauk | ||
- | |||
- | * Logika w informatyce | ||
- | |||
- | ==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]] |
Aktualna wersja
Wykład monograficzny, semestr letni 2011-2012.
Czwartek, 15:15-16:45, CN 119B.