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 推导中的一个错误，即人类灵魂本身是不会腐化的。