|
Vyučující
|
-
Kučerová Jana, Mgr. Ph.D.
|
|
Obsah předmětu
|
Logická a gramatická forma věty. Formalizace v predikátové logice prvního řádu (kvantidfikátory, logické spojky). Jiné logické konstanty (jenom, kromě, nej-, ostatní, ...). Víceznačnost přirozeného jazyka. Neextenzionální kontexty (gramatický čas, propoziční postoje, indexické výrazy, modality, ...)
|
|
Studijní aktivity a metody výuky
|
- Kontaktní výuka
- 26 hodin za semestr
- Příprava na souhrnný test [6-30]
- 26 hodin za semestr
|
| Předpoklady |
|---|
| Odborné znalosti |
|---|
| vysvětlit základní pojmy moderní predikátové logiky |
| popsat hlavní myšlenkové proudy moderní filosofie, především filosofie 20. století |
| Odborné dovednosti |
|---|
| formulovat a obhájit své stanovisko v diskuzi |
| používat běžné akademické digitální nástroje, např. databázi odborných publikací |
| Obecné způsobilosti |
|---|
| mgr. studium: samostatně a odpovědně se na základě rámcového zadání rozhodují v souvislostech jen částečně známých, |
| mgr. studium: srozumitelně shrnou názory ostatních členů týmu, |
| Výsledky učení |
|---|
| Odborné znalosti |
|---|
| vysvětlit způsob formalizace vět přirozeného jazyka do jazyka predikátové logiky prvního řádu |
| popsat rozdíl mezi gramatickou a logickou formou věty |
| popsat základní typy víceznčnosti přirozeného jazyka |
| Odborné dovednosti |
|---|
| identifikovat vztahy mezi gramatickou a logickou formou věty |
| formalizovat konkrétní věty přirozeného jazyka do jazyka predikátové logiky prvního řádu |
| analyzovat kontexty přirozeného jazyka, které překračují hranice běžné logické analýzy založené na predikátové logice prvního řádu |
| Obecné způsobilosti |
|---|
| mgr. studium: dle vyvíjejících se souvislostí a dostupných zdrojů vymezí zadání pro odborné činnosti, koordinují je a nesou konečnou odpovědnost za jejich výsledky, |
| mgr. studium: srozumitelně a přesvědčivě sdělují odborníkům i širší veřejnosti vlastní odborné názory, |
| Vyučovací metody |
|---|
| Odborné znalosti |
|---|
| Cvičení (praktické činnosti), |
| Odborné dovednosti |
|---|
| Cvičení (praktické činnosti), |
| Obecné způsobilosti |
|---|
| Cvičení (praktické činnosti), |
| Samostudium, |
| Hodnotící metody |
|---|
| Odborné znalosti |
|---|
| Test, |
| Odborné dovednosti |
|---|
| Test, |
| Obecné způsobilosti |
|---|
| Test, |
| Průběžné hodnocení, |
|
Doporučená literatura
|
-
Cmorej, Pavel. Úvod do logickej syntaxe a sémantiky. Praha : Triton, 2002. ISBN 80-7254-294-X.
-
Materna, Pavel; Pala, Karel; Zlatuška, Jiří. Logická analýza přirozeného jazyka. 1. vyd. Praha : Academia, 1989. ISBN 80-200-0027-5.
-
Materna, Pavel. Svět pojmů a logika. 2., opr. vyd. Praha : Filosofia, 2000. ISBN 80-7007-085-4.
|