A partir de Mackie se ha desarrollado un importante debate filosófico, sobre cuál es la mejor forma de plantear la paradoja de la omnipotencia mediante lógica formal.