@veralityy: running a random contingency argument 😭😭 || #atheist #theism #religion #philosophy #fyp || here is the formal s5 as well: AXIOMS • A1 (PSR): ∀x (C(x) → E(x)) • A2 (Dichotomy): ∀x (N(x) ∨ C(x)) • A3 (Contingency): C(U) 11-STEP FORMAL PROOF 1. ∀x (C(x) → E(x)) 2. ∀x (N(x) ∨ C(x)) 3. C(U) 4. E(U) [1,3 MP] 5. ¬∃x (C(x) ∧ Explains(x,U)) 6. ∃x (N(x) ∧ Explains(x,U)) [4,5 DS] 7. ∀x (N(x) → Transcendent(x)) 8. ∀x ((N(x) ∧ Explains(U,x)) → Agent(x)) 9. ◊∃x (N(x) ∧ G(x)) 10. ◊□∃x G(x) → □∃x G(x) [S5 Axiom] 11. □∃x G(x) [9,10 MP] DEFINITIONS • C(x): x is contingent • N(x): x is necessary • E(x): x has explanation • U: Physical universe • G(x): x is God

✦

Open In TikTok:

Region: US

Sunday 23 August 2026 17:51:56 GMT