abovethelawmedia
Region: US
Monday 02 September 2024 14:25:18 GMT
2169
60
1
0
Music
Download
Comments
sanna :
Where's the stretcher
2024-09-02 15:29:34
3
To see more videos from user @abovethelawmedia, please go to the Tikwm
homepage.
![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](/video/cover/7677286204487863565.webp)
