5 ms·
They are both ontological proofs, yep. Though Godel is using modal logic, which won't be invented for centuries until after Spinoza's time.
by knightoffaith 2y 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 2y agooops, 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 2y agoright, 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.