Bocheński's Formalization of "Summa Theologiae" (Ia,75,6) Reconsidered
- 1 Universitat de Barcelona, Spain
ISSN: 0144-5340, 1464-5149
Année de publication: 2020
Volumen: 41
Número: 2
Pages: 191-198
Type: Article
D'autres publications dans: History and Philosophy of Logic
Résumé
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.
Références bibliographiques
- Bocheński J. M., (1938), Nove Lezioni di Logica Simbolica
- Bocheński J. M., (1995), Nove Lezioni di Logica Simbolica
- Johansson I., (1937), Compositio Mathematica, 4, pp. 119
- Kaczyński K., (2003), Angelicum, 80, pp. 9
- 10.1080/01445340.2013.808805
- 10.1007/s10516-014-9256-5
- 10.1007/s11212-013-9181-y
- Pasnau R., (2002), Thomas Aquinas on Human Nature. A Philosophical Study of Summa Theologiae Ia 75-89
- 10.1007/BF02229794
- 10.1023/A:1025396221765