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

Format Sitasi

Chen, L. (2024). Univalence and Ontic Structuralism. https://doi.org/10.1007/s10701-024-00768-4

Akses Cepat

Lihat di Sumber doi.org/10.1007/s10701-024-00768-4
Informasi Jurnal
Tahun Terbit
2024
Bahasa
en
Total Sitasi
Sumber Database
Semantic Scholar
DOI
10.1007/s10701-024-00768-4
Akses
Open Access ✓