Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无...Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明。展开更多
The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main r...The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main results in the theory, including the twin paradox and energy-mass relation. In this paper, from a four-dimensional spacetime perspective, we introduce the concepts of world-line, proper time and four-momentum to our axiomatic system SpecR el^+. Then we introduce an axiom of mass(Ax Mass) and take four-momentum conservation as an axiom(Ax CFM)in SpecR el^+. It turns out that the twin paradox and energy-mass relation can be derived from SpecR el+logically. Hence,as an extension of SpecR el, SpecR el^+is a suitable first-order axiomatic system to describe the kinematics and dynamics of special relativity.展开更多
基金Supported by the National Science Foundation of China under Grant Nos.11235003 and 11475023National Social Sciences Foundation of China under Grant No.14BZX078+1 种基金the Research Fund for the Doctoral Program of Higher Education of Chinathe Undergraduate Training Program of Beijing
文摘The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main results in the theory, including the twin paradox and energy-mass relation. In this paper, from a four-dimensional spacetime perspective, we introduce the concepts of world-line, proper time and four-momentum to our axiomatic system SpecR el^+. Then we introduce an axiom of mass(Ax Mass) and take four-momentum conservation as an axiom(Ax CFM)in SpecR el^+. It turns out that the twin paradox and energy-mass relation can be derived from SpecR el+logically. Hence,as an extension of SpecR el, SpecR el^+is a suitable first-order axiomatic system to describe the kinematics and dynamics of special relativity.
