狭义相对论的一阶逻辑基础

来源 :北京师范大学 | 被引量 : 0次 | 上传用户:greenboy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
狭义相对论自爱因斯坦在1905年提出以来,就受到很多人的批评,人们质疑它的根本原因是对狭义相对论的不理解。因此,本文选择了一种更为清晰明了的方法来研究狭义相对论,即:在一阶逻辑的框架下研究狭义相对论。国际学者H.Reichenbach首先把一阶逻辑和时空理论的基础联系起来,通过这种理性的方法介绍刻画狭义相对论理论的一阶逻辑公理系统。
   首先,本文引入关于狭义相对论的一阶逻辑公理系统:Specrel公理系统,并试图在这个公理系统中证明狭义相对论一个非常重要的定理--间隔不变性定理,也就是分析这个公理系统是否强到能够解决基本的狭义相对论问题。但通过分析研究发现,在这个公理系统中想要证明这个结果在物理直觉和逻辑上都是不显然的。
   因此,本文在前人的基础上,对文献中提出的Specrel公理系统做了扩充,提出证明“间隔不变性”所需的其它两条公理--公理AxSym和公理AxTrans,并删除了公理Axsimdist,最终得到一个新的公理系统Specrel。
   在Specrel这个公理系统中,我们首先证明了一个准备性定理;然后,利用这个准备性定理的结论,在这个公理系统中通过“洛伦兹变换”去证明间隔不变性定理,并得出间隔不变性定理的其它推论--“动钟变慢”这一狭义相对论中的典范效应。
其他文献
信任危机已成为当前医学实践中的一个突出问题,但是在生命伦理学理论中信任却很少被讨论,尊重自主被认为是生命伦理学的首要原则之一。本文作者在一次就医中却经历了自主与信任的矛盾,同时,英国学者奥尼尔也指出尊重自主并不能得到伦理论证,而信任是一个更为核心的原则。因此本文试图从尊重自主原则出发探讨生命伦理学中的信任问题。  文章首先从尊重自主与失去信任之间是否相关这个问题进行探讨,通过对尊重自主性原则的考察
医患关系与生命尊严的伦理分析问题是国内外医学伦理学关注的重要问题。医患关系作为医学伦理学的基本伦理关系,就是以保证健康和消除疾病为目的而建立起来的一种供求关系,其中供者为“医”,求者为“患”;生命尊严作为伦理学的重要组成部分,糅合了人类最普遍的感情体验和最基本的理性认识,是一种道德价值的本质表达。我们知道,若将二者结合起来进行伦理思考可以调整医学界与服务对象的利益关系,完成医学伦理学最基本的使命。
学位
人类为了生存,必须从外界摄取食物,因此,自人类诞生以来就有了对饮食知识的探索,积累起朴素的饮食观念。作为一门学科,营养学是以十八世纪法国“化学革命”和道尔顿“原子论”为理论起点的,到二十世纪三十年代发展为独立学科。  本文首先通过对营养学历史的追溯,梳理出营养学的两条发展进路,一是在十八世纪的“化学革命”中,科学家运用化学分析方法,从关注氮元素开始,发现了蛋白质,以后不断发现其他重要营养素;二是对
学位
二十世纪五、六十年代,在全球生态危机的大背景下,各种生态运动逐渐兴起,流派纷呈的生态思想和生态伦理纷纷主张建立人与自然和谐的生态关系。科布的生态神学在这种环境大背景下应运而生,他主张在根本上转变人类思考模式与生存模式,成为生态运动深化的必然。  科布的生态神学,以怀特海的过程哲学为基础,采用哲学神学进路,反思基督教神学的特点,从终极超越的角度,阐释了不同于以往的上帝观,并且在宇宙论、人论等方面都有
波爱修斯生活在古希腊与罗马两个世界的过渡时期,他为古代和中世纪搭建了一座桥梁。可是,这样一位重要的人物却被现代大多数学者所忽视,尤其是他的“四艺”理论被认为不具有原创性而没有研究的价值。本文作者不支持这种观点。首先,波爱修斯“四艺”理论是把古希腊的相关著作按照适合拉丁世界人们的方式进行翻译和注释,保留了古希腊关于算术、音乐、几何学和天文学四门数学学科中的精华,使古典文化得以传承。其次,波爱修斯“四
学位
哲学问题往往起源于具体的生活情景。在具体的情景中,哲学问题才有恰当的意义。脱离了具体的情景谈论哲学问题,使得哲学家误入歧途。这种迷误类似一个人企图在一个房间中寻找世界,但事实恰恰相反:房间处于世界之中,而非世界处于房间之中。当将哲学问题置入具体的情景时,哲学问题呈现出其自然平凡的面貌,哲学困惑得以消解。  论文主要致力于在具体的情景中考察三个基本的哲学问题:外部世界的存在问题、归纳问题、同一性判断
学位
中国传统哲学一直都很注重对人的心性的研究,自孟子阐发心性,开出心学伦理的基本框架,到南宋时期陆九渊的“本心之善”、明代王阳明的“致良知”,“陆王心学”作为一支重要的学派诞生了。本文在阅读大量古籍、史料的基础上,提炼出一个贯穿陆王心学思想体系的重要道德修养方法--“减损论”,即内求式的道德修养思路和路线。这相对于程朱格致之学外求式的修养路线无疑是一个突破和创新。在有关道德修养的理论前提、道德修养的路
学位
爱比克泰德是罗马帝国时代的著名的斯多亚学者之一。他继承了斯多亚前辈关于神的观点,将其理解为一种普遍法则,或是一种普遍的理性。同时,爱比克泰德为这一理论增添了新的内容,那就是把普遍法则赋予人类的理性看作是一种在人的权能之内的能力,即一种知道如何正确运用表象的能力。正是这种能力使得人类能够按照自己的意志来选择生活的道路--善或者恶的道路。这篇文章的主要内容即是对这一能力进行分析研究,并且试图澄清这一能
亚里士多德的友爱在古希腊是指两个人感情亲密地共同生活、相互间一贯处于意愿而主动地为对方做事情的关系。所以希腊语友爱的涵义要比英文的友谊的概念宽泛的多。友爱不单指家庭之外的任何亲密的关系,而且还包括家庭内部的一切亲密的关系。(如父母和孩子、孩子和父母间的感情,兄弟姐妹间的关系,夫妻间的关系)。在古希腊,友爱做为两个人之间以及城邦生活的联系纽带,同时存在于特定的共同体当中。  相反者的友爱就是城邦共同
什么是政府权力的正当性基础,这是一个久远的话题。政府权力的正当性问题,首先是个历史概念,不同历史文化,不同传统政治,对政府权力正当性解释不同。从古希腊至善的自然法则到中世纪的君权神授再到近代霍布斯、卢梭的社会契约观,都在为他们各自时代的政府权力寻找着某种正当性基础;也正是这种时代性性质使得它同时也成为一个值得不断讨论的话题,因为政府权力的正当性基础问题,随着人类社会的发展变化,其立足点或者其视角出
学位