戎震魅力提升训练课 课程分享，网盘分享
考察真理是 539 什么, 1558 必须回答如何看待逻辑真理(又称形式真 理)与事实真理(又称经验真理)的 1211 区分问题。区分逻辑真理 与事实真理的 1226 思想，来自德国著名哲学家、数学家莱布尼茨。他 1597 说：真理有两种，“它们或者是 459 属于理性的 293 真理之列，或者是 810 属 于事实的 1391 真理之列。理性的 139 真理是 90 必然的 666 ，事实的 1086 真理是 1195 偶然 的 652 。”①理性的 1287 真理是 884 必然的 875 ，就是 987 说其反面是 1567 不可能的 746 ；事实 的 588 真理是 1339 偶然的 1042 ，就是 491 说其反面是 1461 可能的 709 。他 1069 还指出，理性的 1428 真 理又有“原始的 895 真理”与“推理的 1289 真理”之别。原始的 452 真理是 611 自明的 242 命题，不能证明也不必证明，它其实就是 422 同一律和矛盾律的 67 运用。依据原始真理通过定义和推理引出的 569 命题，就是 125 推理的 311 真理 。
英国哲学家休谟也严格区分了 1046 两类命题。他 1280 说： “人类理性 或研究的 233 全部对象，可以自然地区分为两类，即：观念的 178 关系和事 实。”②“任何一个命题，只要由直观而发现其确切性，或者由 证明而发现其确切性，就是 98 属于前一类的 1254 。”③在休谟看来，这 类命题，只凭思想的 1102 作用就能将它发现出来，而不以任何事实为 依据。他 685 举例说，纵然在自然中并没有圆形或三角形，欧几里德所 证明的 336 真理仍然是 940 可靠和自明的 654 。休谟认为，后一类的 445 事实命题则不能用同样的 435 方式加以确定，因为事实的 285 反面仍然是 1283 可能的 868 ， 一个事实命题及其反面可以不包含任何矛盾，可以同样明晰地被 心灵设想到。例如，“太阳明天将不出来”与“太阳明天将出 来”, 142 是 985 没有矛盾的 818 。
在区分逻辑真理与事实真理这方面，奥地利哲学家维特根施 坦的 814 早期工作特别受到重视。他 1301 认为： “只有作为现实的 989 形象， 命题才能是 146 真的 743 或是 82 假的 1009 。”①这就是 1414 说，命题的 763 真，表明命题 与现实相符。由于他 1180 把事实区分为简单的 1573 原子事实和复杂的 788 分子 事实，因而命题也被分为简单的 143 基本命题和复杂的 735 一般命题。他 1260 所说的 40 一般命题可理解为复合命题，基本命题即为简单命题。在 逻辑上， 一般命题的 1228 真值取决于基本命题的 1530 真值，因此人们可以 通过真值表弄清一般命题的 116 真理性。在这里，显然有两种特殊的 1066 情形：
“在一种情况下，命题对于基本命题的 774 所有一切真值的 1277 可能性都是 298 真的 1580 ，我 321 们说这种真值条件是 742 重言式的 1619 。”
“在第二种情况下，命题对于所有一切真值的 1062 可能性都是 73 假 的 708 。真值的 1208 条件是 429 矛盾的 632 。
“在第一种情况下，我 684 们管命题叫重言式的 209 命题，在第二种情况下，我 1380 们管它叫矛盾命题。进而，维特根施坦指出：“真值条件决定了 1385 命题留给事实的 1231 领域。”
“重言式留给现实的 1282 是 1562 整个无限的 882 逻辑空间，矛盾则充塞了 1618 整个逻辑空间，给现实没有留下一点。因此它们之中没有一个能 用任何方法决定现实。