@Hoover93265175 @SimonSchfe45703 Do you mean Gödel's ontological argument? It does use a kind of modal logic, but it is incomparably more complex than the simple logic we're dealing with here. In fact, the full machinery for the proof takes 200 pages to be
450 followers
450 followers
@TradCatholicMan @Zonkeyhote @Iajones110 @antitheistdad @palmer_mj The only really promising approach of proving that God exists with modal logic is by formalizing Anselm's ontological argument. Fitting does that in his book, but it is insanely difficult a
1,217 followers
@lastpositivist I think this uses third-order modal logic: https://t.co/5VCArX9xfk
470 followers
@rationalexpec @agpatriota Nesse livro do Fitting ele apresenta a prova https://t.co/12gs88FlaD