Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

2
  • As a side note, accepting the axioms in Gödel's ontological argument leads to a so-called "modal collapse" (as coined by Jordan Sobel), in which all contingent or possible truths must be necessarily true. Sobel's argument was formalized and computer-verified in 2014, confirming its validity. Commented Jul 15, 2019 at 20:16
  • 5
    I also think the gist is not that philosophy is different, but that all other empirical fields are different to mathematics. Physics also has no proofs with the same rigor of mathematics - in the end we use Occams Razor more often than not to select a simpler theory in favor of a more complicated one, but that is just a best-effort which will hopefully lead us somewhere.
    – Falco
    Commented Jul 16, 2019 at 13:34