A imutabilidade de Deus em "A República", de Platão, e a análise lógica de Boole

Argumentos longos e complexos constituem um desafio à verificação de sua formação e validade, demandando tempo, atenção e rigor para que sejam testados. Apresentamos, abaixo, um exemplo de como aplicar uma análise lógica em um argumento extenso a fim de verificar sua coerência. O texto foi extraído do Livro II de A República , de Platão, e apresenta um diálogo entre Sócrates e Adimanto, no qual o filósofo de Atenas argumenta que Deus é imutável. Logo após apresentamos a formalização deste argumento realizada pelo lógico George Boole, já no século XIX, a qual revela a impecável forma do raciocínio de Platão. Sócrates — Vejamos agora a segunda regra. Acreditas que Deus seja um mágico capaz de assumir, perfidamente, formas variadas, ora de fato presente e transformando a sua imagem numa infinidade de figuras diferentes, ora enganando-nos e mostrando de si mesmo apenas simulacros sem realidade? Não será antes um ser simples, de todo incapaz de deixar a forma que lhe é própr...