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