The Rule of Explicit Substitution into (Hyper)intensional Contexts

RACLAVSKÝ, Jiří. The Rule of Explicit Substitution into (Hyper)intensional Contexts. In 6th World Congress and School on Universal Logic, Vichy, France, 16.-26. 6. 2018. 2018.

Basic information

• Original name: The Rule of Explicit Substitution into (Hyper)intensional Contexts
• Authors: RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution).
• Edition: 6th World Congress and School on Universal Logic, Vichy, France, 16.-26. 6. 2018, 2018.

Other information

• Original language: English
• Type of outcome: Presentations at conferences
• Field of Study: 60301 Philosophy, History and Philosophy of science and technology
• Country of publisher: France
• Confidentiality degree: is not subject to a state or trade secret
• WWW: URL
• RIV identification code: RIV/00216224:14210/18:00118739
• Organization unit: Faculty of Arts
• Keywords in English: substitution; hyperintensional contexts; type theory
• Tags: rivok
• Tags: International impact, Reviewed

Abstract

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.

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