Duas faces do fatalismo lógico: O argumento do dominador de Diodoro Cronos e a batalha naval de Aristóteles

O argumento do Dominador de Diodoro Cronos e o argumento determinista tratado por Aristóteles no De Interpretatione 9 podem ser considerados os argumentos fundadores das teses do determinismo e do fatalismo lógicos. Segundo estas teses, podemos provar por meios puramente lógicos que os eventos no mundo e as ações humanas, respectivamente, não podem ocorrer diferentemente do modo como efetivamente ocorrem. Por meio da análise do argumento determinista do DI 9 e de algumas propostas de reconstrução do Dominador, acreditamos ter chegado a um núcleo de pressupostos comuns a ambos. Este núcleo seria composto pelo princípio da necessidade do passado, o princípio da bivalência, a concepção da verdade como correspondência e certas acepções sobre o tempo. A partir da análise destes princípios, concluimos que o estatuto estritamente lógico concedido a estas teses não é correto, uma vez que ambas são obtidas a partir de argumentos que dependem intrinsecamente de elementos extralógicos embutidos nos princípios utilizados.