Consistencia lógica
De Wikipedia, la enciclopedia libre
La consistencia lógica es una propiedad de un conjunto de axiomas. Se dice que un conjunto de axiomas es consistente si a partir de él no puede deducirse simultáneamente una proposición (p) y su contraria (¬p, no-p). Por el teorema de incompletitud de Gödel sabemos que para sistemas de una cierta complejidad dicha propiedad está relacionada con la de completitud.
Referido a un argumento es la necesidad de que todas las premisas tengan que ser necesariamente y a la vez, como producto, todas verdaderas, para que el argumento, si es consistente, pueda ser válido o no válido.
Referido al discurso la consistencia tiene que ver con que las implicaciones lógicas del mismo no sean autocontradictorias.