marte's modal-ontological argument

02 Jun, 2025

my argument for God starts with the coherence of maximal positive properties and derives the necessary existence of a God-like being, which we could, and I personally do, reasonably identify as "God" using formal logic in the S5 system. i precisely dug through Gödel and Anderson's arguments & their objections, and patched the known logical and metaphysical gaps to form a more resilient structure that is logically tight..

axioms:

1. ∀ϕ [P(ϕ) → □P(ϕ)]

2. ∀x [G(x) ↔ ∀ϕ (P(ϕ) → ϕ(x))]

3. P(NE)

4. ess(ϕ, x) ↔ ϕ(x) ∧ ∀ψ [ψ(x) → □∀y (ϕ(y) → ψ(y))]

5. NE(x) ↔ ∀ϕ [ess(ϕ, x) → □∃y ϕ(y)]

6. P(G)

7. ◇∃x G(x)

theorem (conclusion):

8. □∃x G(x)

9. ∴ ∃x G(x)

in natural language: positive properties are necessarily positive. god possesses all and only positive properties. necessary existence is a positive property. essence entails all properties. necessary existence is having all essences instantiated necessarily. it is possible that a God exists. therefore, God necessarily exists.

@luuchrist on Discord DM me for any objections or to further discuss, love