"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 anschliessenden 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 unstrittene ungeklärte Gotteseigenschaften. Für diese werden abschliessend anhand von Anselms Daten erstmals korrekte Definitionen entwickelt und stichhaltige Beweise im ontologischen kalkül gegeben." --