爱看小说

逻辑证明与真理标准9(第3页)

天才一秒记住【爱看小说】地址:https://www.antiquessd.com

欧氏几何和非欧几何的公理当然都是一定的现实空间的特性的正确反映,有客观的真实性,是真理,但逻辑是无法证明这一点的。

只有当由这些公理推导出来的结论被应用于特定领域的实践并得到了预期的结果时,公理的真实性才得到了证实。

3.定理

在纯演绎科学中,定理是以公理为原始论据推论出来的,定理的真实性靠公理的真实性来保证。

既然公理的真实性不能由逻辑证明来检验,定理的真实性当然也不能由逻辑证明来检验。

定理是否与客观现实符合,与什么客观现实符合,只有实践才能判定。

至于在经验科学中,定理(或原理)一般说来并不是从公理演绎出来的,而是从经验事实中概括出来的普遍命题。

这些经验事实是从实践中得到的(通过观察、实验、调查等),因而普遍命题是否真实也只有由实践来确定。

这是显然的。

不错,现代的经验科学有许多部门采用的已经不是早期实验科学所采用的纯粹经验的方法,“而是研究人员受到经验数据的启发而建立起一个思想体系;一般来说,这个思想体系在逻辑上是用少数的基本假定,即所谓公理,建立起来的”

[10]。

例如,爱因斯坦的狭义相对论就是从两个被视为公理的命题出发的(光在真空中速度不变,与光源的运动无关;在相对做匀速而无转动的直线运动的诸坐标系中一切物理定律等效)。

但是,第一,这些公理之所以能被提出,首先还是由于研究人员“受到经验数据的启发”

,并不是离开经验凭空构想出来的。

第二,这些公理的真实性要在实践中受到检验。

例如,相对论的第一个公理就是在迈克尔逊—莫雷的著名实验中得到证实的。

第三,这样建立起来的理论体系(它由一系列相互联系的命题组成)究竟是否符合实际,是否真实,逻辑并不能回答,只有实践才能回答。

例如,广义相对论是得到了水星近日点的移动、光线在引力场中的偏转、光谱线的红向移动的观测证实的。

在得到证实以前,爱因斯坦本人也并不认为他的理论就一定符合实际。

他在1916年还写道:“无论如何在未来的几年中将会得出一个确定的结论。

如果引力势导致的光谱线红向移动并不存在,那么广义相对论就不能成立。

另一方面,如果光谱线的位移确实是引力势引起的,那么对于此种位移的研究将会为我们提供关于天体的质量的重要情报。”

[11]亚当斯(Adams)通过对天狼星的伴星的观测证实了光谱线红移,这才使广义相对论的真实性得到了一个实践上的验证。

爱因斯坦完全理解,“理论有存在的必要的理由乃在于它能把大量的个别观察联系起来,而理论的‘真实性’也正在于此”

[12]。

至于在化学、生物学、人类学等经验自然科学和各门社会科学中的定理和原理的真实性只有实践才能判定,就无须一一说到了。

4.定义

以定义为论据是常见的,定义有语词定义和实质定义的区别。

语词定义是对语言符号的意义的规定,被定义的东西不是客观对象而是语词。

它无非是说明我们用某一语词去指称某一对象,以便使人们了解我们的陈述,相当于给一个对象取名字。

这种定义是约定的,无所谓真假,至多不过要求下定义的时候遵守日常用语或科学用语的习惯而已。

我们把“圆”

定义为与平面上一定点等距离的点的轨迹,就等于给具有如此这般特性的几何图形命名为“圆”

,这就无所谓与客观对象是否符合,无所谓真假。

如果有人不愿遵守这个约定,偏要把“圆”

定义为别的什么,那么,只要他交代清楚,也不能说他的定义是假的;至于他在此后的议论中是否首尾一贯,不自相矛盾,那是另一个问题,与定义的真假无关。

语词定义既然无所谓真假,当然也就无所谓以什么为标准来检验其真假的问题。

实质定义与此不同,被定义的东西是客观对象。

实质定义是对事物的本质或本质属性的断定和陈述,是有真假之分的。

本章未完,请点击下一章继续阅读!若浏览器显示没有新章节了,请尝试点击右上角↗️或右下角↘️的菜单,退出阅读模式即可,谢谢!

如遇章节错误,请点击报错(无需登陆)

新书推荐

误入官路官路红途权力巅峰:从城建办主任开始千里宦途医道官途当明星从跑龙套开始官狱为夫体弱多病步步升云官场:扶摇直上九万里绝品风流狂医直上青云升迁之路永恒之门官道征途:从跟老婆离婚开始官途,搭上女领导之后!极品对手官途:权力巅峰官路扶摇官梯险情九份婚书:我的师父绝色倾城