当前位置:
X-MOL 学术
›
History and Philosophy of Logic
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Bocheński's Formalization of Summa Theologiae (Ia,75,6) Reconsidered
History and Philosophy of Logic ( IF 0.5 ) Pub Date : 2020-03-12 , DOI: 10.1080/01445340.2020.1731295 Paolo Maffezioli 1
History and Philosophy of Logic ( IF 0.5 ) Pub Date : 2020-03-12 , DOI: 10.1080/01445340.2020.1731295 Paolo Maffezioli 1
Affiliation
I investigate Bocheński's first-order logic formalization of the argument for the incorruptibility of the human soul given by Aquinas in Summa Theologiae (Ia,75,6). I suggest a slightly different axiomatization that reflect better Aquinas' informal argument. Along the way, I also fix a mistake in Bocheński's derivation that the human soul is not corruptible per se.
中文翻译:
重新考虑 Bocheński 对 Summa Theologiae (Ia,75,6) 的形式化
我研究了 Bocheński 对阿奎那在 Summa Theologiae (Ia,75,6) 中给出的关于人类灵魂不朽的论证的一阶逻辑形式化。我建议稍微不同的公理化,以更好地反映阿奎那的非正式论证。在此过程中,我还修正了 Bocheński 推导中的一个错误,即人类灵魂本身是不会腐化的。
更新日期:2020-03-12
中文翻译:
重新考虑 Bocheński 对 Summa Theologiae (Ia,75,6) 的形式化
我研究了 Bocheński 对阿奎那在 Summa Theologiae (Ia,75,6) 中给出的关于人类灵魂不朽的论证的一阶逻辑形式化。我建议稍微不同的公理化,以更好地反映阿奎那的非正式论证。在此过程中,我还修正了 Bocheński 推导中的一个错误,即人类灵魂本身是不会腐化的。