起了他的好奇心。
直秀给一藏介绍,“兰学不单指兰国人的学问,还包括了整个西洋人的学问。而其中也不免良莠混杂,其中有用的学问,西洋人称之为科学”。
直秀解释说,西洋人格物致知得到的有用知识就是“科学”,有的兰学书是科学,有的不是。
伟大的奥匈帝国学者卡尔?波普尔(1902年—1994年)还没出生,直秀只好说某位西洋学者说“一个理论的科学地位的标准是它的可证伪性,或可反驳性, 或可检验性。”也就是科学本身是可验证的、也是可以被反驳的,更是可证伪的。ii
这句话给一藏的杀伤力太大了,当时他就懵懂了,“啥,兰学者说有用的知识是可以被验证的,这个我懂;可以被反驳的,这个能被反驳的还能是正确的么?后面还有可以被证伪的,学了兰学然后有一天突然就发现所学的兰学是错的,这都是什么鬼东西?”
关于波普尔的“可证伪性”到底是什么含义,后世都没有统一思想,何况现在的一个孩子,混乱是必须混乱的,如果大久保不混乱的话,直秀就得赶紧问他一句,“您穿越过来的时候三环的房价涨到多少刀了?”
波普尔同时指出,“由于一个理论的信息量、精确性和普遍性均与理论的可否证度成正比,因而可否证度就成了衡量科学理论的标准”。
下面直秀开始给一藏猛灌私货。ii
关于可证伪性有两种解释
第一种是,可证伪性是说科学结论必须有逻辑上的反例的存在,而“逻辑上的反例”经证实是错的,从而证明了科学结论的正确性。
第二种是,在承认第一种解释后,可证伪性还可以延伸为“所有的科学结论”最终都会被发现不适用的场景,从而建立起更加完善的科学理论。
第一种解释的例子很好找,例如“直秀比一藏长得高”,确实,十八岁的直秀现在目测是比十三岁的一藏身材高,第二种解释的例子更简单,“一藏长大后比直秀高”,因此前面的结论“直秀比一藏长得高”可以被证伪——据说大久保成年后身高178,直秀还真不一定长得过他。
听到直秀说他能长高,一藏开心的笑了,这是直秀第一次看到大久保的笑容,终于有了孩子气,不再像个木偶。ii
至于“可验证性”,直秀也举了个例子,“直秀比一藏长得高”,我们站在一起不用尺量就能看出高矮,验证“直秀比一藏长得高”。
“可反驳性”的例子是,对“直秀比一藏长得高”的对立结论是“直秀比一藏长得矮或两人长得一样高”——科学理论必须有对立结论的存在。
聪明人最“好骗”,因为聪明人会试着按他人的思路思考为什么。一藏觉得自己对兰学有了概念,不再是模模糊糊的印象了,他有点高兴。
一藏觉得兰学的思考方式很怪异,但也很有趣,他让直秀再举几个兰学的思考方法。直秀就给他讲解了“反证法”和“逆否命题与原命题同真或同否”。
反证法是一种间接论证的方法,也称“逆证法”,是通过断定与论题相矛盾的判断(即反论题)的虚假来确立论题真实性的论证方法。ii
反证法的论证过程是“首先提出论题然后设定反论题,并依据推理规则进行推演,证明反论题的虚假;最后根据排中律,既然反论题为假,原论题便是真的”。
反证法在数学中经常被运用,“正难则反”——正面证明不了,那就从反面论证。
直秀举的例子当然是著名的欧几里德(约前330~约前275)对“素数有无数个”的精彩反正。
质数是指在大于1的自然数中,除了1和它本身以外不再有其他因数的自然数。
需要证明“素数有无数个”。