RACLAVSKÝ, Jiří. The Rule of Explicit Substitution into (Hyper)intensional Contexts. Online. In 6th World Congress and School on Universal Logic, Vichy, France, 16.-26. 6. 2018. 2018, [citováno 2024-04-24]
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název The Rule of Explicit Substitution into (Hyper)intensional Contexts
Autoři RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí)
Vydání 6th World Congress and School on Universal Logic, Vichy, France, 16.-26. 6. 2018, 2018.
Další údaje
Originální jazyk angličtina
Typ výsledku Prezentace na konferencích
Obor 60301 Philosophy, History and Philosophy of science and technology
Stát vydavatele Francie
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14210/18:00118739
Organizační jednotka Filozofická fakulta
Klíčová slova anglicky substitution; hyperintensional contexts; type theory
Štítky rivok
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnila: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Změněno: 31. 3. 2022 14:16.
Anotace
The correct Rule of Substitition usable also in hyperintensional contexts is formulated and tested in various contexts. I show and examine genuine and pseudo- hyperintensional contexts (in the latter ones, substitution is possible - despite appearances). I investigate the proper source of genuine hyperintensional contexts. The employed formal apparatus is ramified partial type theory.
Návaznosti
GA16-19395S, projekt VaVNázev: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Akronym: Sémantické pojmy)
Investor: Grantová agentura ČR, Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů
VytisknoutZobrazeno: 24. 4. 2024 02:49