Principy logické analýzy jazyka

Student bude seznámen se základními problémy, které jsou předmětem discipliny Logická analýza přirozeného jazyka a s nedostatky jejich řešení v některých tradičních logických systémech. Na základě tzv. transparentní intensionální logiky se naučí tyto problémy řešit takovým způsobem, aby nedocházelo k nežádoucím paradoxům v úsudcích. Správná analýza, tj. adekvátní logická konstrukce, je nutnou podmínkou korektní inference a může pak sloužit např. jako podklad pro reprezentaci znalostí ve znalostních systémech umělé inteligence, umožňuje přesný (i automatický) překlad do jiného jazyka, apod.