Bocheński's Formalization of Summa Theologiae (Ia,75,6) Reconsidered
Bibliographic Data
| ID | 21451332 |
|---|---|
| Authors | Paolo Maffezioli (0000-0001-9832-924X, Universitat de Barcelona, corresponding author) |
| Year | 2020 |
| Volume | 41 |
| Issue | 2 |
| Pages | 191-198 |
| Publication date | 2020-04-02 |
| Open Access | No |
| Type | ARTICLE |
| Venue | History and Philosophy of Logic (JOURNAL) |
| Journal identifiers | ISSN: 0144-5340 • E-ISSN: 1464-5149 |
| Publisher | Informa UK Limited (PUBLISHER • GB) |
| DOI | 10.1080/01445340.2020.1731295 |
| OpenAlex | W3011069788 |
| Language | EN |
| References cited | 6 |
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
Argument (complex analysis) · Economics · Epistemology · Mistake · Order (exchange) · Soul · Theology · Chemistry · Law · Medieval Philosophy and Theology · Philosophy · Philosophy and Theoretical Science · Theology and Philosophy of Evil
| Highly cited | No |
|---|