Una indagación entorno a la dualidad de las lógicas intuicionista y paraconsistente: los teoremas de Glivenko y su versión dual
Files
Date
2025-10
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Benemérita Universidad Autónoma de Puebla
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”.
Description
Keywords
Citation
Collections
Document Viewer
Select a file to preview:
Can't see the file? Try reloading