Archiv Ladislava Hejdánka | Kartotéka
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.
Kalkul
Jan Štěpán
(1998)
kalkul (z lat. calculus, počet) ↑systém ↑znaků a pravidel pro operace se znaky. K. je dán souborem primitivních symbolů (abecedou), formačními pravidly (gramatikou), souborem ↑axiomů a transformačními (odvozovacími) ↑pravidly. K. umožňuje v podstatě mechanickou práci se znaky bez ohledu na jejich ↑význam. Tento styl je typický pro formální vědy (logika, matematika), ale je ideálem všech exaktních věd. Interpretovaný k. nazýváme ↑systém formalizovaný.
(Filosofický slovník, Naklad. Olomouc, Olomouc 21998, str. 205.)
vznik lístku: prosinec 2000