Explicit Substitution in Hyperintensional Contexts

RACLAVSKÝ, Jiří. Explicit Substitution in Hyperintensional Contexts. In Non-Classical Logic. Theory and Applications (NCL'16). 2016.

Basic information

• Original name: Explicit Substitution in Hyperintensional Contexts
• Authors: RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution).
• Edition: Non-Classical Logic. Theory and Applications (NCL'16), 2016.

Other information

• Original language: English
• Type of outcome: Conference abstract
• Field of Study: 60301 Philosophy, History and Philosophy of science and technology
• Country of publisher: Poland
• Confidentiality degree: is not subject to a state or trade secret
• RIV identification code: RIV/00216224:14210/16:00113940
• Organization unit: Faculty of Arts
• Keywords in English: substitutivity of identicals; hyperintensional contexts; type theory
• Tags: rivok
• Tags: International impact, Reviewed

Abstract

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.

Links

• GA16-19395S, research and development project: Name: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Acronym: Sémantické pojmy)

Investor: Czech Science Foundation