Lógicas paraconsistentes genuinas

“La definición de Paraconsistencia se fundamenta en rechazar o restringir el Principio de no Contradicción. En la lógica se ha optado por restringir este principio dando así lugar a la Lógica Paraconsistente. Debido a que no existe unicidad en la formulación del Principio de no Contradicción, surge un problema entre los lógicos para proponer una restricción a este principio. Sin embargo, se encuentran dos formas ampliamente aceptadas por la comunidad científica involucrada para formular esto. La gran mayoría lo hace diciendo que: A partir de hipótesis contradictorias sea posible deducir cualquier afirmación, a esto lo llaman Contradicción por Explosión(EC); otro grupo afirma que si se niega la conjunción de una proposición y su negación lo que se debe obtener es algo verdadero, a esta forma se le llama Ley de No Contradicción(NC). Una agravante a esta situación yace en que ambas formulaciones son independientes en el sentido de que la exigencia de una no conduce a la otra y viceversa. Debido a esta problemática Jean-Yves Béziau propone estudiar aquellas lógicas que restringen ambas formulaciones y define así a las, Lógicas Paraconsistentes Genuinas. Para definir la noción de Lógica Paraconsistentes Genuina basta que el lenguaje contenga los conectivos de negación y conjunción, Jean-Yves Béziau en [8].