Jerzy Pogonowski - Logika Zachodu
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 08:18, 21 sty 2012 (edytuj) Pogonowski (Dyskusja | wkład) (→Plan wykładów) ← Poprzednia edycja |
Wersja z dnia 09:29, 4 mar 2012 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja → |
||
| Linia 1: | Linia 1: | ||
| - | Wykład monograficzny, semestr letni 2011-2012.<br>Czwartek, 15:15-16:45, CN 323B. | + | Wykład monograficzny, semestr letni 2011-2012.<br>Czwartek, 15:15-16:45, CN 119B. |
| ==Plan wykładów== | ==Plan wykładów== | ||
Wersja z dnia 09:29, 4 mar 2012
Wykład monograficzny, semestr letni 2011-2012.
Czwartek, 15:15-16:45, CN 119B.
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
