Procedurální sémantika TIL

Abstract

V příspěvku se věnuji snad nejvýznamnějšímu a zároveň nejpřevratnějšímu rysu Tichého transparentní intenzionální logiky (TIL), jímž je procedurální sémantika. Ačkoliv ve druhé polovině minulého století již byla zřejmá potřeba explikovat význam hyperintenzionálně a pokud možno strukturovaně, hyperintenzionalita byla vymezena pouze negativně. Hyperintenzionální je takový kontext, ve kterém selhává substituce logicky ekvivalentních výrazů a je nutné jemnější rozlišení významů, než jakým je pouhá ekvivalence. Tichý však nejenže definoval hyperintenze pozitivně jakožto algoritmicky strukturované procedury, tj. TIL konstrukce, které přiřazujeme výrazům jako jejich kontextově invariantní významy, ale zároveň ukázal, že v rámci tohoto systému lze adekvátně řešit snad všechny problémy, na které tradiční PWS sémantika možných světů nestačí. V tomto článku demonstruji, že strukturované procedury jsou centrálním prvkem naší komunikace, a to napříč různými kulturami, obory i časem. Zároveň však nastiňuji problémy, které tato evidentně plauzibilní koncepce významu s sebou nese, a navrhuji jejich řešení.