Další formáty:
BibTeX
LaTeX
RIS
@article{1829739, author = {Raclavský, Jiří}, article_number = {1}, doi = {http://dx.doi.org/10.12775/LLP.2021.011}, keywords = {existential generalisation; quantifying in; explicit substitution; hyperintensional logic; natural deduction}, language = {eng}, issn = {1425-3305}, journal = {Logic and logical philosophy}, title = {The Rule of Existential Generalisation and Explicit Substitution}, url = {https://apcz.umk.pl/LLP/article/view/31855/30016}, volume = {31}, year = {2022} }
TY - JOUR ID - 1829739 AU - Raclavský, Jiří PY - 2022 TI - The Rule of Existential Generalisation and Explicit Substitution JF - Logic and logical philosophy VL - 31 IS - 1 SP - 105-141 EP - 105-141 PB - Nicolas Copernicus University Press SN - 14253305 KW - existential generalisation KW - quantifying in KW - explicit substitution KW - hyperintensional logic KW - natural deduction UR - https://apcz.umk.pl/LLP/article/view/31855/30016 N2 - 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. ER -
RACLAVSKÝ, Jiří. The Rule of Existential Generalisation and Explicit Substitution. \textit{Logic and logical philosophy}. Nicolas Copernicus University Press, 2022, roč.~31, č.~1, s.~105-141. ISSN~1425-3305. Dostupné z: https://dx.doi.org/10.12775/LLP.2021.011.
|