2018
The Rule of Explicit Substitution into (Hyper)intensional Contexts
RACLAVSKÝ, JiříBasic information
Original name
The Rule of Explicit Substitution into (Hyper)intensional Contexts
Authors
Edition
6th World Congress and School on Universal Logic, Vichy, France, 16.-26. 6. 2018, 2018
Other information
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
References:
Marked to be transferred to RIV
Yes
RIV identification code
RIV/00216224:14210/18:00118739
Organization unit
Faculty of Arts
Keywords in English
substitution; hyperintensional contexts; type theory
Tags
Tags
International impact, Reviewed
Changed: 31/3/2022 14:16, Ing. Mgr. Zdeňka Jastrzembská, Ph.D.
Abstract
In the original language
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 |
|