CJBB44 Logika pro bohemisty I

Filozofická fakulta
podzim 2004
Rozsah
0/2/0. 4 kr. Ukončení: z.
Vyučující
doc. PhDr. Mojmír Dočekal, Ph.D. (přednášející)
Garance
doc. PhDr. Mojmír Dočekal, Ph.D.
Ústav českého jazyka – Filozofická fakulta
Kontaktní osoba: Jaroslava Vybíralová
Rozvrh
Po 16:40–18:15 4
Předpoklady
U studentů nepředpokládám žádnou předchozí znalost matematické lingvistiky nebo logiky.
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 30 stud.
Momentální stav registrace a zápisu: zapsáno: 0/30, pouze zareg.: 0/30, pouze zareg. s předností (mateřské obory): 0/30
Mateřské obory/plány
předmět má 6 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ř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.
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. Vyd. 2. Praha: Academia, 1969, 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.
  • Hornstein, Norbert. Logical form : from GB to minimalism. Oxford : Blackwell, 1995.
  • 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 2000, jaro 2001, podzim 2001, jaro 2002, podzim 2002, podzim 2003.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/phil/podzim2004/CJBB44