JÓZEF MARIA BOCHEŃSKI’S FORMAL ANALYSIS OF THE PRIMA VIA FROM 1953
Abstract J.M. Bocheński (1902-1995) 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 form...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Estadual de Campinas
2021-12-01
|
| Series: | Manuscrito |
| Subjects: | |
| Online Access: | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452021000400169&tlng=en |
| _version_ | 1818988495721463808 |
|---|---|
| author | MAREK PORWOLIK |
| author_facet | MAREK PORWOLIK |
| author_sort | MAREK PORWOLIK |
| collection | DOAJ |
| description | Abstract J.M. Bocheński (1902-1995) 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. |
| first_indexed | 2024-12-20T19:23:30Z |
| format | Article |
| id | doaj.art-016b1fe7b35b4438838de606382d7607 |
| institution | Directory Open Access Journal |
| issn | 2317-630X |
| language | English |
| last_indexed | 2024-12-20T19:23:30Z |
| publishDate | 2021-12-01 |
| publisher | Universidade Estadual de Campinas |
| record_format | Article |
| series | Manuscrito |
| spelling | doaj.art-016b1fe7b35b4438838de606382d76072022-12-21T19:28:55ZengUniversidade Estadual de CampinasManuscrito2317-630X2021-12-0144416920110.1590/0100-6045.2021.v44n4.mpJÓZEF MARIA BOCHEŃSKI’S FORMAL ANALYSIS OF THE PRIMA VIA FROM 1953MAREK PORWOLIKhttps://orcid.org/0000-0002-8091-7446Abstract J.M. Bocheński (1902-1995) 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.http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452021000400169&tlng=enJ.M. Bocheński, St. Thomas Aquinas, prima viaLogic |
| spellingShingle | MAREK PORWOLIK JÓZEF MARIA BOCHEŃSKI’S FORMAL ANALYSIS OF THE PRIMA VIA FROM 1953 Manuscrito J.M. Bocheński, St. Thomas Aquinas, prima via Logic |
| title | JÓZEF MARIA BOCHEŃSKI’S FORMAL ANALYSIS OF THE PRIMA VIA FROM 1953 |
| title_full | JÓZEF MARIA BOCHEŃSKI’S FORMAL ANALYSIS OF THE PRIMA VIA FROM 1953 |
| title_fullStr | JÓZEF MARIA BOCHEŃSKI’S FORMAL ANALYSIS OF THE PRIMA VIA FROM 1953 |
| title_full_unstemmed | JÓZEF MARIA BOCHEŃSKI’S FORMAL ANALYSIS OF THE PRIMA VIA FROM 1953 |
| title_short | JÓZEF MARIA BOCHEŃSKI’S FORMAL ANALYSIS OF THE PRIMA VIA FROM 1953 |
| title_sort | jozef maria bochenski s formal analysis of the prima via from 1953 |
| topic | J.M. Bocheński, St. Thomas Aquinas, prima via Logic |
| url | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452021000400169&tlng=en |
| work_keys_str_mv | AT marekporwolik jozefmariabochenskisformalanalysisoftheprimaviafrom1953 |