The present state of research reveals that basically Fr. J.M. Bochenski (1902-1995) left three versions of the formalizations of St. Thomas Aquinas’ fifth way. The first version comes from the article Die fünf Wege, published in 1989, and the third one, which is unauthorized, from the book Gottes Dasein und Wesen. Logische Studien zur Summa Theologiae I, qq. 2-11, published in Munich in 2003. These works are completed by the second version from two manuscripts of the book: one German (1989) (...) and one Polish (1993).The above mentioned texts have shown the contribution made by Fr. J.M. Bochenski into the realization of the intended application of the tools of contemporary logic in the field of philosophy of God as well as theology. One of the main followers of these ideas in Austria has been Paul Weingartner (born 1931). In 2010 he published God’s Existence? A Logical Commentary on the Five Ways of Thomas Aquinas, a book which makes direct references to J.M. Bochenski’s works, and like Bochenski’s work it is a logical commentary to certain fragments of St. Thomas Aquinas’ Summa Theologiae. (shrink)

W związku z 30. rocznicą nadania przez Akademię Teologii Katolickiej w Warszawie doktoratu honoris causa J.M. Bocheńskiemu dokonano kwerendy dokumentów, związanych z tym wydarzeniem, obecnie znajdujących się w Archiwum Uniwersytetu Kardynała Stefana Wyszyńskiego w Warszawie. W jej wyniku odnaleziono nagrania audio i zdjęcia z tej uroczystości oraz dokumentację starań Wydziału Filozofii Chrześcijańskiej ATK, mających na celu nadanie tego tytułu o. Bocheńskiemu. Jak się okazało, począwszy od 1981 roku WFCh trzykrotnie ubiegał się o nadanie tego doktoratu i podejmował stosowne uchwały w (...) tej sprawie. Celem artykułu jest prezentacja i omówienie tych archiwaliów w kontekście związków o. Bocheńskiego z ATK oraz ówczesnych realiów społeczno-politycznych i kościelnych. --------------- Zgłoszono: 24/01/2021. Zrecenzowano: 22/03/2021. Zaakceptowano do publikacji: 10/05/2021. (shrink)

Bocheński claims that it would be very useful to apply logical tools to philosophical and theological investigations. His viewpoint can be ascribed to the fact that during Bocheński’s youth logic and reflections on the foundations of mathematics flourished. His seminal work on these issues is the book Gottes Dasein und Wesen. Logische Studien zur Summa Theologiae I, qq. 2–11 (2003). Due to the fact that it was necessary to introduce numerous corrections to it, the book was published over a decade (...) after submitting the manuscript to the publishing house in 1989 (according to certain sources, in 1991). There exist two manuscripts: one German (1989b) and one Polish (1993b). The latter contains also Bocheński’s unpublished works, including the analyses of Question 1 from St. Thomas Aquinas’ Summa Theologiae. In this Question, Aquinas focuses on the ways of understanding the term sacra doctrina. Bocheński’s text, which is a logical analysis of that Question, seems to be almost completed. With reference to the topic and the method of analysis, the text constitutes a whole together with the analyses of Questions 2–11, published in Bocheński (2003). (shrink)

J.M. Bocheński together with J. Salamucha, B. Sobociński, and J.F. Drewnowski formed the so-called Cracow Circle in the 30s of the previous century. Its main aim was to utilize contemporary logic in theology and philosophy of God. The first work in this area was Salamucha’s formal analysis of the prima via, published in 1934. The article was reviewed by Bocheński, who provided a number of remarks concerning Salamucha’s analysis. At that time he did not decide to conduct a holistic research (...) into the prima via. That was done by him only at the end of his life as part of the logical analysis of the quinque viae. This paper aims at presenting Bocheński’s unpublished formal analysis of the prima via from 1953 and proving that it constitutes a valuable completion of his published formal analyses, which come from the 1980s and 1990s. Above all, they provide a more insightful analysis of the notion of movement in the prima via, as well as the form of axiom expressing the lack of regress into infinity. In the formalizations of 1953 there are also interesting analyses concerning the ancestral closure of three-argument relations. (shrink)