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.
What problem does this paper attempt to address?
This paper discusses the application of the principle of equivalence (Univalence Axiom), a fundamental concept in type theory, in metaphysical structuralism, particularly in the philosophy of physics. The author points out that traditional logical frameworks struggle to rigorously articulate the metaphysical structuralism where the structural entities are superior to the entities themselves, while the principle of equivalence provides a new foundation for this. The principle of equivalence states that isomorphic structures are identical, which aligns with the core view of mathematical structuralism.
The paper first introduces the principle of equivalence and homotopy type theory (HoTT), a novel foundation of logical mathematics that treats all entities as objects with types, and isomorphic types as identical. Then, it compares the principle of equivalence with other forms of mathematical structuralism, such as generalism and algebraic structuralism, and points out the problems of these methods, particularly the inability to eliminate distinctions between isomorphic structures.
The author proposes that the principle of equivalence can serve as a scientific foundation for structuralism and contribute to clarifying philosophical issues in physics, such as the hole argument and symmetry. The hole argument typically relies on distinctions between models, but the principle of equivalence suggests that models related by homeomorphism are actually the same, challenging this argument. Furthermore, the principle of equivalence can be used to address a broader range of physical models related to symmetry, emphasizing that symmetry is a result of redundancies.
The paper also discusses interpretations of the principle of equivalence and its challenges in resolving the problem of reducing mathematics and physical structures and in holisticism. Finally, the author points out that although the principle of equivalence is based on the unfamiliar homotopy type theory, it provides an important answer to the long-standing tension between traditional logical foundations and structuralist approaches.