El principio de explosión afirma que todo se deriva de una contradicción . Es decir, cualquier declaración de la forma “Si la Cosa 1 es verdadera, entonces la Cosa 2 es verdadera” en el caso especial donde la Cosa 1 es una contradicción.
Mientras que otros respondedores han hecho un buen trabajo respondiendo simbólicamente a esta pregunta, me quedaré con una explicación basada en texto con la esperanza de acercarme a lo que generalmente se entiende por “intuitivo” (es decir, no requiere información técnica).
En este momento, dependiendo de dónde y cuándo esté leyendo esto, exactamente una de estas oraciones es verdadera:
- ¿Cuál es el factor común más alto?
- ¿Qué aprenderías en un curso de análisis numérico y qué tan difícil sería para alguien que odia las pruebas?
- ¿Cuál es el significado del teorema de Artin-Wedderburn?
- Cómo explicar el infinito
- ¿Qué es [matemáticas] 1 ^ {\ infty} [/ matemáticas]?
- Hoy es Jueves.
- Hoy no es jueves.
Esto significa que una de estas siguientes oraciones también es cierta:
- Como hoy es jueves, mañana es viernes.
- Como hoy no es jueves, mañana no es viernes.
Esto tiene sentido, ¿verdad?
Ahora imagine si hoy fuera simultáneamente jueves y no jueves. No me refiero en el sentido especial de que podría ser el jueves en un lado de la línea internacional de fechas y el viernes en el otro, o en el caso de un límite de zona horaria a medianoche para que la mitad de su cuerpo esté en un lugar donde es jueves y la otra mitad está en un lugar donde es viernes. Me refiero a una situación en la que todo tu cuerpo está simultáneamente en jueves y algún otro día.
En realidad no puedes hacerlo, porque la idea de que dos días separados sucedan simultáneamente en el mismo lugar es contradictoria. Es lógico pensar que si se rompe la regla básica de “Solo puede pasar un día a la vez”, tampoco hay mucho más en lo que podamos confiar.
Esto no establece el hecho de que se pueda usar una contradicción para probar lo que queramos. Establece el hecho de que cualquier argumento que incluya una contradicción es un argumento inútil porque se basa en una suposición errónea.
