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

Fakulta informatiky
podzim 2001
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.
Rozvrh
Čt 11:00–12:50 B410
Předpoklady
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
Cíle předmětu
Základní pojmy sémantiky přirozeného jazyka. Výklad transpareentní intenzionální logiky (TIL). Je ukázáno, že TIL je expresívnější než jiné srovnatelné systémy (zejména Montague). Je definována jednoduchá a rozvětvená hierarchie typů vhodných pro analýzu přirozeného jazyka a klíčový pojem konstrukce inspirovaný lambda kalkulem. Jsou řešeny některé sémantické problémy.
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. Jednoduchá hierarchie typů. Atomické a složené typy 1.řádu. Intenze, extenze. Typová analýza výrazů. Pojem konstrukce. De re a de dicto. Parmenidův princip. Analýza tázacích vět. Pojem existence. Rozvětvená hierarchie typů. Analýza propozičních postojů.
Informace učitele
http://www.phil.muni.cz
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích zima 1995, zima 1996, zima 1997, podzim 1998, podzim 1999, podzim 2000.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/podzim2001/I029