OJ313 Formální sémantika I

Filozofická fakulta
podzim 2008
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
Út 11:40–13:15 C41
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
Tento seminář je úvodním kurzem do logické sémantiky. Budou v něm představeny základní metody formálního modelování významu v tradici, kterou započal Richard Montague.
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
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
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 2009, podzim 2010, podzim 2011, podzim 2012, podzim 2013, podzim 2014, podzim 2015, podzim 2016, jaro 2018, jaro 2019.