The Rule of Explicit Substitution into (Hyper)intensional Contexts
| Authors | |
|---|---|
| Year of publication | 2018 |
| Type | Appeared in Conference without Proceedings |
| MU Faculty or unit | |
| Citation | |
| Description | 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. |
| Related projects: |