@Jack_JC_@analyticatheism It's pretty clear the first sentence of your initial response was suppose to include Tracey's article (otherwise, why post that under the original tweet?) which, as I pointed out, critiques (19).
I don't personally care about your anecdotal evidence, thank you.
Atheism’s first problem is the simplest.
Why is there something rather than nothing?
The universe had a beginning. Science is clear on that.
Out of nothing, nothing comes.
So what caused the cosmos and set its laws in motion?
Atheism usually answers “We don’t know yet” or reaches for an unobservable multiverse. That’s not an explanation. It’s a hope that naturalism will someday save itself.
Logic points to an uncaused Cause outside of space and time.
@MateusMBruno Só conseguiu fama porque era um dos lógicos mais brilhantes de seu tempo. Matou a teoria dos conjuntos do Cantor, escreveu o Principia, praticamente fundou a tradição analítica com o Moore, ganhou o Nobel de literatura em 1950... preciso continuar?
@SimoniesOfLotus mas ele tá certo. a simples negação da existência de algo implica a possibilidade desse algo existir. e se um deus, qualquer que fosse, se fosse onipotente e tivesse a chance de existir, existiria, então ele existe necessariamente. esse é o Deus a quem os cristãos servem.
@zuyamaldito Em S5, R é uma relação de equivalência, logo αRω ⊃ ωRα. Portanto ωRα e pela semântica de □Triv, Triv é verdade em α, uma conclusão, na minha opinião, absurda.
@zuyamaldito semântica de Kripke padrão e b) se ela fosse verdade, então existe um mundo ω (com αRω, onde α é o mundo atual) onde P ∧ ~P obtém. Seja Triv a proposição "o trivialismo (∀p(p)) é verdadeiro". Por explosão, Triv é verdade em ω e, portanto, □Triv também.