Abstract

V příspěvku podávám přehled vývoje logické sémantiky se zřetelem zejména na vý­voj Tichého Transparentní intenzionální logiky (TIL) od pozdních šedesátých let až do­dnes, a na ní vystavěné Maternovy logické teorie pojmu. Článek si neklade za cíl podat vyčerpávající historický přehled, nýbrž soustřeďuje se na podíl česko-slovenské logické školy a ukazuje, že tento podíl je nezanedbatelný. Navíc je však tento přehled zároveň i kritický. Ukazuje silné stránky logického rámce TIL, ale zároveň upozorňuje na někte­ré diskutabilní stránky či otevřené problémy, které zůstávají zejména právě v procedu­rální teorii pojmu. Z nich nejpalčivějším je problém procedurální identity pojmu, a tím také kritéria synonymie.