RACLAVSKÝ, Jiří. The Rule of Existential Generalisation, Its Derivability and Formal Semantics. In Formal Reasoning and Semantics IV (FORMALS 2021), Dubrovnik, September 20-24, 2021. 2021.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name The Rule of Existential Generalisation, Its Derivability and Formal Semantics
Authors RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution).
Edition Formal Reasoning and Semantics IV (FORMALS 2021), Dubrovnik, September 20-24, 2021, 2021.
Other information
Original language English
Type of outcome Presentations at conferences
Field of Study 60301 Philosophy, History and Philosophy of science and technology
Country of publisher Croatia
Confidentiality degree is not subject to a state or trade secret
WWW URL
RIV identification code RIV/00216224:14210/21:00119214
Organization unit Faculty of Arts
Keywords in English existential generalisation; natural deduction; explicit substitution; fine-grained hyperintensionality
Tags rivok
Tags International impact, Reviewed
Changed by Changed by: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Changed: 31/3/2022 14:13.
Abstract
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).
Links
GA19-12420S, research and development projectName: Hyperintenzionální význam, teorie typů a logická dedukce (Acronym: Hyperintensionality and Types)
Investor: Czech Science Foundation
PrintDisplayed: 29/7/2024 03:24