La computadora como laboratorio filosófico: experimentos y herramientas para el modelado de sistemas reflexivos

• Autores: Perez Sbarato, Rocío
• Año de publicación: 2026
• Idioma: español castellano
• Tipo de recurso: tesis de grado
• Colaborador/a o director/a de tesis: Blanco, Javier Oscar
• Materia: Logic; Abstraction; Teoría de conjuntos no bien fundada; Teoría de conjuntos ejecutable; Representaciones mediante grafos; Modelado con tipos de datos en Haskell; Estructuras autorreferenciales; Paradojas; Non-well-founded set theory
• Institución: Universidad Nacional de Córdoba

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2026.
Perez Sbarato, Rocío. Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación; Argentina
Tomando a las paradojas como casos paradigmáticos de sistemas reflexivos, el objetivo principal de esta investigación es emplear la computadora como una herramienta para explorar su estructura referencial. En primer lugar, se analizan los antecedentes en el estudio de la composición de las paradojas. En segundo lugar, se programa en Haskell la librería Hypersets a partir del modelado lógico de la teoría de conjuntos no bien fundados. En tercer lugar, se utiliza esta herramienta para visualizar la estructura referencial de un grupo representativo de las paradojas. Finalmente, se discuten posibles extensiones y limitaciones de los modelos propuestos, proyectando un marco operativo prometedor para el análisis de fenómenos reflexivos.
The principal goal of this investigation is to employ the computer as a tool for exploring the referential structure of paradoxes, understood as paradigmatic cases of reflexive systems. Firstly, the relevant literature on the compositional study of paradoxes is reviewed. Secondly, the Hypersets library is implemented in Haskell based on the logical modeling of non-well-founded set theory. Thirdly, this tool is used to visualize the referential structure of a representative group of paradoxes. Finally, the limitations and possible extensions of the proposed models are discussed, outlining a promising operational framework for the analysis of reflexive phenomena.
Perez Sbarato, Rocío. Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación; Argentina