RACLAVSKÝ, Jiří. The Rule of Existential Generalisation and Explicit Substitution. Logic and logical philosophy. Nicolas Copernicus University Press, roč. 31, č. 1, s. 105-141. ISSN 1425-3305. doi:10.12775/LLP.2021.011. 2022.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název The Rule of Existential Generalisation and Explicit Substitution
Autoři RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí).
Vydání Logic and logical philosophy, Nicolas Copernicus University Press, 2022, 1425-3305.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 60301 Philosophy, History and Philosophy of science and technology
Stát vydavatele Polsko
Utajení není předmětem státního či obchodního tajemství
WWW URL
Impakt faktor Impact factor: 0.500
Kód RIV RIV/00216224:14210/22:00129024
Organizační jednotka Filozofická fakulta
Doi http://dx.doi.org/10.12775/LLP.2021.011
UT WoS 000701852400001
Klíčová slova anglicky existential generalisation; quantifying in; explicit substitution; hyperintensional logic; natural deduction
Štítky rivok
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnila: Mgr. et Mgr. Lucie Tomaňová, učo 445546. Změněno: 3. 4. 2023 10:52.
Anotace
The present paper offers the rule of existential generalisation (EG) that is uniformly applicable within extensional, intensional and hyperintensional contexts. In contradistinction to Quine and his followers, quantification into various modal contexts and some belief attitudes is possible without obstacles. The hyperintensional logic deployed in this paper incorporates explicit substitution and so the rule (EG) is fully specified inside the logic. The logic is equipped with a natural deduction system within which (EG) is derived from its rules for the existential quantifier, substitution and functional application. This shows that (EG) is not primitive, as often assumed even in advanced writings on natural deduction. Arguments involving existential generalisation are shown to be valid if the sequents containing their premises and conclusions are derivable using the rule (EG). The invalidity of arguments seemingly employing (EG) is explained with recourse to the definition of substitution.
Návaznosti
GA19-12420S, projekt VaVNá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
VytisknoutZobrazeno: 28. 3. 2024 09:24