a 2016

Explicit Substitution in Hyperintensional Contexts

RACLAVSKÝ, Jiří

Základní údaje

Originální název

Explicit Substitution in Hyperintensional Contexts

Autoři

RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí)

Vydání

Non-Classical Logic. Theory and Applications (NCL'16), 2016

Další údaje

Jazyk

angličtina

Typ výsledku

Konferenční abstrakt

Obor

60301 Philosophy, History and Philosophy of science and technology

Stát vydavatele

Polsko

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14210/16:00113940

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

substitutivity of identicals; hyperintensional contexts; type theory

Štítky

Příznaky

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

Anotace

V originále

I propose the correct rule of substititivity of identicals usable also in hyperintensional contexts. The logical framework in use is Tichy's ramified partial type theory, which is very expressive. The proposal is thus rather general. We start with definition of substitution function and then formulate terms of explicit substitution and also its execution.

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ů