Logisches Credo

The Logical Credo examines the ambitious theo-logic programme conceived by Anselm of Canterbury nearly a thousand years ago. It clearly defines the logical basis of his theology and uses models to prove its consistency. Anselm’s proof of the existence of God and other theological proofs can thus be precisely examined and reassessed. The following tour through the history of theo-logic analyses, defines and compares the approaches of Plato, Aristotle, the Stoics, Augustine, Descartes, Spinoza, Leibniz and Gödel, and examines the objections of critical philosophers and logicians. A dialectical synthesis identifies the core of historical theo-logic, provides a conclusive ontological language for a contemporary logical metaphysics, and discusses controversial and unexplained characteristics of God. In conclusion, correct definitions for these, based on Anselm’s data, are developed for the first time and substantive proofs are given in an ontological formula.