Lógicas paraconsistentes genuinas

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorCejudo Castilla, César
dc.contributorArrazola Ramírez, José Ramón Enrique
dc.contributor.advisorCEJUDO CASTILLA, CESAR; 205678
dc.contributor.advisorARRAZOLA RAMIREZ, JOSE RAMON ENRIQUE; 15968
dc.contributor.authorHernández Tello, Jesús Alejandro
dc.creatorHERNANDEZ TELLO, JESUS ALEJANDRO; 165495
dc.date.accessioned2020-10-16T17:09:59Z
dc.date.accessioned2023-01-11T21:59:04Z
dc.date.available2020-10-16T17:09:59Z
dc.date.available2023-01-11T21:59:04Z
dc.date.issued2018-07
dc.description.abstract“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].”es_MX
dc.folio377818Tes_MX
dc.formatpdfes_MX
dc.identificator1es_MX
dc.identifier.urihttps://ecosistema.buap.mx/ecoBUAP/handle/ecobuap/360
dc.language.isospaes_MX
dc.matricula.creator214570945es_MX
dc.rights.accesopenAccesses_MX
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0es_MX
dc.subject.classificationCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRAes_MX
dc.subject.dbgunamLógica matemática no clásicaes_MX
dc.subject.lccLógica simbólica y matemáticaes_MX
dc.subject.lccSistemas lógicoses_MX
dc.subject.oclcPrincipio de no contradicciónes_MX
dc.thesis.careerDoctorado en Ciencias (Matemáticas)es_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticases_MX
dc.titleLógicas paraconsistentes genuinases_MX
dc.typeTesis de doctoradoes_MX
dc.type.conacytdoctoralThesises_MX
dc.type.degreeDoctoradoes_MX
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
377818T.pdf
Size:
701.79 KB
Format:
Adobe Portable Document Format
Download
Collections
Tesis de Doctorado