Hlavní naší otázkou bude, co jsou to významy jazykových výrazů, resp. jak fungují a jaké principy je charakterizují. Podíváme se na některé nástroje, které k řešení této otázky nabízí moderní logika.
Tento kurz je tedy především úvodem do problematiky formálního modelování významů jazykových výrazů. Systematicky budeme postupovat od extenzionálního k intenzionálnímu a hyperintenzionálnímu přístupu k analýze přirozeného jazyka. Postupně se seznámíme s kategoriální gramatikou, teorií typů, teorií strukturovaných významů, situační sémantikou, transparentní intenzionální logikou a některými dynamickými modely významu.
Přednáška nepředpokládá žádné speciální znalosti.
Poslední úprava: Punčochář Vít, Mgr., Ph.D. (10.02.2012)
An overview of methods of formal explication of meaning: the extensional model of language, intensional model, hyperintensional and dynamic models.