Transparentní intenzionální logika

Náš ve světě nejznámější filozofický logik, zesnulý prof. Pavel Tichý, založil originální koncepci logiky nazvanou transparentní filozofická logika (TIL). Ukázal, že aktuální problémy logické sémantiky, zejména sémantiky přirozeného jazyka, mohou být řešeny aplikací TIL. Přijímáme přístup k logice a logické analýze přirozeného jazyka, jak byl definován v TIL, a rozvíjíme metody řešení jednotlivých problémů. Jak lze doložit četnými publikacemi (články i monografiemi), analyzovali jsme úspěšně následující problémy: obecné principy logické analýzy výrazů přirozeného jazyka, sémantika propozičních postojů, rozlišení mezi užitím a zmiňováním významů, sémantika ´pojmových postojů´ atd. Ukázali jsme, že nejlepší explikací toho, co se nazývá ´pojem´, je ztotožnění pojmu s jistou abstraktní procedurou; jak se ukázalo, byl to dobrý krok, který vedl k propojení s matematickými informatiky, kteří již využili ideje TIL a vyvinuli systém, který používá pojmy jako abstraktní roboty. Vyvíjíme a ověřujeme metody TIL, zejména na základě analýzy některých komplikovanějších jazykových struktur.

KONTAKTNÍ OSOBA:

prof. Pavel Materna
e-mail: maternapavel@seznam.cz
podrobněji: www.phil.muni.cz/~materna