Gödel’s God Theorem

Part I of this book presents four interlinking arguments for God’s necessary and unique existence:

• The Gödel–Scott System (GSS)
• The ♦–Cosmological Argument (♦CA)
• A Possible Worlds Argument (PWA)
• A Diagonal Eternal Truths Argument (DETA)

The Gödel–Scott System (GSS) is a formalization of Leibniz’s Ontological Argument. It axiomatizes a philosophical notion of positiveness, where a positive property appears to be a conjunction of Leibnizian perfections.

The ♦CA is Andrew’s streamlined version of Leibniz’s Cosmological Argument. It avoids the metaphysical baggage of the Kalam Argument, which relies on Aristotelian philosophy.

The Possible Worlds Argument (PWA) is a straightforward yet ingenious contribution of Leibniz.

Finally, the Diagonal Eternal Truths Argument (DETA) is Andrew’s attempt to use Gödel’s Incompleteness Theorems as evidence for mathematical Platonism—and then to use Platonism, in turn, to support a Leibniz-style eternal truths argument.

Part II is an assemblage of notes on higher-order logic (HOL), beginning with the syntax of classical HOL, developed via the typed lambda calculus, and then proceeds to its semantics under both full and Henkin models. From there it treats proof systems and meta-theorems, equality and extensionality, and then extends the framework to modal logic: introducing a base type for worlds, constant and varying domain semantics, Kripke frames, and Henkin/Kripke models. The part concludes with the notions of rigidity and flexibility in designation. These chapters do not attempt an exhaustive treatment; they are notes on a subject in which Andrew remains as much a student as a teacher.

Book Details:
80 pages
Print Book: US Letter (8.5 × 11 in / 216 × 279 mm)
Standard Black & White
60# Cream — Uncoated
Paperback Perfect Bound
Matte Cover