JAROSLAV MÜLLER: TIL A MODELY

Transparentni intenzionalni logika je pouzivana zejmena pro logickou analyzu prirozeneho jazyka, ale (uz podle nazvu) je to logika. Ucelem tohoto seminare je ukazat pristup TILu k teorii modelu. Ukazu obecne definici modelu pro TIL a take ukazu, ze je to „konzervativni rozsireni“. Tzn. pokud v TILu zapisu teorii vyjadritelnou i v jine logice (napr. PL1), pak jeji modely budou odpovidat tem z PL1.