"let G = `` God exists `` 1 . G - > [ ] G ? G implies G is necessarily true 2 . ~ [ ] ~G ? it is possible that G is true 3 . [ ] G - > G ? same as 1 , G being necessarily true implies G is true 4 . ~ [ ] G - > [ ] ~ [ ] G ? ~ [ ] G implies ~ [ ] G is necessarily true ( same app from 1 ) 5 . [ ] G v ~ [ ] G ? either [ ] G is is true or not ( excluded middle ) 6 . [ ] G v [ ] ~ [ ] G ? Substitution from 4 and 5 7 . [ ] ~ [ ] G - > [ ] ~G ? flip 4 ( as in flipping 1 to get 3 ) 8 . [ ] G v [ ] ~G ? Substitution from 6 and 7 9 . [ ] G ? from 2 , we can eliminate [ ] ~G from 8 10 . G ? from 3"
"let me try to translate into words 1. if there is a god in this world , there is a god in all worlds 2. there being a god is a possibility 3 . If there 's a god in all worlds , there 's a god in this one 4 . There not being a god in all worlds implies that there 's is n't a god in any world ( all or nothing ) 5 . There is either a god in all worlds or there is n't a god in all worlds 6. from 4,5 there either is a god in all worlds or no god in any world 7. if there 's no god in this world then there 's not a god in all worlds 8 . There 's either a god in all worlds or there is no god in any world . 9 . Since god is a possibility we know the statement < there is no god in any world > is false . 10 . Since there 's a god in all worlds there 's a god in this one from 3 Is this the right interpretation ? If it is there is one flaw in it . # 9 is flawed . Just because there 's a possibility of a god does n't mean that there is a god in some world , just that there 's a possibility of him being in some world ."
"we can eliminate [ ] ~G from 8 10 . G ? from 3"
"let me try to translate into words"