Gamboa López, Lydia DeniJiménez Bandala, GabrielaNicolás Francisco, Ricardo ArturoGamboa López, Lydia Deni; 0000-0002-1575-3254Jiménez Bandala, Gabriela; 0009-0008-2709-0671Gama Sánchez, Rahiru2026-04-272026-04-272025-10https://hdl.handle.net/20.500.12371/32133“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”.pdfspaHUMANIDADES Y CIENCIAS DE LA CONDUCTALógica--Lógica simbólica y matemática--1801-Lógica, simbólica y matemática--FilosofíaInconsistencia (Lógica)Tesis de licenciaturaopenAccess