El principio de inferencia ex contradictione quodlibet, según el cual una vez que aparece una contradicción (tanto P como ¬P) en un sistema deductivo, cualquier proposición Q puede deducirse; las contradicciones conducen a la trivialidad lógica en relaciones de consecuencia clásicas.

Principio

Si un sistema deriva P y ¬P, entonces para cualquier Q el sistema deriva Q; una sola contradicción implica conclusiones arbitrarias bajo las reglas de implicación clásicas.

Demostración

Dadas las premisas contradictorias 'Alicia está en casa' y 'Alicia no está en casa' en un cálculo proposicional clásico, se puede derivar una oración no relacionada como 'La luna está hecha de queso' mediante derivaciones estándar que explotan la contradicción.

Aplicación incorrecta

Aplicar explosión sin verificar la lógica subyacente es un uso indebido en contextos paraconsistentes donde las contradicciones se toleran pero no implican cualquier cosa; asumir explosión universalmente oculta relaciones de consecuencia alternativas.

Consecuencia

Subraya el papel crítico de la consistencia en los sistemas clásicos: para evitar la trivialidad, toda teoría sana debe bloquear la derivación de contradicciones o reformularse en una lógica no explosiva.

Inversión

Rechazar la explosión conduce a lógicas paraconsistentes en las que las contradicciones pueden existir sin colapsar el sistema en trivialidad; rechazar la explosión reestructura las reglas de consecuencia para localizar los efectos de las contradicciones.

Límite

Se cumple en relaciones de consecuencia clásicas y en la mayoría de sistemas formales estándar que adoptan monotonicidad y reglas estándar para la negación; no se cumple en lógicas paraconsistentes o en algunas subestructurales que modifican la consecuencia.

Tensión semántica

Existe tensión entre el deseo de preservar la fuerza inferencial clásica (que implica explosión) y el deseo de modelar teorías inconsistentes pero informativas (que motiva alternativas paraconsistentes que bloquean la explosión).

Síntesis

El Principio de Explosión afirma que la consecuencia clásica hace que las contradicciones sean desastrosas: de P y ¬P se sigue cualquier cosa; para resistir ese resultado hay que cambiar la relación de consecuencia o el tratamiento de la negación.