God's Existence. Can It be Proven(?)
A Logical Commentary on the Five Ways of Thomas Aquinas
The aim of this book is to show that the five ways of Thomas Aquinas are logically correct arguments by the standards of modern predicate logic. The first chapter comments on the one hand, that the existence of God is not self-evident to us, and on the other hand, the mere existence of a cause for an effect which is evidently known to us can be proved. In the second chapter every argument is translated into the symbolic form of predicate logic and its logical validity is shown. In addition, a detailed and critical discussion of the premises of each argument is given.