Bocheński's Formalization of "Summa Theologiae" (Ia,75,6) Reconsidered

  1. Maffezioli, Paolo 1
  1. 1 Universitat de Barcelona, Spain
Revista:
History and Philosophy of Logic

ISSN: 0144-5340,  1464-5149

Año de publicación: 2020

Volumen: 41

Número: 2

Páginas: 191-198

Tipo: Artículo

DOI: 10.1080/01445340.2020.1731295 GOOGLE SCHOLAR lock_openAcceso abierto editor

Otras publicaciones en: History and Philosophy of Logic

Resumen

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.

Referencias bibliográficas

  • 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