Informace o publikaci

The Rule of Existential Generalisation, Its Derivability and Formal Semantics

Logo poskytovatele
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 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).
Související projekty:

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

Další info