This paper reports some attempts undertaken in Poland in the 1930s to modernize Thomism by means of modern logic. In particular, it concerns J.M. Bocheński and J. Salamucha, the leading members of the CracowCircle. They attempted to give precise logical form to the Five Ways of Thomas Aquinas. Other works concerned the concept of transcendentals, the levels of abstraction, and the concept of essence.

Gaunilo argued that Anselm could prove the existence of many perfect objects, for example, the happiest island, that is, happier than any other island. More formally, Gaunilo’s arguments were intended to show that the sentence “God exists‘ does not follow from premises accepted by Anselm. Contemporary versions of the ontological proof use the maximalization procedure in order to demonstrate that God exists as the most perfect being. This paper argues that this method, which is based on maximalization, is not sufficient (...) to prove God’s existence. Thus, a “contemporary Gaunilo‘ can repeat objections raised by his ancestor. (shrink)