Logisches Credo

Das Logische Credo befasst sich mit dem anspruchsvollen Theologik-Programm, das Anselm von Canterbury vor fast tausend Jahren konzipierte. Es präzisiert die logische Basis seiner Philosophie und weist ihre Konsistenz durch Modelle nach. Sein Beweis der Existenz Gottes und andere theologische Beweise können so genau überprüft und nachgerechnet werden. Im anschließenden Gang durch die Theologik-Geschichte werden Ansätze von Platon, Aristoteles, Stoikern, Augustinus, Descartes, Spinoza, Leibniz und Gödel analysiert, präzisiert und verglichen und Einwände kritischer Philosophen und Logiker behandelt. Eine dialektische Synthese ermittelt dann den Kern der historischen Theologik, stellt eine beweiskräftige ontologische Sprache für eine aktuelle logische Metaphysik bereit und diskutiert umstrittene ungeklärte Gotteseigenschaften. Für diese werden abschließend anhand von Anselms Daten erstmals korrekte Definitionen entwickelt und stichhaltige Beweise im ontologischen Kalkül gegeben.****************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.