OJ434 Logika a přirozený jazyk

Filozofická fakulta
jaro 2007
Rozsah
0/2/0. 4 kr. Doporučované ukončení: zk. Jiná možná ukončení: k.
Vyučující
doc. PhDr. Mojmír Dočekal, Ph.D. (přednášející)
Garance
doc. RNDr. Tomáš Hoskovec, CSc.
Ústav jazykovědy a baltistiky – Filozofická fakulta
Kontaktní osoba: Lucie Čelková
Rozvrh
Čt 10:00–11:35 A43 stara
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
předmět má 7 mateřských oborů, zobrazit
Cíle předmětu
Vlastní kurz: úvod do technik a cílů formální logiky; logika pravdivostních funkcí a kvantifikátorů; pojmy vyplývání, pravdivost, deduktivní platnost a formální dedukce; aplikace logiky a její vztah k lingvistice (schopnost verifikace deduktivně platného argumentu, přepis vět přiroze
Osnova
  • Vlastní kurz: úvod do technik a cílů formální logiky; logika pravdivostních funkcí a kvantifikátorů; pojmy vyplývání, pravdivost, deduktivní platnost a formální dedukce; aplikace logiky a její vztah k lingvistice (schopnost verifikace deduktivně platného argumentu, přepis vět přirozeného jazyka do logického kalkulu, ...). Vedlejší cíle: vybraná témata z analytické filozofie (význam, analytičnost výroku, ...) a formální syntaxe.
Literatura
  • TARSKI, Alfred. Úvod do logiky a metodologie deduktivních věd. Translated by Pavel Materna. Vyd. 1. Praha: Academia, 1966, 245 s. URL info
  • Gamut, L. T. F. Logic, language and meaning 1, 2. Introduction to logic (1), Intensional logic and logical grammar (2). Chicago : University of Chicago Press, 1991.
  • Montague, R. The proper treatment of quantification in ordinary English. In Hintikka, J., Moravcsik, J. and Suppes, P. (eds) Approaches to natural language. Dordrecht : Reidel, 1973.
Metody hodnocení
Podmínky absolvování: závěrečný test, aktivní účast na semináři.
Předmět je zařazen také v obdobích jaro 2006, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015, jaro 2016, jaro 2017, jaro 2018, jaro 2019.