Un estudio de la negación en lógica paraconsistentes

Ponente(s): Miriam Lizbeth Rodríguez Rolón, Dr. Iván Martínez Ruiz
Las lógicas paraconsistentes son sistemas lógicos que nos permiten trabajar con teorías inconsistentes que no son triviales. Una de las formas de hacerlo es restringiendo el principio de no contradicción, el cual es válido en lógica clásica (y en otras teorías formales) y establece que una proposición y su negación no pueden ser verdaderas al mismo tiempo. Lo anterior nos hace suponer que el significado de la negación y sus propiedades en lógicas paraconsistentes deben presentar alguna variante con respecto a la negación en lógica clásica. En esta platica presentaremos algunos aspectos importantes que se deben considerar al estudiar el significado de la negación en lógicas paraconsistentes.