6 ms·

this looks useful; a modern formalisation: https://eprints.illc.uva.nl/id/eprint/1537/1/MoL-2017-02.text.pdf https://eprints.illc.uva.nl/id/eprint/1537/1/MoL-20

• 082349872349872 3y ago
  starting to get a little clearer; was Gödel's proof inspired by Spinoza's? They both use many of the same mathematical tools...
  • knightoffaith 3y ago
    They are both ontological proofs, yep. Though Godel is using modal logic, which won't be invented for centuries until after Spinoza's time.
    • 082349872349872 3y ago
      oops, I was reading the "contingent things must be dependent upon necessary things" as implying modality, but you're right that if it's there it's only implicit.
      • knightoffaith 3y ago
        right, there is something modal going on here, but in terms of the formal mathematical tool of modal logic, Spinoza isn't using them, though I think you understood that from the start.