OJ334 Formální sémantika II

Filozofická fakulta
jaro 2010
Rozsah
0/2/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
Kontaktní osoba: Lucie Čelková
Rozvrh
Čt 15:00–16:35 N01023
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
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
  • Lepore, Ernest (2000): Meaning and Argument. An Introduction to Logic through Language. Oxford: Blackwell.
  • Heim, Irene & Kratzer, Angelika (1998): Semantics in Generative Grammar. Cambridge, MA: 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
Předmět je vyučován jednorázově.
Předmět je zařazen také v obdobích jaro 2002, jaro 2003, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015, jaro 2016, jaro 2017.