Leibniz brought into their final form the metaphysical proofs of God’s existence. These had a long history; they begin with Aristotle, or even with Plato; they were formalized by the scholastics, and one of them, the ontological argument, was invented by Saint Anselm. This argument, though rejected by Saint Thomas, was revived by Descartes. Leibniz, whose logical skill was supreme, stated the arguments better than they had ever been stated before. That is my reason for examining them in connection with him.
