JL Mackie fue un defensor del problema lógico del mal. El argumento trata de mostrar que la existencia de Dios es lógicamente incompatible con la del mal, y dado que el mal existe, Dios no existe. Lo que Dios quiere decir aquí es el Dios de las religiones abrahámicas que posee los siguientes atributos: omnipotencia, omnisciencia y benevolencia. Según el proponente del problema lógico del mal, el siguiente conjunto es contradictorio:
P1: Dios es omnipotente
P2: Dios es omnisciente
P3: Dios es benevolente
- Si se celebraran elecciones democráticas para elegir a un dios de una religión monoteísta como el dios supremo, ¿por quién votarían los ateos?
- ¿Qué debería hacer uno a los cristianos que juzgan y critican a los ateos solo porque no creen en un Dios sádico?
- ¿Cuál es la diferencia entre ateos y teístas?
- Según los teístas, ¿por qué las personas se vuelven ateas?
- ¿Por qué le importaría a un ateo si otros celebran actividades religiosas públicamente?
P4: el mal existe
Como puede ver, este conjunto no es explícitamente contradictorio (ya que una proposición no es la negación de otra, o no se puede demostrar fácilmente que implica la negación de otra), y JL Mackie se dio cuenta de que para extraer la contradicción, debe Demuestre que al menos una de las tres primeras proposiciones implica necesariamente la negación de la cuarta. Eso no es nada fácil de hacer; De hecho, nadie ha podido hacerlo. Gracias al trabajo de filósofos como Alvin Plantinga, la versión lógica del problema del mal ahora es considerada poco sólida por casi todos los filósofos que se especializan en la filosofía de la religión.