Zde najdete digitalizovanou podobu Hejdánkovy originální kartotéky. Její celkový objem čítá mnoho tisíc lístků. Zveřejňujeme je po částech, jak je zvládáme zpracovávat. V tuto chvíli máme zpracované to, co prof. Hejdánek sám vypracoval elektronicky. Zbývá ovšem mnoho práce na papírových kartičkách. Kromě Hejdánkových výpisků z četby obsahuje kartotéka také jeho vlastní myšlenkovou práci z posledních let, kterou nejde dohledat jinde.
Jan Štěpán
(1998)
syntax logická 1. systém pravidel udávajících jak skládat (tvořit a spojovat) výrazy určitého logického ↑kalkulu, tedy ↑syntax konkrétního jazyka logiky; 2. součást ↑metalogiky, která zkoumá strukturu a vlastnosti neinterpretovaných kalkulů, tj. problémy jako je ↑bezespornost, ↑úplnost, ↑nezávislost axiomů, dokazatelnost (↑důkaz); zabývá se jimim pouze na úrovni ↑jazyka, bez ohledu na možný ↑význam jednotlivých jazykových výrazů i jejich komplexů.
(Filosofický slovník, Naklad. Olomouc, Olomouc 21998, str. 393.)
vznik lístku: prosinec 2000