| Název předmětu | Vybrané problémy logiky a filozofie jazyka 4 (Úvod do neklasických logik) |
|---|---|
| Kód předmětu | KFI/NPLJ4 |
| Organizační forma výuky | Seminář |
| Úroveň předmětu | Magisterský |
| Rok studia | nespecifikován |
| Semestr | Zimní a letní |
| Počet ECTS kreditů | 4 |
| Vyučovací jazyk | Čeština |
| Statut předmětu | Povinně-volitelný |
| Způsob výuky | Kontaktní |
| Studijní praxe | Nejedná se o pracovní stáž |
| Doporučené volitelné součásti programu | Není |
| Vyučující |
|---|
|
| Obsah předmětu |
|
nespecifikováno
|
| Studijní aktivity a metody výuky |
| nespecifikováno |
| Výstupy z učení |
|
Neklasické logiky představují poměrně rozsáhlou oblast výzkumu. Z ní se budeme zabývat modálními logikami tradičně zkoumanými v literatuře zaměřené spíše filosoficky, tj. logikami K, T, K4, S4 a S5, a k tomu, možná hlavně, logikou dokazatelnosti GL. Logika GL souvisí s Druhou Gödelovou větou o neúplnosti a má aplikace v metamatematice. Díky ní se modální logiky někdy v 70. letech dvacátého století dostaly do zorného pole matematiků. Také se budeme zabývat intuicionistickou logikou. V té sice nejsou modality, ale, podobně jako modální logiky, má dobře fungující kripkovskou sémantiku a aspiruje na úlohu být alternativním způsobem uvažování, odlišným od klasické logiky. U všech logik se budeme zabývat otázkami, jak fungují kalkuly a jak lze dokázat algoritmickou rozhodnutelnost.
|
| Předpoklady |
|
nespecifikováno
|
| Hodnoticí metody a kritéria |
|
nespecifikováno
|
| Doporučená literatura |
|
|
| Studijní plány, ve kterých se předmět nachází |
| Fakulta | Studijní plán (Verze) | Kategorie studijního oboru/specializace | Doporučený semestr | |
|---|---|---|---|---|
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Filozofie maior (2019) | Kategorie: Filozofie, teologie | - | Doporučený ročník:-, Doporučený semestr: - |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Filozofie minor (2019) | Kategorie: Filozofie, teologie | - | Doporučený ročník:-, Doporučený semestr: - |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Filozofie (2019) | Kategorie: Filozofie, teologie | - | Doporučený ročník:-, Doporučený semestr: - |