FI:I044 Logická analýza přiroz. jazyka - Informace o předmětu

I044 Logická analýza přirozeného jazyka II

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

( I029 Logická analýza přir. jazyka I && P998 Souborná zkouška ) || I997 Státní zkouška

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

• 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

• Transparentní intenzionální logika. Obecná charakteristika. Jednoduchá teorie typů. Epistémická báze. Extenze a intenze. Extenzionální teorie intenzí. Pojem konstrukce. Porovnání s konstruktivismem. Modifikace rozvětvené teorie typů.
• Teorie pojmu. Výraz -- pojem -- objekt. Church: význam výrazu = pojem objektu. Quasi-identické uzavřené konstrukce. Pojem. Pojmové systémy.
• Řešení známých sémantických problémů: Existence. Intenzionální kontexty. Kvantifikace do intenzionálních kontextů. Paradox analýzy, paradox vševědoucnosti. Tvrzení identit. Analýza tázacích vět.

Další komentáře

Předmět je vyučován každoročně.
Výuka probíhá každý týden.

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