8.确证:不可几性的优点
(1)我的优选理论与对“或然性更大的”假说的优选没有关系。反之,我已表明理论的可检验性随着它的信息内容的多少而增减,因而随着它的不可几性而增减(在概率演算的意义上讲)。因此,“较好”或“可优选的”假说往往是更不可几的假说。(但是约翰·C·哈森尼说我曾经提出过一个“选择科学假说的不可几性标准”,这种说法是错误的。不仅我没有一般的“标准”,而且经常发生这样的事情:我不可能优选逻辑上“较好”而更不可几的假说,因为有人成功地在实验上反驳了它。)许多人当然把这个结果看作是反常的,然而我的主要理由很简单(内容=不可几性),而且这些理由近来甚至已被一些归纳主义的支持者以及卡尔纳普那样的归纳法的或然性理论的支持者所接受。
(2)我原来介绍确证或“确证度”的概念,目的在于清楚地表明每一个或然的优选理论(因而每一个归纳法的或然理论)是荒谬的。
理论的确证度,我是指对理论的批判性讨论情况(在一定时间t内)进行评价的简要报告,这些讨论是关于理论解决问题的方法,它的可检验度,它经受过的检验的精确性以及它应付这些检验的方法。因此,确证(或确证度)是对过去执行情况的评价报告。像优选一样,它基本上是比较的。一般说来,根据批判性讨论,包括到某个时间t为止的检验,人们只能说理论A的确证度比竞争理论B的确证度高(或低)一些。确证度仅仅作为对过去情况的报告,必然导致优选某些理论而非其他理论。但确证度与理论的未来执行情况及其“可靠性”是毫无关系的。(如果有人成功地表明,在一定的特殊情况下,可以给我的或别人的确证度公式提供一个用数字表示的解释,这一点肯定也决不受影响的。)
我提出作为确证度定义的公式的主要目的是表明,在许多情况下,更不可几的(在概率演算意义上不可几的)假说是可取的,而且还清楚地表明在什么情况下这个公式适用,什么情况下不适用。这样,我就说明了可优选性不可能是概率演算意义上的或然性。当然,人们可以把可优选的理论叫做更“可几的”理论:只要人们不被词句引入歧途,词句是无关紧要的。
总之,有时说到两个竞争着的理论A和B,我们可以说根据时间t内批判性讨论的情况以及在讨论中有效的经验证据(试验陈述),理论A是比理论B可取,或更好地确证了的。
显然,在时间t内的确证度(这是在时间t内关于可优选性的陈述)没有提到关于未来的情况——例如,关于在比时间t晚一些的时间内的确证度。这仅仅是在时间t内对竞争理论逻辑上和经验上的可优选性的讨论情况的报告。
(3)我必须强调这一点,因为我的《科学发现的逻辑》中以下的一段已被解释为(更确切些说,已被错误地解释为),我把确证用作对理论未来执行情况的表征。“我们应该试图评价假说经受过什么检验,什么试验,而不应讨论假说的‘或然性’;即我们应该设法评价它经受检验、证明其适于幸存的程度如何。简单地说,我们要设法评价它被‘确证’的程度如何。”
有些人认为“证明其适于幸存”这句话表明,我在这里想讲的是适于在将来幸存,适于经受将来的检验。如果我使某人误解的话,那很遗憾,但是我只能说,错误地应用达尔文隐喻的不是我。没有人期望过去曾幸存的一个物种将来也一定幸存下去:在某段时间t没能幸存下去的一切物种到那个时间t为止是一直幸存的。以为达尔文的生存理论以某种方式包含了对迄今尚存的每一个物种将继续生存下去的期望,这种想法是荒谬的。(谁会说我们人种继续幸存下去的希望是很大的呢?)
(4)这里补充一点关于陈述s的确证度也许是有用的。陈述s属于理论T,或是合逻辑地从这个理论引出来的,但在逻辑上比理论T弱得多。
这样的陈述s的信息内容将比理论T少。这意味着s和从s引出的所有那些陈述的演绎系统S不如T可检验与可确证。但如果T已被很好地检验,那么我们可以说,它的高确证度适用于从它引起的所有陈述,因而也适用于s和S,即使s由于它的可确证性低,决不能独立地得到那么高的确证度。
这个规则可得到下述简单理由的支持,即确证度是表述有关真理的优选的方法。如果我们就其声称真理而优选T,那么我们就要优选其一切结果,因为如果T是真的,其所有结果也一定是真的,即使它们单独不能很好地加以检验。
因此我断言,随着对牛顿理论的确证以及地球是一个旋转的行星这一描述,陈述s“太阳每二十四小时在罗马升起一次”的确证度就大大地增加了。因为s单独不是很好检验的;但牛顿的理论以及地球旋转的理论是完全可检验的。而如果这些理论是真的,s也一定是真的。
从一个很好地检验过的理论T可引出的陈述s,就其作为理论T的一部分而论,将具有理论T的确证度;如果s不是可从T引出,而是可从两个理论(例如T1和T2)的合取中引出来的,那么s作为两个理论的一部分,就会有这两个理论中经过较少检验的理论同样的确证度。然而,s本身单独地来讲,可能只有很低的确证度。
(5)我的看法和我很早以前就介绍过的称之为“归纳主义”的看法之间的基本区别在于,我强调否定的论据,例如否定的事例或反例,反驳和尝试性反驳——简言之,批判;而归纳主义者则强调“肯定的事例”,他从肯定的事例中引出“未论证的推论”,并且他希望这些事例将保证这些推论的结论的“可靠性”。在我看来,我们科学知识中可能是“肯定的”一切,只是就一定时间内一定理论得到优选来说的,这种优选的根据是我们的由尝试性反驳组成的批判性讨论,包括经验检验。因此,所谓“肯定的”也只是就否定的方法而言才是如此。
这种否定的态度澄清了许多问题,例如在令人满意地说明什么是一个定律的“肯定的事例”或“支持事例”时所面临的困难。