Andrew M. Cavallo

In 2020 I published a book entitled Gödel's God Theorem, named for the Gödel-Scott Ontological Argument or, as I refer to it in the book, the Gödel-Scott System (GSS). But as a matter of actual fact, the book showcases four interlinking Leibnizian arguments for the necessary and unique existence of God. I say "unique" because it is fairly easy to derive a monotheism theorem from GSS.

The four arguments in the book are as follows:

1. GSS. A formalization of Leibniz's Ontological Argument (LOA) that axiomatizes a monadological notion of positiveness, where a positive property appears to be a conjunction of Leibnizian perfections.


2. ◇-Cosmological Argument (◇CA). My streamlined version of Leibniz's Cosmological Argument (LCA).


3. A Possible Worlds Argument (PWA). An ingenious little argument taken directly from Leibniz.


4. A Diagonal Eternal Truths Argument (DETA). My own invention that combines, on the one hand, Cantorian diagonalization and Gödelian incompleteness and, on the other hand, Leibniz's Eternal Truths Argument.