FI:I029 Logická analýza přir. jazyka I - Informace o předmětu

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

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

• Informatika (program FI, B-IN)
• Informatika (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Výpočetní technika (program FI, B-IN)

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.

• Statistika zápisu (podzim 2000, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/podzim2000/I029