I029 Logická analýza přirozeného jazyka I

Fakulta informatiky
podzim 2000
Rozsah
2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
prof. PhDr. Pavel Materna, CSc. (přednášející)
Garance
prof. PhDr. Karel Pala, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. PhDr. Pavel Materna, CSc.
Předpoklady
I997 Státní zkouška || P998 Souborná zkouška
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
Mateřské obory/plány
Osnova
  • Problém významu. Syntaktika, sémantika, pragmatika. Frege: význam a smysl. Churchova formulace.
  • Kritika fregeovské sémantiky. Kritika Quineovy behavioristické sémantiky.
  • Teorie možných světů. Montague, Kripke.
  • Funkcionální teorie významu. Funkce jako předpis, funkce jako zobrazení.
  • Princip extenzionality, princip skladebnosti.
Další komentáře
Předmět je vyučován každoročně.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích zima 1995, zima 1996, zima 1997, podzim 1998, podzim 1999, podzim 2001.