What logical system does Gödel use in his formal argument for God using modal logic?

• GoedelGod

  6 432 0.0 TeX

  Formalizations of Gödel's Ontological Proof of God's Existence

  

There's not really any doubt that his argument can at least be made precise in a rigorous formal system. You can look at formalization of Gödel's argument that are computer verifiable. Here is for instance a formalization of Dana Scott's version of Gödel's proof in Coq: https://github.com/FormalTheology/GoedelGod/blob/master/Formalizations/Coq/GoedelGod_Scott. You might also look at papers in this repository. Where this is doubt are the premises and implications/interpretation of what the argument actually shows in relation to theism.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project