Gödel's God Theorem: Catholic Edition

By Andrew M. Cavallo

My System of Basic Catholic Philosophy (SBCP) employs a family of computer-verified ontological arguments for the necessary existence of God (FCVGOA), including those of Scott, Fitting, and Benzm?ller.

The present work offers:

An intuitive introduction to the computer-verified G?del-Scott proof of the necessary existence of God (GSP)A Monotheism TheoremAn argument from eternal truths via diagonalization, G?delian incompletenessA solution to modal collapse that resolves thorny issues at the intersection of mind, matter, and free willThe ♢-Cosmological Argument, which pivots on GSPAn argument for the infallibility of the Catholic Church that clarifies the relation between the Bible and Apostolic TraditionA Trinitarian treatment of the GSP axiomsMuch more.

G?del's God Theorem: Catholic Edition covers a lot of ground -- but it is only one facet of SBCP. SBCP is a much larger systematic effort to defend the immutable truths of Catholicism via mathematical and philosophical innovation.

An intensional higher-type modal logic (IHTML) together with a possible worlds structure undergirds SBCP, FCVGOA. The development of IHTML is due to Carnap, Montague, Gallin, and Fitting. Unlike Fitting, I reject Russell's Theory of Definite Descriptions. I believe that Russell's treatment of definite descriptions encounters the same problem as the medieval doctrine nihil sunt nullae proprietates.

• Format: Paperback
• Language: English
• ISBN: B08FRNL137
• ISBN13: 9798675893850
• Release Date: August 2020
• Publisher: Independently Published
• Length: 46 Pages
• Weight: 0.22 lbs.
• Dimensions: 0.1" x 6.0" x 9.0"