Adjoining only the things you want: a survey of Strong Chang's Conjecture and related topics

维也纳圆与相对论的逻辑分析

Vienna Circle and Logical Analysis of Relativity Theory

在本文中，我们介绍了一些我们学校的成果，在该地区建立相对论（RT）作为一个层次的理论在逻辑意义上。我们使用普通的一阶逻辑（FOL）作为数学的数学基础（FOM），我们建立在FOM中获得的经验。我们学校的主要目标如下：我们希望将理论建立在简单，明确的公理和明确的含义上。任何读者都应该完全理解这些公理所表达的内容，读者可以决定他是否喜欢每一个公理，理论应该以一种直截了当的、合乎逻辑的方式从这些公理中建立起来。我们想对这一理论的逻辑结构进行分析。我们调查哪些公理需要RT的预测。我们希望RT逻辑上更透明，更容易理解，更容易改变，模块化，更容易教。我们希望获得更深入的了解RT。我们的工作可以被认为是一个案例研究表明，维也纳圈（VC）的方法来做科学是可行的和富有成效的，当使用的见解和工具的数理逻辑收购，因为它的形成年在VC活动的非常时间。我们认为，逻辑实证主义是基于对数理逻辑在深入阐述时所能做到的事情的洞察和预期。以VC为代表的逻辑实证主义影响并参与了现代数理逻辑的诞生。VC的成员是勇敢的先行者和开拓者。