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.
Jazyk formalizovaný
Jan Štěpán
(1998)
jazyk formalizovaný interpretovaný ↑kalkul. Kalkul je vytvořen čistě formálně a stane se j. f., když k němu připojíme sémantická pravidla, která připisují význam jeho správně utvořeným výrazům. Funkčně je j. f. aparátem odvozování a ↑důkazu ve formalizovaných věd. oborech.
(Filosofický slovník, Naklad. Olomouc, Olomouc 21998, str. 199.)
vznik lístku: prosinec 2000
Odpověď (-di, ž.)
František Trávníček
(1952)
= ústní n. písemný jazykový projev podnícený otázkou; dáti správnou… o.; nezůstati dlužen o. = pohotově odpovědět; nejíti daleko pro o. = odpovědět bez obalu (hovor.); odpověděti, v. pověděti
(Slovník jazyka českého, Praha 41952, str. 1074.)
vznik lístku: srpen 2005
Jazyk přirozený
Jan Štěpán
(1998)
jazyk přirozený znaková soustava sloužící běžné komunikaci ve formě mluvené, příp. psané. J. p. vykazuje řadu nedostatků (↑homonymie, ↑synonymie, ↑vágnost), které jej diskvalifikují jako prostředek přesného vyjadřování a sdělování. Proto jsou pro odborné účely vyvíjeny ↑jazyky vědecké.
(Filosofický slovník, Naklad. Olomouc, Olomouc 21998, str. 199.)
vznik lístku: prosinec 2000
Sémantika
Jan Štěpán
(1998)
sémantika součást ↑sémiotiky, která studuje vztahy mezi ↑formou (kterou výhradně zkoumá ↑syntaktika) a ↑významem ↑znaků a jejich komplexů. O každém výrazu lze na úrovni s. rozhodnout nejen zda je nebo není gramaticky správný, ale navíc dodává, příp. nachází ↑interpretaci (správných) výrazů, tj. přiřazuje výrazům objekty, k nimž odkazují.
(Filosofický slovník, Naklad. Olomouc, Olomouc 21998, str. 361.)
vznik lístku: prosinec 2000
Extenzionalita
Jan Štěpán
(1998)
extenzionalita koncepce ↑sémantiky, podle níž jsou logicky reprezentovatelné pouze ↑extenze. Předpokládá omezení na jediný možný (skutečný) svět a fixní čas (časový řez). Toto pojetí je výhodné a postačující při aplikaci především klasické logiky (↑logika klasická) na věd. jazyky, je však nedostačující pro logickou analýzu přirozeného jazyka (↑analýza logická). Speciálně je e. omezením, které přijímá klasická logika a týká se výběru ↑funktorů. Přípustné jsou zde pouze takové funktory, pro něž platí, že ↑denotát složeného výrazu vzniklého užitím příslušného funktoru je plně určen pomocí denotátů složek, přičemž ↑smysl těch výrazů nehraje žádnou roli. Např. všechny ↑spojky výrokové logiky (↑logika výroková) vyhovují této podmínce.
(Filosofický slovník, Naklad. Olomouc, Olomouc 21998, str. 117.)
vznik lístku: prosinec 2000