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 |
|