LADISLAV HEJDÁNEK ARCHIVES | Cardfile
Here you will find a digitized image of Hejdánek's original filing cabinet. Its total volume is many thousand tickets. We publish them in parts as we handle them. At the moment we have worked out what prof. Hejdánek himself developed electronically. However, much work remains on paper cards. In addition to Hejdánek's extracts from reading, the filing cabinet also includes his own thought work from recent years, which cannot be found elsewhere.
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.)
date of origin: 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.)
date of origin: prosinec 2000
Jazyk a jeho „svody“
Jan Patočka
(1948-52)
Ale v tom je právě jeden ze svodů jazyka, který je určen prakticky k označování realit, že i nejsoucno nás učí chápat jako předmětné nejsoucno, tudíž jako pouhý relační pojem, jak to učinil již Platón v Sofistovi a po něm mnozí jiní. Jako relační pojem, jako vztah mezi jsoucími věcmi, se nejsoucno dá fixovat a zachytit; ale Platón též věděl, že nejsoucno se skrývá, že je podstatně v skrytu a že se nám původněji než jako pojem, do něhož je hledí zaklít naše zpředmětňující myšlenka, jeví jako moc určující náš život.
V jakém smyslu určuje náš život moc jiná, než jsou předmětnosti, které se vyskytují v univerzu, jsou v něm dány a které nezbývá než uznat? ...
(Písek, 141115-2.)
date of origin: listopad 2014
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.)
date of origin: prosinec 2000