The Rule of Existential Generalisation, Its Derivability and Formal Semantics
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F21%3A00119214" target="_blank" >RIV/00216224:14210/21:00119214 - isvavai.cz</a>
Výsledek na webu
<a href="https://iuc.hr/programme/1480" target="_blank" >https://iuc.hr/programme/1480</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
The Rule of Existential Generalisation, Its Derivability and Formal Semantics
Popis výsledku v původním jazyce
My contribution addresses various issues concerning the rule of existential generalisation (EG). My solutions are framed within a higher-order partial type theory TT* that is equipped with a natural deduction system ND-TT*. I derive (EG) from its primitive rules, especially the rule of existential quantifier introduction (Exists-I). Similarly for another derived rule (Exists-I-eta). Substitution (t/x) of (EG) is fully and adequately specified inside the system and so (EG) is uniformly applicable within extensional, intensional and even hyperintensional contexts (we face no problems with quantifying in).
Název v anglickém jazyce
The Rule of Existential Generalisation, Its Derivability and Formal Semantics
Popis výsledku anglicky
My contribution addresses various issues concerning the rule of existential generalisation (EG). My solutions are framed within a higher-order partial type theory TT* that is equipped with a natural deduction system ND-TT*. I derive (EG) from its primitive rules, especially the rule of existential quantifier introduction (Exists-I). Similarly for another derived rule (Exists-I-eta). Substitution (t/x) of (EG) is fully and adequately specified inside the system and so (EG) is uniformly applicable within extensional, intensional and even hyperintensional contexts (we face no problems with quantifying in).
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
<a href="/cs/project/GA19-12420S" target="_blank" >GA19-12420S: Hyperintenzionální význam, teorie typů a logická dedukce</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2021
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů