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

Fakulta informatiky
jaro 2006
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučující
prof. PhDr. Pavel Materna, CSc. (přednášející)
Garance
prof. Ing. Václav Přenosil, 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 B410
Předpoklady
! I044 Logická analýza přiroz. jazyka
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
předmět má 7 mateřských oborů, zobrazit
Cíle předmětu
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.
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.
Literatura
  • TICHÝ, Pavel. O čem mluvíme? :vybrané stati k logice a sémantice. Online. Edited by Jaroslav Peregrin. Vyd. 1. Praha: Filosofia, 1996. 161 s. ISBN 80-7007-087-0. [citováno 2024-04-24] info
  • MATERNA, Pavel. Svět pojmů a logika. Online. 1. vyd. Praha: Filosofia, 1995. 136 s. ISBN 80-7007-078-1. [citováno 2024-04-24] info
Metody hodnocení
Navazuje na Logickou analyzu prirozeneho jazyka I. Na konci semestru zkouska vychazejici z prednasky a doporucene literatury. Zkouska se sklada z pisemneho vyreseni analyzy neprilis sloziteho vyrazu cestiny a z pohovoru o teoretickych zakladech.
Informace učitele
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015.