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
https://orcid.org/0000-0002-8934-375X
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
##plugins.themes.bootstrap3.article.details##
Keywords
formal concept analysis, model theory, theoretic networks, classical mechanics, space-time, gravitation
Issue
Section
ARTICLES
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons License.