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

Fakulta informatiky
podzim 2014
Rozsah
2/0. 2 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: z.
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.
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky
Rozvrh
Čt 12:00–13:50 C511
Předpoklady
Žádoucí je znalost elementární logiky.
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á 36 mateřských oborů, zobrazit
Cíle předmětu
Student bude na konci kurzu umět syntetizovat význam výrazu na základě významů jeho složek. V nepříliš komplikovaných případech bude umět napsat příslušnou proceduru (konstrukci). Bude schopen obhájit antikontextualismus na základě rozlišení významu a supozice. V podstatě si osvojí procedurální metodu analýzy.
Osnova
  • Problém významu. Syntaktika, sémantika, pragmatika. Frege: smysl a význam. Kritika Fregovy sémantiky. Kritika Quineovy behavioristické sémantiky. Teorie možných světů. Kripke, Montague, Tichý. Funkcionální teorie významu. Funkce jako předpis, funkce jako zobrazení. Princip extensionality, kompozicionalita. Prostá hierarchie typů. Atomické a složené typy řádu 1. Intenze, extenze. Typová analýza výrazů. Pojem konstrukce. Rozvětvená hierarchie typů. De re a de dicto. Propoziční postoje. Pojmové postoje. Tázací věty.
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
  • MATERNA, Pavel. Logická analýza přirozeného jazyka. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
  • MATERNA, Pavel, Karel PALA a Jiří ZLATUŠKA. Logická analýza přirozeného jazyka. 1. vyd. Praha: Academia, 1989, 143 s. ISBN 80-200-0027-5. info
Výukové metody
přednášky, diskuse během přednášky, podle možností přizvání odborníka zvenčí.
Metody hodnocení
Prvni cast dvousemestrove prednasky. Po prvnim semestru ustni kolokvium na zaklade prednasky a doporucene literatury nebo zčásti písemná zkouška s řešením příkladu. Během přednášky jsou podporovány diskuse. Eventuální další literatura je doporučována během kurzu. Počítá se s možnou prezentací specialisty,
Informace učitele
http://www.phil.muni.cz/~materna
Možnost konzultací, i prostřednictvím e-mailu.
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích podzim 2002, podzim 2003, podzim 2004, podzim 2005, podzim 2006, podzim 2007, podzim 2008, podzim 2009, podzim 2010, podzim 2011, podzim 2012, podzim 2013, podzim 2015, podzim 2016, podzim 2017, podzim 2018, podzim 2019, podzim 2020, podzim 2021, podzim 2022.