狭义相对论的一阶公理化  

First-Order Axiomatization in Specific Relativity

作　　者：陈磊[1] 史晓菲[1,2] 

机构地区：[1]北京师范大学价值与文化研究中心,北京师范大学哲学与社会学学院,北京100875 [2]洛阳市东方二中,洛阳411002

出　　处：《北京师范大学学报（社会科学版）》2012年第4期103-110,共8页Journal of Beijing Normal University(Social Sciences)

摘　　要：狭义相对论是20世纪最伟大的物理学理论之一。一直以来,狭义相对论的公理化问题受到物理学家和逻辑学家的共同关注。但由于学科的交叉性,这个问题一直没有得出很好的结论。匈牙利学者HajnalAndréka等人于2007年提出了一个狭义相对论的一阶逻辑系统Specrel,我们发现这个系统无论在逻辑上,还是在物理上要刻画狭义相对论都是不够的。我们在此基础上提出了狭义相对论的另一个一阶逻辑系统Specrel’,并在这个系统中证明了洛仑兹变换——这一狭义相对论的重要基础公式。从而可以得到"动钟变慢"、"动尺收缩"等一系列狭义相对论的典范效应。The matter of Specific Relativity axiomatization has long been the attention of physicists and logicians. But owing to the problem of cross disciplinarity, the issue has never found a proper solution. The Hungary scholars Hajnal Andreka et al put forward a first-order logic system termed Specrel about the Specific Relativity in 2007. But the system is insufficient in depicting the Specific Relativity either in logic or physics. Against that background, the present paper proposes another logic system.. Specrel＇, and by that system tries to prove the theory of Lorentz Transformation, the fundamental formula in Specific Relativity, which can hence obtain such exemplar effects as time dilatation and length contraction.

关 键 词：狭义相对论 一阶逻辑 公理系统 洛仑兹变换 

分 类 号：B813[哲学宗教—逻辑学]