The Rule of Substitution and Hyperintensional Contexts

RACLAVSKÝ, Jiří. The Rule of Substitution and Hyperintensional Contexts. In 6th Congress of Universal Logic (UNILOG6). 2018.

Základní údaje

• Originální název: The Rule of Substitution and Hyperintensional Contexts
• Autoři: RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí).
• Vydání: 6th Congress of Universal Logic (UNILOG6), 2018.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Konferenční abstrakt
• 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í
• Kód RIV: RIV/00216224:14210/18:00113950
• 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

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 VaV: Ná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ů