论科学的逻辑标准.pdfVIP

　第 16 卷　总第 71 期 科学·经济·社会 V 0116, Sum N o 71 1998 年　第 2 期 SC IEN CE ECONOM Y SOC IET Y NO 2, 1998 论 科 学 的 逻 辑 标 准 杨　充　霖 熟知科学史的人都知道: 科学至今仍没 言。按照这个要求, 我们有下列判决性标准: 有这样的标准, 凡符合这种标准的便是科学 1 数理逻辑; 2 数学归纳法; 3 概率; 的, 否则便是不科学的。然而, 今天的科学 4 合理置信度; 5 主观置信度、拓扑变换 正如日中天, 科学还是非科学已成了仲裁和 与不可通约性; 6 意外证据扩张度、科学实 恫吓其他意识形态的最高标准, 能高攀一下 验与 EPR 问题; 7 科学的真理标准。本文先 科学似乎也成了许多现代迷信的荣耀。那么, 集中讨论科学的逻辑标准问题。 我们不妨也依照科学的方法, 看一看科学借 观念的明白清楚性和明白清楚的观念是 以宣布自身为科学的那些标准是什么、能判 科学理论的起码要求。这一点虽然是迟至 17 定什么。 世纪由笛卡尔明确提出来的, 但早于笛卡尔 相对于描述性标准和过渡性标准 参看 2000 多年的苏格拉底和柏拉图的理念论早 拙作《理性的命运》, 《新华文摘》1990 年第 有了类似思想。并且以把只有通过明白清楚 3 期 , 科学的判定标准就是科学理论的划界 的观念才能反映出来的理念赋予本体论地位 标准, 具体地讲, 就是要解决下列问题: 1 的方式为理念论提供了最早、也是最彻底的 如何主张存在科学理论与非科学理论的划界 辩护。 标准; 2 这些标准是什么; 3 以这些标准 观念的明白清楚性, 朴素地理解, 就是 划界的科学理论有何特征。显然 3 依赖于 科学理论系统中概念的意义要明白清楚, 命 2 , 2 依赖于 1 。这就意味着 1 是判决性 题即概念关系要确定一致, 命题关系也要确 标准的实质, 它可具体展开成如下形式: 如 定一致。科学理论就是以命题系统的方式出 何主张存在科学理论的①充分且必要标准; 现的。可以说, 苏格拉底和柏拉图最早通过 ②充分或必要标准; ③既非充分又非必要但 理念直指具体事物的属性和同类事物的共性 又相关的标准 显然, 如果①成立, 则判决 时, 就提供了一种明确的定义方式: “不是: 性标准就是存在的。当然, ①未必成立或必 什么东西是美的 而是: 什么是美? ” 《古 不成立, 这就要求把①②③联系起来考察。为 希腊罗马哲学》, 商务印书馆 1961 年版, 第 了突出问题的实质, 我们先从最严标准开始, 53 页 而亚里士多德形式逻辑的出现为明白 然后通过它的实用范围来放宽标准, 直到它 清楚性提供了更为具体的标准: 同一律, 排 的适用范围达到最大。同时, 为了突出每一 中律, 不矛盾律, 三段论推理等。长期以来, 组标准的本质, 我们尽可能用严格的科学语 这些规则是一切成熟科学理论必须满足的条 67 ? 1994-2006 China Academic Journal Electronic Publishing House. All rights reserved. 件。亚里士多德认为, 科学其实就是按照高 形成“合式公式 即命题 ”。3 列出系统中 一层次的逻辑规则组织起来的具体的经验定 所有不加证明的合式公式 公理 和变形规 律。 则 推理规则 。4 对于一个形式系统可在 亚里士多德的形式逻辑规则, 2000 多年 有限步骤内判定: a 一符号是否为系统内的 来一直是科学理论评价的重要标准。它在使 原始符号; b 一个符号系统是否构成系统内 用中虽然得到了一定的补充和完善, 但总的 一合式公式; c 一个合式公式是否为公理; 看起来一直未发生任何重大变化, 直到 17 世 d 从一组合式公式能否变形出另一组合式 纪莱布尼兹发现了亚氏逻辑的一些不足和错 公式。若在有限步骤内能判定 、 、 、 a b c 误, 才出现了古典逻辑向现代逻辑转折的契 d , 就说该系统有可判定性。5 完备性。某 机。此后 200 多年, 主要是在集合论和公理 一范围内的真合式公式都可在系统内得以判 化方法的推动下, 促成了古典逻辑向现代逻 定。如果上述理想能够实现, 那么这些规则 辑的转变。现代逻辑系统的元素和古典逻辑 的确可以提供判定理论真假的充分且必要标 系统的一样, 也是概念, 概念关系即命题, 以 准: 完备性意味着所有命题都可用此系统来 及命题相互之间的关系。同时, 古典逻辑的 判定; 反过来,