While scholars of Leibniz’s thought are certainly familiar with his arguments for the existence of God, it has only recently become more widely known that the past century’s greatest logician, Kurt Gödel, also proposed an argument for the existence of God that bears striking similarities to Leibniz’s ontological arguments. In this paper, I shall sketch the arguments of Leibniz and Gödel, commen...