OJ434 Logika a přirozený jazyk

Filozofická fakulta
jaro 2015
Rozsah
0/2/0. 4 kr. Ukončení: k.
Vyučující
doc. PhDr. Mojmír Dočekal, Ph.D. (přednášející)
Mgr. Hana Strachoňová, Ph.D. (přednášející)
Garance
doc. RNDr. Tomáš Hoskovec, CSc.
Ústav jazykovědy a baltistiky – Filozofická fakulta
Kontaktní osoba: Mgr. Blanka Gross Čapková
Dodavatelské pracoviště: Ústav jazykovědy a baltistiky – Filozofická fakulta
Rozvrh
Čt 15:50–17:25 U14
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 48 stud.
Momentální stav registrace a zápisu: zapsáno: 0/48, pouze zareg.: 0/48, pouze zareg. s předností (mateřské obory): 0/48
Mateřské obory/plány
předmět má 7 mateřských oborů, zobrazit
Cíle předmětu
Tento kurs je úvodem do logiky z perspektivy přirozeného jazyka. Spíše než na deduktivní aparát je pozornost věnována formalizaci různých konstrukcí z přirozeného jazyka. Kurs pokrývá výrokovou a predikátovou logiku.
Osnova
  • Okruhy: ú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. 245 s. 1966. 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.
Výukové metody
Přednáška, diskuse v semináři, domácí úkoly
Metody hodnocení
Písemná zkouška a domácí úkoly zadávané v průběhu semestru. Kolokvium je udělováno za písemnou zkoušku a domácí úkoly (body - půl na půl, k absolvování je potřeba mít 2/3 ze všech bodů).
Další komentáře
Studijní materiály
Předmět je zařazen také v obdobích jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2016, jaro 2017, jaro 2018, jaro 2019.