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)

Russell alleged that the version of the cosmological argument he debated with Copleston involved type confusions, but the definitions of plural descriptive functions and the ancestral in Principia Mathematica can be used to reformulate the argument in a type-safe way via a notion of causally self-sufficient classes. Although the argument depends on the assumption that the class of contingent things is not causally self-sufficient, if that assumption is weakened to say only that it may not be so, then a new (...) modalized version emerges which has similarities with recent ontological arguments but weaker and more intuitive assumptions. (Familiarity with Principia notation and conventions is presupposed throughout.). (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)