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

• Espinosa Aldama, Mariana ^[1] ; Casanueva López, Mario ^[1]
  1. [1] Universidad Autónoma Metropolitana

     Universidad Autónoma Metropolitana

     México

     
• Localización: Theoria: an international journal for theory, history and foundations of science, ISSN 0495-4548, Vol. 38, Nº 1, 2023, págs. 45-66
• Idioma: español
• Títulos paralelos:
  • Theoretical lattices and formal concept analysis, tools for metatheoretic structuralism
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    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.

  • English

    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.