The Rule of Substitution and Hyperintensional Contexts

Autoři

RACLAVSKÝ Jiří

Rok publikování 2018
Druh Konferenční abstrakty
Fakulta / Pracoviště MU

Filozofická fakulta

Citace
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.