k 2021

The Rule of Existential Generalisation, Its Derivability and Formal Semantics

RACLAVSKÝ, Jiří

Základní údaje

Originální název

The Rule of Existential Generalisation, Its Derivability and Formal Semantics

Autoři

RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí)

Vydání

Formal Reasoning and Semantics IV (FORMALS 2021), Dubrovnik, September 20-24, 2021, 2021

Další údaje

Jazyk

angličtina

Typ výsledku

Prezentace na konferencích

Obor

60301 Philosophy, History and Philosophy of science and technology

Stát vydavatele

Chorvatsko

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Kód RIV

RIV/00216224:14210/21:00119214

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

existential generalisation; natural deduction; explicit substitution; fine-grained hyperintensionality

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 31. 3. 2022 14:13, Ing. Mgr. Zdeňka Jastrzembská, Ph.D.

Anotace

V originále

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ávaznosti

GA19-12420S, projekt VaV
Název: Hyperintenzionální význam, teorie typů a logická dedukce (Akronym: Hyperintensionality and Types)
Investor: Grantová agentura ČR, Hyperintensional meaning, type theory and logical deduction