The Rule of Substitution and Hyperintensional Contexts
| Authors | |
|---|---|
| Year of publication | 2018 |
| Type | Conference abstract |
| 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: |