Principio de explosión y el estudio de lógicas paraconsistentes

Ponente(s): Irma Yolanda Meza Lepe, Dr. Iván Martínez Ruiz.

El principio de explosión es un principio que satisface la lógica clásica (entre otras lógicas),el cual establece que, ante la presencia de una contradicción, cualquier proposición se puede deducir; esto es, todo es demostrable a partir de una contradicción. Sin embargo, en ocasiones es necesario tener que razonar con información parcialmente inconsistente o contradictoria de forma controlada y discriminatoria. Las lógicas paraconsistentes son sistemas lógicos formales que buscan estudiar la validez lógica "siendo tolerantes a la inconsistencia" y rechazando el principio de explosión. En esta platica presentaremos algunos ejemplos de lógicas paraconsistentes y su importancia.