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 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
Množina
Jan Štěpán
(1998)
množina libovolný soubor libovolných vzájemně odlišitelných objektů (prvků m.) uvažovaný jako jeden celek. Na rozdíl od ↑třídy nemusí jít o objekty homogenní (splnující současně nějakou vlastnost). M. je vymezena, lze-li zjistit, zda libovolně zvolený objekt je či není jejím prvkem. Pojem m. lze korektně definovat pouze axiomaticky.
(Filosofický slovník, Naklad. Olomouc, Olomouc 21998, str. 271.)
vznik lístku: prosinec 2000
Symbol
Jan Štěpán
(1998)
symbol jazykový znak, příp. více znaků (↑znak 1), který vedle tvarové charakteristiky má i významovou charakteristiku (↑význam), tj. něco označuje (↑denotát) a něco vyjadřuje (↑smysl); s. jako součást nějakého ↑jazyka je zpravidla spojován s jazyky formalizovanými.
(Filosofický slovník, Naklad. Olomouc, Olomouc 21998, str. 392.)
vznik lístku: prosinec 2000