a 2018

The Rule of Substitution and Hyperintensional Contexts

RACLAVSKÝ, Jiří

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

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

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 12. 3. 2024 15:28, prof. PhDr. BcA. Jiří Raclavský, Ph.D.

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ů