The Rule of Substitution and Hyperintensional Contexts

RACLAVSKÝ, Jiří. The Rule of Substitution and Hyperintensional Contexts. In 6th Congress of Universal Logic (UNILOG6). 2018.

Basic information

Original name

The Rule of Substitution and Hyperintensional Contexts

Authors

RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution)

Edition

6th Congress of Universal Logic (UNILOG6), 2018

---

Other information

Language

English

Type of outcome

Konferenční abstrakt

Field of Study

60301 Philosophy, History and Philosophy of science and technology

Country of publisher

France

Confidentiality degree

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

RIV identification code

RIV/00216224:14210/18:00113950

Organization unit

Faculty of Arts

Keywords in English

substitution; hyperintensional contexts; type theory

Tags

rivok

Tags

International impact, Reviewed

---

Abstract

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.

---

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