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. In einem 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.