The Rule of Explicit Substitution into (Hyper)intensional Contexts

RACLAVSKÝ, Jiří. The Rule of Explicit Substitution into (Hyper)intensional Contexts. In 6th World Congress and School on Universal Logic, Vichy, France, 16.-26. 6. 2018. 2018.

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

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í

Odkazy

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

---

Anotace

V originále

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ů