Título
Lógicas paraconsistentes genuinas
Autor
JESUS ALEJANDRO HERNANDEZ TELLO
Colaborador
CESAR CEJUDO CASTILLA (Asesor de tesis)
JOSE RAMON ENRIQUE ARRAZOLA RAMIREZ (Asesor de tesis)
Nivel de Acceso
Acceso Abierto
Materias
Resumen o descripción
“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].”
Fecha de publicación
julio de 2018
Tipo de publicación
Tesis de doctorado
Recurso de información
Formato
application/pdf
Idioma
Español
Audiencia
Público en general
Repositorio Orígen
Repositorio Institucional de Acceso Abierto RIAA-BUAP
Descargas
0