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

IV029 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.

Rozvrh

Čt 12:00–13:50 B411

Předpoklady

! I029 Logická analýza přir. jazyka I

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

• Aplikovaná informatika (program FI, B-AP)
• Aplikovaná informatika (program FI, N-AP)
• Informatika a druhý obor (program FI, B-BI)
• Informatika a druhý obor (program FI, B-FY)
• Informatika a druhý obor (program FI, B-GE)
• Informatika a druhý obor (program FI, B-GK)
• Informatika a druhý obor (program FI, B-CH)
• Informatika a druhý obor (program FI, B-IO)
• Informatika a druhý obor (program FI, B-MA)
• Informatika a druhý obor (program FI, B-TV)
• Informatika (program FI, B-IN)
• Informatika (program FI, D-IN)
• Informatika (program FI, M-IN)
• Informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS)

Cíle předmětu

Základní pojmy sémantiky přirozeného jazyka. Výklad transparentní 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ů.

Literatura

• TICHÝ, Pavel. O čem mluvíme? :vybrané stati k logice a sémantice. Edited by Jaroslav Peregrin. Vyd. 1. Praha: Filosofia, 1996, 161 s. ISBN 80-7007-087-0. info

Metody hodnocení

Prvni cast dvousemestrove prednasky. Po prvnim semestru ustni kolokvium na zaklade prednasky a doporucene literatury.

Informace učitele

http://www.phil.muni.cz

Další komentáře

Předmět je vyučován každoročně.

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