Filosofía de la ciencia: ¿Qué significa la autoconsistencia?

Considere el siguiente conjunto de axiomas:

  1. La luna está hecha de queso verde.
  2. Un hombre ha caminado sobre la luna.
  3. Los hombres no pueden caminar con queso.

Este sistema axiomático es inconsistente, porque podemos deducir de 1 y 2 que un hombre ha pisado queso, lo que contradice 3. Ahora considere el siguiente conjunto de axiomas:

  1. La luna está hecha de queso verde.
  2. Un hombre ha caminado sobre la luna.
  3. El queso es delicioso

Este sistema está bien, podemos derivar cosas de él (por ejemplo, “Un hombre ha pisado algo delicioso”), y nunca llegaremos a una contradicción. Entonces se dice que este sistema es autoconsistente , a pesar del hecho de que algunas de sus consecuencias son inconsistentes con, por ejemplo, nuestra comprensión actual de la realidad.

Por lo tanto, un sistema autoconsistente no es necesariamente útil, pero un sistema autoconsistente es necesariamente inútil.