B: A onipotência é contraditória, pois uma das tarefas possíveis que um ser onipotente pode realizar, criar uma pedra que não pode ser movida, implica uma limitação da sua onipotência.
A: Estamos de acordo que x é onipotente se e somente se para todo y, se y é uma tarefa possível, então x pode fazer y?
B: Sim, onipotência é isso.
A: Se uma tarefa y é possível, então há um mundo possivel em que y é feito, certo?
B: Certo.
A: Se esse é um mundo possível, então não há nada nele que seja contraditório, seja uma contradição interna, seja uma contradição entre duas coisas, certo? Caso contrário, será um mundo contraditório e, por isso, impossível.
B: Sim, isso mesmo.
A: Mas um mundo em que houvese uma pedra que não pode ser movida e um ser onipotente não seria um mundo contraditório e, portanto, impossível?
B: Sim, mas o que afirmo ser possível é um ser criar uma pedra que não pode ser movida, ponto. Por que fazer referência ao ser onipotente na investigação sobre se isso é possível?


