Theoretical lattices and formal concept analysis, tools for metatheoretic structuralism

##plugins.themes.bootstrap3.article.main##

##plugins.themes.bootstrap3.article.sidebar##

Published 29-03-2023
Mariana Espinosa Aldama
Mario Casanueva López

Abstract

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.

How to Cite

Espinosa Aldama, M., & Casanueva López, M. (2023). Theoretical lattices and formal concept analysis, tools for metatheoretic structuralism. THEORIA. An International Journal for Theory, History and Foundations of Science, 38(1), 45–66. https://doi.org/10.1387/theoria.24078
Abstract 265 | PDF (Español) Downloads 624 XML (Español) Downloads 151

##plugins.themes.bootstrap3.article.details##

Keywords

formal concept analysis, model theory, theoretic networks, classical mechanics, space-time, gravitation

Section
ARTICLES