Re: Formalization, Mechanization and Automation of Godel’s Proof of God’s Existence -
09-08-2013, 08:17 AM
Amazing. The faihtful keep finding proofs for God everywhere. This is more detailed than the stripped down Anselm-ized Ontological Argument taught to our Bible class...
* Every precisely stated proposition is either true or false.
* Any premise that implies or creates a contradiction is itself false and the reserve true (EX: All cats are black - All cats are NOT black).
With that in mind...
Premise 1 - If God exists in reality, then He is greater than a god in concept (because He is more powerful and can do more things than one that doesn't exist).
Premise 2 - If God exists in concept only, then it is the case that a concept must be stronger than the real God (since he does not exist).
Premise 3 - But it is the case that God in reality MUST logically be stronger than a god of imagination.
~ Therefore, if only to avoid self-contradiction, God must exist in reality!
AMEN!!!
|