Una indagación entorno a la dualidad de las lógicas intuicionista y paraconsistente: los teoremas de Glivenko y su versión dual

Simple item page
dc.audiencegeneralPublic
dc.contributorGamboa López, Lydia Deni
dc.contributorJiménez Bandala, Gabriela
dc.contributorNicolás Francisco, Ricardo Arturo
dc.contributor.advisorGamboa López, Lydia Deni; 0000-0002-1575-3254
dc.contributor.advisorJiménez Bandala, Gabriela; 0009-0008-2709-0671
dc.contributor.authorGama Sánchez, Rahiru
dc.date.accessioned2026-04-27T21:27:21Z
dc.date.available2026-04-27T21:27:21Z
dc.date.issued2025-10
dc.description.abstract“Los siglos XIX y XX trajeron consigo cambios importantes para la lógica y las matemáticas, de hecho, la lógica se matematizó y extendió gracias a pensadores como Boole, Frege y Russell. Frege y Russell quisieron encontrar un fundamento de las matemáticas en la lógica clásica, pero, por sí misma, esta también presentaba oportunidades de desarrollo bastante interesantes siendo prueba de ello la teoría de modelos y la teoría de la recursabilidad. La intención de esta investigación ha sido presentar una somera introducción lógica y filosófica al intuicionismo, asimismo, una introducción lógica y filosófica a la paraconsistencia, y principalmente responder a nuestras preguntas establecidas en torno al capítulo 3: se especificó qué es la dualidad, se afirmó y probó que las lógicas paraconsistente e intuicionista son duales y se desarrolló un caso concreto donde se reflejara esta dualidad, esto es, los teoremas de Glivenko para la lógica intuicionista y sus versiones duales paraconsistentes las cuales se presentarón en esta investigación. Este último punto es el de mayor importancia para la tesis, pues refleja relaciones no sólo entre las lógicas intuicionista y paraconsistente, sino de estas para con la lógica clásica, algo que podemos considerar un puente, así, la relaciones parecen ser a simple vista puramente lógicas (llevan ya de por sí relaciones filosóficas y matemáticas por ser la lógica objeto de estudio de ambas disciplinas con sus propias perspectivas y diferencias”.
dc.folio20251028114857-3065-TL
dc.formatpdf
dc.identificator4
dc.identifier.urihttps://hdl.handle.net/20.500.12371/32133
dc.language.isospa
dc.matricula.creator202036765
dc.publisherBenemérita Universidad Autónoma de Puebla
dc.rights.accesopenAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0
dc.subject.classificationHUMANIDADES Y CIENCIAS DE LA CONDUCTA
dc.subject.lccLógica--Lógica simbólica y matemática--1801-
dc.subject.lccLógica, simbólica y matemática--Filosofía
dc.subject.lccInconsistencia (Lógica)
dc.thesis.careerLicenciatura en Filosofía
dc.thesis.degreedisciplineÁrea de Ciencias Sociales y Humanidades
dc.thesis.degreegrantorFacultad de Filosofía y Letras
dc.thesis.degreetoobtainLicenciado (a) en Filosofía
dc.titleUna indagación entorno a la dualidad de las lógicas intuicionista y paraconsistente: los teoremas de Glivenko y su versión dual
dc.typeTesis de licenciatura
dc.type.conacytbachelorThesis
dc.type.degreeLicenciatura
Files
Original bundle
Now showing 1 - 2 of 2
Name:
20251028114857-3065-TL.pdf
Size:
804.31 KB
Format:
Adobe Portable Document Format
Name:
20251028114857-3065-CARTA.pdf
Size:
548.9 KB
Format:
Adobe Portable Document Format
Collections
Tesis de Licenciatura