|
Vyučující
|
|
|
|
Obsah předmětu
|
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. LITERATURA [BvB07] P. Blackburn and J. F. A. K. van Benthem. Modal logic: A semantic perspective. In Blackburn et al. eds., Handbook of Modal Logic, Ch. 1, pp. 2-84. Elsevier 2007. [Gar24] J. Garson. Modal Logic. E. N. Zalta and U. Nodelman eds., The Stanford Encyclopedia of Philosophy (Spring edition 2024). [dJV88] D. H. J. de Jongh and F. Veltman. Intensional Logic. Lecture notes, Philosophy Department, University of Amsterdam, Amsterdam, 1988.
|
|
Studijní aktivity a metody výuky
|
|
nespecifikováno
|
|
Výstupy z učení
|
Kurz bude přednášet: Doc. RNDr. Vítězslav Švejdar, Csc 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
|
Předpokladem úspěšného splnění kurzu je četba zadaných textů a aktivní účast ve výuce, povoleny jsou maximálně dvě absence.
|
|
Hodnoticí metody a kritéria
|
nespecifikováno
Zakončení kurzu bude ústní zkouškou, tj. student si připraví kratší výklad na jednotlivá témata.
|
|
Doporučená literatura
|
|