单一性与本体结构主义

IF 1.2 3区物理与天体物理 Q3 PHYSICS, MULTIDISCIPLINARY

Foundations of Physics Pub Date : 2024-06-07 DOI:10.1007/s10701-024-00768-4

Lu Chen

{"title":"单一性与本体结构主义","authors":"Lu Chen","doi":"10.1007/s10701-024-00768-4","DOIUrl":null,"url":null,"abstract":"<div><p>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.</p></div>","PeriodicalId":569,"journal":{"name":"Foundations of Physics","volume":"54 3","pages":""},"PeriodicalIF":1.2000,"publicationDate":"2024-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10701-024-00768-4.pdf","citationCount":"0","resultStr":"{\"title\":\"Univalence and Ontic Structuralism\",\"authors\":\"Lu Chen\",\"doi\":\"10.1007/s10701-024-00768-4\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>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.</p></div>\",\"PeriodicalId\":569,\"journal\":{\"name\":\"Foundations of Physics\",\"volume\":\"54 3\",\"pages\":\"\"},\"PeriodicalIF\":1.2000,\"publicationDate\":\"2024-06-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://link.springer.com/content/pdf/10.1007/s10701-024-00768-4.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Foundations of Physics\",\"FirstCategoryId\":\"101\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s10701-024-00768-4\",\"RegionNum\":3,\"RegionCategory\":\"物理与天体物理\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"PHYSICS, MULTIDISCIPLINARY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Foundations of Physics","FirstCategoryId":"101","ListUrlMain":"https://link.springer.com/article/10.1007/s10701-024-00768-4","RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"PHYSICS, MULTIDISCIPLINARY","Score":null,"Total":0}

引用次数: 0

摘要

以严格的方式提出本体论结构主义（将结构置于其所包含的实体之上）一直是个挑战，这就要求对传统的逻辑框架进行改造。我认为，以所有同构结构都是相同的公理为特征的 "等价基础"（Univalent Foundations，UF）提供了这样一种基础，与其他拟议的结构主义框架相比更具吸引力。此外，我还深入探讨了孔洞论证的意义，并简要介绍了对称性的本质。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Univalence and Ontic Structuralism

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Foundations of Physics 物理-物理：综合

CiteScore

2.70

自引率

6.70%

发文量

104

审稿时长

6-12 weeks

期刊介绍： The conceptual foundations of physics have been under constant revision from the outset, and remain so today. Discussion of foundational issues has always been a major source of progress in science, on a par with empirical knowledge and mathematics. Examples include the debates on the nature of space and time involving Newton and later Einstein; on the nature of heat and of energy; on irreversibility and probability due to Boltzmann; on the nature of matter and observation measurement during the early days of quantum theory; on the meaning of renormalisation, and many others. Today, insightful reflection on the conceptual structure utilised in our efforts to understand the physical world is of particular value, given the serious unsolved problems that are likely to demand, once again, modifications of the grammar of our scientific description of the physical world. The quantum properties of gravity, the nature of measurement in quantum mechanics, the primary source of irreversibility, the role of information in physics – all these are examples of questions about which science is still confused and whose solution may well demand more than skilled mathematics and new experiments. Foundations of Physics is a privileged forum for discussing such foundational issues, open to physicists, cosmologists, philosophers and mathematicians. It is devoted to the conceptual bases of the fundamental theories of physics and cosmology, to their logical, methodological, and philosophical premises. The journal welcomes papers on issues such as the foundations of special and general relativity, quantum theory, classical and quantum field theory, quantum gravity, unified theories, thermodynamics, statistical mechanics, cosmology, and similar.