Principio de explosión

El principio de explosión es un principio de la lógica clásica y de algunos otros sistemas lógicos (por ejemplo, la lógica intuicionista) según el cual de una proposición contradictoria se puede deducir cualquier otra proposición. Al principio de explosión también se le conoce por medio de las locuciones latinas ex falso quodlibet y ex contradictione (sequitur) quodlibet, que significan «de lo falso (se sigue) cualquier cosa» y «de una contradicción (se sigue) cualquier cosa», respectivamente. Con base en el principio de explosión, todo es demostrable cuando se tiene una contradicción; esto se conoce como explosión deductiva.

La primera prueba de este principio fue ofrecida en el  por el filósofo francés Guillaume de Soissons. Debido al principio de explosión, la presencia de una contradicción (inconsistencia) en cualquier sistema formal axiomático es desastrosa, pues implica que cualquier premisa puede ser demostrada, trivializando los conceptos de verdad y falsedad. El principio de explosión adquirió particular relevancia a principios del , con el descubrimiento de diversas contradicciones como la Paradoja de Russell en los fundamentos de las matemáticas que amenazaban toda la estructura formal de las matemáticas. Matemáticos como Gottlob Frege, Ernst Zermelo, Abraham Fraenkel y Thoralf Skolem trabajaron para revisar la teoría de conjuntos y eliminar dichas contradicciones, lo que resultó en la moderna teoría de Zermelo-Frenkel.

Funcionamiento del principio de explosión 
Como ejemplo del principio, considérense dos afirmaciones contradictorias: "Todos los limones son amarillos" y "No todos los limones son amarillos". Supóngase que ambas afirmaciones son verdaderas. Si ese es el caso, se puede demostrar cualquier cosa, por ejemplo, la afirmación de que "los unicornios existen", utilizando el siguiente argumento:

 Sabemos que "No todos los limones son amarillos", ya que se ha asumido que es cierto.
 Sabemos que "Todos los limones son amarillos", ya que se ha asumido que es cierto.
 Por lo tanto, el enunciado de dos partes "Todos los limones son amarillos Ó los unicornios existen" también debe ser verdadero, ya que la primera parte "Todos los limones son amarillos" del enunciado es verdadera (ya que se ha supuesto).
 Sin embargo, como sabemos que "No todos los limones son amarillos" (como se ha supuesto), la primera parte es falsa, y por lo tanto la segunda parte debe ser verdadera para que el enunciado de dos partes sea verdadero, es decir, los unicornios existen.

El principio de explosión se puede expresar formalmente como:

O en la notación del cálculo de secuentes:

donde A y B son metavariables que pueden ser reemplazadas por cualquier proposición o fórmula. 

Las consecuencias obviamente indeseables del principio de explosión son una fuerte razón para querer evitar los sistemas lógicos y formales inconsistentes. En una solución alternativa a estos problemas, algunos lógicos han ideado teorías alternativas de la lógica llamada lógica paraconsistente, que eliminan el principio de explosión al admitir la posibilidad de contradicciones verdaderas. Estas permiten demostrar algunas afirmaciones contradictorias sin afectar a otras.

Demostración 

El principio de explosión no es en realidad un principio, sino una regla derivada, es decir que se puede demostrar a partir de las reglas básicas de la lógica proposicional.

Véase también 
 Principio de no contradicción
 Principio del tercero excluido
 Dialeteismo
 Lógica paraconsistente
 Paradojas de la implicación material
 Razonamiento deductivo
 Reducción al absurdo
 Trivialismo

Referencias 

Frases lógicas latinas
Teoremas de la lógica proposicional
Lógica