Národní úložiště šedé literatury Nalezeno 6 záznamů.  Hledání trvalo 0.01 vteřin. 
Sémantika axiómu komprehenz
Materna, Pavel
Třída určená instance axiómu komprehenze je dána pojmem jakožto procedurou.
Zaměnitelnost
Peregrin, Jaroslav
Sémantičtí atomisté chápou významy složených výrazů jako složeniny výrazů jejich částí. Sémantičtí holisté tvrdí, že významy (alespoň některých) celků jsou základnější než významy částí, a tudíž potřebují vztah zaměnitelnosti, aby se dostali od významů celků k významům částí, A protože zaměnitelnost je vždy vzhledem k nějaké ekvivalenci (dva výrazy jsou zaměnitelné, je-li výrok, který vznikne z jakéhokoli výroku S náhradou jednoho z nich tím druhým ekvivalentní S), je zásadní otázkou, co může být onou ekvivalencí, která je schopna vydělovat významy. Stejnost pravdivostních hodnot, stejnost pravdivostních podmínek, nebo snad nějaká vzájemná odvoditelnost? V tomto článku jsou rozebírány podmínky, za kterých vyjde zaměnitelnost vzhledem k takovým různým možným kandidátům na ekvivalence, které by vydělovaly významy, jako stejná.
Hry a význam logických spojek
Majer, Ondrej
Hlavním tématem článku je rozdílné chápání logických spojek v různých logických systémech (jako příklad jsou uvedeny klasická, intuicionistická a lineární logika). Článek se zejména zaměřuje na to, jak se rozdíly mezi spojkami projevují v herních interpretacích příslušných logických systému a nakolik je rámec teorie her vhodný pro charakterizaci těchto rozdílu.
Normy
Svoboda, Vladimír
Článek se zabývá obecnou analýzou pojmu normy a otázkami ontologie norem. Je v něm nastíněn přístup, v němž jsou normy chápány jako specifické vztahy. Pozornost je věnována i logicko sémantickým aspektům navrženého přístupu.
H. Poincaré - nové úvahy o založení geometrie
Sousedík, Prokop
V příspěvku se autor zabývá diskusí o založení geometrie v době po objevu neeuklidovských geometrií. Zaměřuje se především na přínos francouzského filosofa a matematika H. Poincarého.
Jsou pojmy a priori?
Materna, Pavel
Článek dokazuje, že pojmy - jsou-li chápány jako abstraktní procedury - jsou s výrazy spojeny jako jejich významy, tedy a prioti, a že jejich vazba na jimi identifikovaný předmět je rovněž a priori.

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.