Un estudio semántico de lógicas no clásicas con un enfoque topológico
Date
2024-11
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Benemérita Universidad Autónoma de Puebla
Abstract
“Durante la segunda mitad del siglo XX, lógico-matemáticos como Russell, Whitehead, Gödel, Turing, Kripke, Lewis, Tarski, Lukasiewicz y Heytig realizaron las contribuciones más importantes al área. Con ellos fueron apareciendo los resultados que dotaron a esta disciplina de la fisonomía que presenta en la actualidad, de tal forma que se ha generado gran cantidad de lógicas formales diferentes a la lógica clásica. Esto ha sido posible, en primera, por la facilidad para modificar la sintaxis de cada una de ellas (en sus axiomas, en sus conectivos y en sus reglas de inferencia) y, en segunda, por la aplicación, dentro de las mismas, de conceptos y resultados de las diversas teorías de la matemática (álgebra y topología). La retroalimentación entre la lógica y la matemática es vasta y práctica. Considerando todo lo anterior, en este trabajo se tiene como objetivo realizar un tratamiento topológico a la semántica de la lógica modal, principalmente sobre modelos reflexivos y transitivos, para pasar luego a establecer modelos topológicos sobre espacios preordenados y, por último, a la demostración del teorema de solidez topológico-modal del sistema S4 (todo teorema es fórmula válida) y a la del teorema de completitud para el mismo (toda fórmula válida es teorema)”.
Description
Keywords
Citation
Collections
Document Viewer
Select a file to preview:
Can't see the file? Try reloading