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

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

ISSN: 0144-5340,  1464-5149

Datum der Publikation: 2020

Ausgabe: 41

Nummer: 2

Seiten: 191-198

Art: Artikel

DOI: 10.1080/01445340.2020.1731295 GOOGLE SCHOLAR lock_openOpen Access editor

Andere Publikationen in: History and Philosophy of Logic

Zusammenfassung

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.

Bibliographische Referenzen

  • 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