Retículos teóricos y el análisis de conceptos formales, herramientas para el estructuralismo metateórico

Abstract

Proponemos aprovechar las metodologías computacionales del análisis de conceptos formales para representar y estudiar la estructura conceptual de las teorías axiomatizadas. Este ejercicio se practicó al comparar los atributos de más de 44 modelos teóricos de teorías del espacio-tiempo y la gravitación. Los retículos pueden explorarse en visualizaciones interactivas conocidas como macroscopios que resaltan relaciones de especialización y teorización, ordenamientos jerárquicos, agrupaciones y clases de componentes. En este texto ejemplificamos con la reconstrucción de la mecánica clásica de partículas, las teorías del espacio-tiempo y la gravitación.; We propose to take advantage of the computational methodologies of formal concept analysis and network visualization to represent and study the internal structure of axiomatized theories. This exercise was put into practice by comparing more than 44 theoretical models of space-time and gravitation. The lattices can be explored with interactive visualizations known as macroscopes that highlight relations of specialization, theorization, hierarchical orderings, communities and classes of components. In this text we exemplify with the reconstruction of classical particle mechanics, theories of space-time and gravitation.