Una paradoja en lógica es una contradicción que tiene el estatus de una conclusión lógicamente correcta y, al mismo tiempo, es un razonamiento que conduce a conclusiones mutuamente excluyentes. El error lógico de la paradoja se explica por la elección incorrecta de las premisas lógicas , por ejemplo, cuando se trata de temas que no tienen una definición clara (Ver la flecha de Zeno ).
Hay tales variedades de paradojas lógicas como la aporía y la antinomia .
La aporía se caracteriza por la presencia de un argumento que contradice la opinión obvia, generalmente aceptada, el sentido común . Antinomia: la presencia de dos juicios contradictorios, supuestamente igualmente comprobables.