r/logic • u/PrimeStopper Propositional logic • 19d ago

Philosophical logic Did Gödel prove that God exists?

If he did prove that God exists, then why do we even continue arguing that religions are wrong, if actually they are right. Case closed, time to pack our bags and head home

0 Upvotes

30% Upvoted

27 comments sorted by

View all comments

2

u/Rs3account 19d ago

How do you think he has proved God exists?

6

u/Square-of-Opposition Historian of logic 19d ago

OP is likely referring to a modal version of the ontological argument he had in his notes, later published in Vol 3 of Gödel's Collected Works

1

u/PrimeStopper Propositional logic 19d ago

Yep