Arguments

Classical arguments, formalized and checked by machine. Each page shows the graph, the sources, every proof, and the objections.

• The Ontological Argument Anselm of Canterbury valid

  Therefore that than which nothing greater can be conceived exists in reality.

• The First Way: Argument from Motion Thomas Aquinas valid

  Therefore God exists.

• The Third Way: Argument from Contingency Thomas Aquinas valid, contested

  Therefore God exists.

• Gödel's Ontological Argument Kurt Gödel, in Dana Scott's version valid

  Necessarily, a God-like being exists.

• The Kalam Cosmological Argument William Lane Craig, after al-Ghazali valid

  Therefore the universe has a transcendent cause.

• The Argument from Contingency G. W. Leibniz valid

  Therefore God exists.

• The Moral Argument William Lane Craig valid

  Therefore God exists.

• The Modal Ontological Argument Alvin Plantinga valid

  Therefore a maximally great being exists.

• The Logical Problem of Evil J. L. Mackie valid, contested

  Therefore God does not exist.

• Historical Case for the Resurrection Theos Examples valid

  God raised Jesus from the dead.