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.
En otras palabras, todo es demostrable cuando se tiene una contradicción. A los sistemas que de alguna manera evitan esta consecuencia, se los llama sistemas no explosivos, por ejemplo las lógicas paraconsistentes. Un ejemplo de un razonamiento, según el principio de explosión, podría ser:
Las consecuencias obviamente indeseables del principio de explosión son una fuerte razón para querer evitar los sistemas lógicos y formales inconsistentes.
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.
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.
Escribe un comentario o lo que quieras sobre Principio de explosión (directo, no tienes que registrarte)
Comentarios
(de más nuevos a más antiguos)