Semantic Scholar
Open Access
2024
4 sitasi
Univalence and Ontic Structuralism
Lu Chen
Abstrak
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.
Topik & Kata Kunci
Penulis (1)
L
Lu Chen
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2024
- Bahasa
- en
- Total Sitasi
- 4×
- Sumber Database
- Semantic Scholar
- DOI
- 10.1007/s10701-024-00768-4
- Akses
- Open Access ✓