JAROSLAV MÜLLER: TRANSPARENTNI INTENSIONALNI LOGIKA

Tutorial (2.5 hours), Autumn School of Logic, Pec p. Sn. Oct 20-25, 2004

V prispevku predneseme zakladni pojmy a filosofii Transparentni intensionalni logiky. Vylozime bohatou dvou-dimensionalni ontologii TILu, kde entity jsou organizovany v rozvinute hierarchii typu, coz nam umoznuje zminovat kteroukoli entitu kterehokoli typu v ramci teorie, bez nebezpeci nekonzistence. Dale uvedeme metodu, jak nalezt prislusnou logickou konstrukci, vyjadrenou vyrazem prirozeneho jazyka, tedy vyznam daneho vyrazu.