2022
Solutions to Puzzles of Existential Generalisation
RACLAVSKÝ, JiříZákladní údaje
Originální název
Solutions to Puzzles of Existential Generalisation
Autoři
Vydání
10th Non-Classical Logic. Theory and Application (NCL'22), 2022
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
Polsko
Utajení
není předmětem státního či obchodního tajemství
Organizační jednotka
Filozofická fakulta
Klíčová slova anglicky
existential generalisation; quantifying in; explicit substitution;partial type logic; natural deduction
Změněno: 14. 2. 2023 13:48, Mgr. Kateřina Urubková
Anotace
V originále
The present paper addresses several puzzles related to the Rule of Existential Generalization, (EG). In solution to these puzzles, I clearly distinguish (EG) from a modified Rule of Existential Quantifier Introduction, which is derivable from (EG). Both these rules are often confused and both are considered as primitive. But I show that (EG) itself is derivable from the proper Rule of Existential Quantifier Introduction. The latter rule must be primitive in logical systems that treat both total and partial functions, for the universal and the existential quantifiers are not interdefinable in them. An appropriate natural deduction for such a system is deployed. It utilises an adequate definition of substitution which is capable of handling not only a higher-order quantification, but also (hyper)intensional contexts.
Návaznosti
| MUNI/A/1088/2021, interní kód MU |
|