OJ434 Logika a přirozený jazyk

Filozofická fakulta
jaro 2011
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: Lucie Čelková
Rozvrh
Po 15:50–17:25 K32
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
Na konci tohoto kurzu bude student schopen rozumět výrokové logice; bude umět zacházet s logickým aparátem; bude schopen rozebrat argumenty v přirozeném jazyce a posoudit jejich logickou platnost. Bude umět rozpoznat logickou formu jednotlivých vět přirozeného jazyka, což mu umožní lépe porozumět principům racionální argumentace.
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, 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.
Výukové metody
teoretická příprava
Metody hodnocení
Přednáška, diskuse v semináři. Podmínky absolvování: závěrečný test, aktivní účast na semináři.
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 2012, jaro 2013, jaro 2014, jaro 2015, jaro 2016, jaro 2017, jaro 2018, jaro 2019.