第 2 页

16.知识理论:《研究的逻辑》

我在1้928年获得哲学博士学位,192๐9年成为ฦ合格的初级中学数学和物理学教师๲。为了这次取得资格的考试,我写了一篇关于几何学中公理问题的论文,其中有一章论非欧几里得几何。

只是在哲学博士考试之后,我才根据事实综合考虑,以前的想法变得清晰了。我理解了为什么เ从培根以来占统治地位的错误的科学理论——自然科学是归纳科学,而归纳是通过反复的观察或实验而建立或辩护理论的过程——如此根深蒂固。其原因是:科学家们必须把他们的活动与伪科学以及与神学和形而上学划ฐ分开来,而且他们从培根那ว里接受了归纳法作为ฦ他们的分界标准。另一方面,他们渴望用在可靠性方面可与宗教来源相比拟的知识来源来为他们的理论辩护。但是多年来,我掌握了一个更好的分界标准:可检验性或可否证性。

因此,我不陷入分界ศ的困境就能抛弃归纳法,而且我能够以这样的方式应用我的试错法成果:用演绎方法论来代替归纳方法论。通过对理论的演绎结果的否证和反驳而对理论加以否证和反驳,显然是一种演绎推理modustollens。这种观点意味着:科学理论,如果未被否证,将永远是假说或猜想。

因此,科学方法的全部ຖ问题就澄清了,同它一起澄清的还有科学进步的问题。进步在于向告诉我们的东西越来越多的理论——具有更丰富内容的理论移动。但一个ฐ理论说得越多,它排斥ม和禁止的东西就越多,并且否证它的机会就越多。所以具有更多内容的理论能够受到更严格的检验。这种考虑导致了一种理论,在这种理论中,科学进步成了并不在于观察的累积,而是在于推翻不那么เ好的理论并且用更好的理论,尤其是内容更丰富的理论代替它们。因此在理论之间存在着竞争——一种达尔文主义的生存斗争。

当然,我们认为只不过是猜想或假说的理论不需要辩护更不需要用并不存在的归纳法来辩护,任何人对这种归纳法都没有提供一个合理的描述。然而,根据对相互竞争的猜想的批判讨论,我们有时候能够提出一些理由来选择其中的一个猜想。

所有这一切都是一目了然的,并且——如果我可以如此说的话——是非常严谨的。但是它与马赫派实证主义者以及维也纳学派的维特根斯坦派所说的迥然不同。我于19๗26或1้927年听说过这个学派,先从奥托·纽拉特在报纸上写的一篇文章中看到,后是在他给社会民主青年团的一次谈话中听到。这是我曾参加过的惟一的一次党派会议,我这样做是因为ฦ我自19๗19或19๗20年以来对纽拉特已有一点了解。我阅读了维也纳学派和恩斯特·马赫学会的纲领性文献;尤其是我的老师๲,数学家汉斯·哈恩所写的一本小册子。此外,在我写博士论文前几年我读过维特根斯坦的《逻辑哲学论》以及已出版的卡尔纳普的一些著作。

我很清楚,所有这些人与其说是在寻找科学与伪科学之间的分界ศ标准,不如说是寻找科学与形而上学之间的分界标准。并且我也清楚,我原来的分界标准要比他们的更好。因为,先,他们正在企图找到的标准使形而上学成为ฦ无意义的胡说,十足的胡言乱语,而任何这种标准必定导致困难,因为形而上学思想常常是科学思想的先驱。其次,有意义与无຀意义的分界不过是转移问题๤。正如维也๣纳学派所承认的,那需要另一个标准,即区别有意义与无຀意义的标准。为此,他们采取了可证实性,这种可证实性被认为就是可被观察陈述证明。但这只是表述归纳主义者的由á来已๐久的标准的另一种方法;在归纳与可证实性两个概念之ใ间没有真正的区别。然而根据我的理论,科学不是归纳的;归纳是已被休谟戳穿的一个神话。后来艾耶尔承认的一个更加不大引起兴趣的论点是把可证实性作为有意义แ的标准来使用的十足荒谬性:人们怎么เ能够说因为ฦ一个理论不能得到证实,它就是无稽之ใ谈呢?为了判断一个理论是否能够得到证实不必理解一个理论吗?而一个ฐ可理解的理论会是纯粹的无稽之谈吗?所有这一切都使我感到,对于他们的每一个ฐ主要问题๤,我都有比他们更好的答案——更严谨的答案。

我相当详细地研究了卡尔纳普和维特根斯坦的著作,写了很多关于这些问题๤的文章未表。从我达到的观点来看,这是相当一目了然的。我只认识一个ฐ我可以把这些想法向他说明的人,他就是海因里希๶·贡佩尔茨。关于我的一个主要观点——科学理论始终是假说或者猜测——他要我去查看阿历克西斯·梅农《论假定》一书๰1902๐年德文版,我现这本书不仅是心理学主义แ的,而且暗地里假定——正如胡塞尔在他的《逻辑研究》1้900,190่1年德文版一书中ณ认为的那样——科学理论是真的。若干年来,我现人们很难承认理论在逻辑上是与假说相同的。盛行的观点是假说是尚未被证明的理论,而理论是已被证明的,或已被确证的假说。甚至那些承认所有理论都有假说性质的人仍然相信理论需要某种辩护;如果理论不能表明是真的,那么它们的真理性必须是高度可见的。

根据我的意见,在所有这一切中的决定性论点,即