Univalence and Ontic Structuralism
History and Philosophy of Physics
2024-07-22 v1 Logic
Abstract
The persistent challenge of formulating ontic structuralism in a rigorous manner, which prioritizes structures over the entities they contain, calls for a transformation of traditional logical frameworks. I argue that Univalent Foundations (UF), which feature the axiom that all isomorphic structures are identical, offer such a foundation and are more attractive than other proposed structuralist frameworks. Furthermore, I delve into the significance in the case of the hole argument and, very briefly, the nature of symmetries.
Cite
@article{arxiv.2407.14238,
title = {Univalence and Ontic Structuralism},
author = {Lu Chen},
journal= {arXiv preprint arXiv:2407.14238},
year = {2024}
}