Jerzy Pogonowski - Logika Zachodu
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 08:16, 21 sty 2012 (edytuj) Pogonowski (Dyskusja | wkład) (→Dodatki) ← Poprzednia edycja |
Wersja z dnia 08:18, 21 sty 2012 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Plan wykładów) Następna edycja → |
||
| Linia 31: | Linia 31: | ||
| * Pragmatyka logiczna | * Pragmatyka logiczna | ||
| - | * Ogólna metodologia nauk | + | * Logika w ogólnej metodologii nauk |
| * Logika w informatyce | * Logika w informatyce | ||
Wersja z dnia 08:18, 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
- Logika w ogólnej metodologii nauk
- Logika w informatyce
