包租婆蛋花姐课程 教你 502 选出家门口 课程分享，网盘分享
区别形式命题和事实命题，有助于揭示形式科学与经验 科学的 676 不同特征。两千多年前，亚里士多德就把知识分为“关于 事实的 52 知识”和“关于推得事实的 194 知识”。前者称为实质科学，指经验自然科学，后者称为形式科学，指数学和逻辑学。科学是 1521 命题组成的 75 体系，形式命题与事实命题有别，由它们分别构成的 135 形 式科学和经验科学也表现出不同特征。首先，形式科学是 1503 形式化 的 582 公理系统，其中的 1086 命题、谓词、关系、个体、逻辑联结词和量 词都已成为记号语言，语句成为系统中的 1394 公式。而自然科学本质 上虽然也是 1314 演绎体系，但不能达到纯粹的 836 形式化。其次，形式科 学诚然根植于客观世界中，但它的 1285 科学性质却是 606 舍弃了 491 经验内
容，以形式作为独立的 418 对象，这使形式科学的 350 对象成为理想化的 1172 对象。例如，自然界中存在各种球形物体，但在数学中被抽象为 理想对象“几何球”。自然界中存在多种变量的 63 联系，但在数学 中被抽象为理想对象“函数”。而自然科学虽然也具有抽象性， 也借助一定的 1554 理想模型和概念(如“绝对刚体”、 “ 理 想 气 体”), 893 但它们并不具有独立自在的 1619 意义，自然科学始终离不开 现实，始终以物理世界为对象。再次，形式科学的 595 论断具有确定 不变性。例如，不能想象“3×3”不等于“9”, 303 不能想象从 “[pʌ (p→q)]” 中推不出“q”。而自然科学的 1376 定律在逻辑上则 是 1197 允许破坏的 677 ，因为这些定律直接联系着经验事实，随着实践的 1543 发展会得到补充完善，或被淘汰。如此等等。这表明，区分形式 命题和事实命题对于认识形式科学和经验科学的 1150 特征是 638 必要的 1479 。反过来也可以说，形式科学与经验科学有别，因而有必要认识形式命题和事实命题的 827 不同特征。
第二，区别形式命题与事实命题有助于了 1170 解逻辑证明的 1473 性 质。形式命题也是 114 客观事物及其关系的 1137 反映，但经过千百万次的 765 实践，已作为逻辑的 453 “格”在人脑中固定下来，从而获得了 695 相对 独立的 580 “逻辑真”的 300 意义，这为逻辑证明的 711 逻辑必然性提供了 1106 依 据。严格的 85 逻辑证明是 1038 演绎证明。逻辑证明的 781 论题和论据的 1204 真实 性虽然必须通过实践检验才能确定，但逻辑证明本身则不允许借 助经验。逻辑证明的 320 必然性是 51 由其系统内部给以保证的 147 。逻辑证 明的 1352 前提必须是 214 公理或已被证明的 88 定理，它们都表现为重言式命 题，依据一定的 1262 推导规则从前提中引申出结论，实质是 1383 重言式的 1328 转换。如果不区别形式命题和事实命题，不承认形式命题具有 “逻辑真”的 356 特征，就不能说明逻辑证明的 1194 逻辑必然性。
但是 175 ，肯定区别形式命题和事实命题的 70 认识论意义，并不意 味着应当接受逻辑经验主义的 1075 区别标准及其分析真理论。逻辑经
验主义的 8 真理论在两个重要问题上导致了 877 错误结论。
第一，割裂了 1213 真理的 1590 客观性和普遍必然性。逻辑经验主义把 逻辑真理和事实真理的 1133 区别变成了 1427 教条。根据他 1190 们的 1212 解释，分析 命题只具有必然性而不具有客观性(因为分析命题与经验无涉), 1280 而综合命题则只具有客观性而不具有必然性(因为综合命题的 183 真 是 1603 或然的 344 )。他 466 们根本拒绝康德提出的 339 先天综合判断，因而也就 拒绝了 1338 既有客观性又有普遍必然性的 917 真理。这实际上是 162 重复了 760 西 方哲学史上经验论与唯理论的 1561 对立。康德因看到经验论和唯理论 各自的 1585 片面性，力图寻求一种既有先天分析性又有后天综合性，
既有必然性又有客观性的 1551 判断，寻求的 1407 结果，他 536 提出了 1494 先天综合 判断。康德的 1218 这一工作虽然没有摆脱先验论，但他 1567 的 124 这一追求是 745 应当肯定的 1247 。逻辑经验主义在这一点上反对康德是 766 一种倒退。