Timeline for Gödel's ontological proof & Benzmüller's work
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 13, 2020 at 11:42 | comment | added | Burak | Aside from Kant's objection on ontological arguments, I think the strongest criticism to Gödel's ontological proof is that his axioms imply modal collapse, that is, $\varphi \rightarrow \square \varphi$, which somehow undermines the point of modal logic. (That Gödel's axioms imply modal collapse was also verified in another work of Benzmüller and Paleo.) | |
| Aug 12, 2020 at 22:09 | history | edited | Timothy Chow | CC BY-SA 4.0 |
added 57 characters in body
|
| Aug 12, 2020 at 22:03 | history | answered | Timothy Chow | CC BY-SA 4.0 |