|
Vyučující
|
|
|
|
Obsah předmětu
|
(1) Historie logické analýzy přirozeného jazyka (PJ) (2) Sémantika výrokové logiky (VL) (3) Analýza jednoduchých vět PJ prostřednictvím VL (4) Sémantika PL1 (5) Analýza jednoduchých vět PJ prostřednictvím PL1 (6) TIL a sémantická báze TIL (7) Pojetí pojmu v TIL (8) Definice konstrukce v TIL (9) Zmiňování versus užití pojmu (10) Supozice de dicto versus de re (11) Analýza jednnoduchých vět PJ v TIL (12) Pojmové a propoziční postoje (13) Analýza anaforických odkazů v TIL
|
|
Studijní aktivity a metody výuky
|
|
Přednášení, Dialogická (diskuze, rozhovor, brainstorming)
|
|
Výstupy z učení
|
Předmět se zabývá logickou analýzou přirozeného jazyka. Studenti budou seznámeni s historií přístupů k analýze přirozeného jazyka, dále s jazyky, které jsou v logické analýze využívány - od jednoduchých a obecně zaměřených jazyků výrokové logiky, až po specializované jazyky vytvořené k rozboru modálních a podmínkových vět, nebo pro zachycení jazykových prostředků, jako je anaforická reference nebo tzv. propoziční postoje. Předmětem výkladu jsou filosofické otázky, které jsou s jednotlivými okruhy analytických zkoumání spjaty, i úskalí a meze logické analýzy. Předmět je koncipován tak, aby problematiku pochopili i studenti, kteří s logickou analýzou přirozeného jazyka nemají žádné zkušenosti.
Absolvent kurzu se seznámí s logickou analýzou přirozeného jazyka prostřednictvím výrokové logiky (VL), predikátové logiky prvního řádu (PL1) a transparentní intenzionální logiky (TIL) a bude schopen tuto analýzu samostatně provádět.
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
Písemná zkouška
(1) Pravidelná účast na seminářích (max. 2 povolené absence), (2) Absolvování tří průběžných testů s 50% úspěšností, (3) 70 % úspěšnost v závěrečném testu
|
|
Doporučená literatura
|
-
Duží, M. (2012). Logika pro informatiky a příbuzné obory. Ostrava.
-
Janák, V. (1974). Základy formální logiky.. Praha: SPN.
-
Svoboda, V. - Peregrin, J. (2009). Od jazyka k logice. Praha.
-
Svoboda, V. a kol. (2010). Logika a přirozený jazyk. Praha.
-
Štěpán, J. - Materna, P.-. (2003). Filozofická logika: Nová cesta?. Olomouc.
-
Štěpán, J. (1995). Formální logika. Olomouc : FIN.
|