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, ...