The Rule of Existential Generalisation, Its Derivability and Formal Semantics

Autoři

RACLAVSKÝ Jiří

Rok publikování 2021
Druh Další prezentace na konferencích
Fakulta / Pracoviště MU

Filozofická fakulta

Citace
Popis My contribution addresses various issues concerning the rule of existential generalisation (EG). My solutions are framed within a higher-order partial type theory $\mathsf{TT^*}$ that is equipped with a natural deduction system $\mathsf{ND_\mathsf{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).
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.