RACLAVSKÝ, Jiří. The Rule of Substitution and Hyperintensional Contexts. In 6th Congress of Universal Logic (UNILOG6). 2018.
Other formats:   BibTeX LaTeX RIS
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
Original language English
Type of outcome Conference abstract
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
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
Changed by Changed by: prof. PhDr. BcA. Jiří Raclavský, Ph.D., učo 7593. Changed: 12/3/2024 15:28.
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 projectName: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Acronym: Sémantické pojmy)
Investor: Czech Science Foundation
PrintDisplayed: 29/7/2024 03:25