OJ313 Formální sémantika I

Filozofická fakulta
podzim 2009
Rozsah
1/1/0. 4 kr. 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
Rozvrh
St 10:00–11:35 C11bezkodu
Předpoklady
Pro vysokou abstraktnost témat se kurz doporučuje až po absolvování nějakého kurzu jazykem se také zabývajícím (např. jazykovědného teoretického předmětu či kurzu elementární logiky).
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á 8 mateřských oborů, zobrazit
Cíle předmětu
Student rozumí základním pojmům formální sémantiky; chápe principy formálního modelování významu; umí aktivně aplikovat formální metody na rozbor významů slov, vět a operací, které skládají významy jednotlivých částí do celků. Na základě nabytých znalostí rozumí vnitřnímu fungování jazykového systému a rozdílům mezi sémantikou a pragmatikou jazykových výrazů.
Osnova
  • Okruhy: denotace, pravdivost, rozhraní mezi syntaxí a sémantikou, kvantifikace, logická forma, zobecněné kvantifikátory, lambda abstrakce.
Literatura
  • Heim, Irene & Kratzer, Angelika (1998): Semantics in Generative Grammar. Cambridge, MA: Blackwell.
  • Lepore, Ernest (2000): Meaning and Argument. An Introduction to Logic through Language. Oxford: Blackwell.
  • CHIERCHIA, Gennaro a Sally MCCONNELL-GINET. Meaning and grammar : an introduction to semantics. 2nd ed. Cambridge: MIT Press, 2000, xv, 573 s. ISBN 0-262-53164-X. info
  • PEREGRIN, Jaroslav. Úvod do teoretické sémantiky : principy formálního modelování významu. 1. vyd. Praha: Karolinum, 1998, 206 s. ISBN 8071846856. info
  • PARTEE, Barbara H., Robert E. WALL a Alice ter MEULEN. Mathematical methods in linquistics. Dordrecht: Kluwer Academic Publishers, 1993, xxii, 664. ISBN 90-277-2245-5. info
Výukové metody
teoretická příprava
Metody hodnocení
Přednáška, diskuse v hodině. Úspěšné ukočení je podmíněno napsáním písemného testu
Další komentáře
Studijní materiály
Poznámka k ukončení předmětu: Ukončení zápočtem je možné pouze pro kredit typu C. Uděluje se na základě aktivní účasti při výuce.
Předmět je vyučován jednorázově.
Předmět je zařazen také v obdobích podzim 2001, podzim 2002, podzim 2003, podzim 2004, podzim 2005, podzim 2006, podzim 2007, podzim 2008, podzim 2010, podzim 2011, podzim 2012, podzim 2013, podzim 2014, podzim 2015, podzim 2016, jaro 2018, jaro 2019.