张雪婷古典舞身韵系统课 课程分享，网盘分享
形式逻辑，是 23 不是 878 还有非形式的 1180 逻辑? 956 回答是 1006 肯定 的 1181 。那种认为凡逻辑都是 1268 形式逻辑的 346 观点，只是 935 作为逻辑的 467 狭义 解释才正确。亚里士多德创立的 835 形式逻辑只是 1102 逻辑的 866 第一种类 型。逻辑还有第二种类型， 一般的 187 就可以叫作非形式的 1497 逻辑。
形式逻辑在这一方向上的 976 急剧发展并没有改变它的 1596 原 有科学性质。这是 1388 指，现代逻辑同传统形式逻辑一样，仍然是 154 撇 开思维内容而仅仅研究逻辑形式，从而不涉及思维的 1427 辩证性质及 其从低级到高级、从简单到复杂的 1321 发展。因而仍然是 1359 知性的 411 逻辑。
逻辑发展的 1078 另一个方向是 618 ：探求不同于形式逻辑的 805 逻辑类 型，可称为非形式逻辑化的 556 方向。逻辑又呈现出这样一个发展方 向的 651 主要原因是 808 ：只有当人类对“思维”进行思维，即把思维作 为认识对象的 962 时候，才会产生逻辑科学。而人类之所以会对思维 给以注意，是 1020 由于在同自然界的 969 斗争中，人们常常达不到预期的 699 目的 823 ，这促使人们思考“应当如何思维”这样的 371 问题。思考这种 问题，具有划时代的 698 意义，因为“思维必须符合哪些条件才能实 现认识并达到认识的 178 目的 1578 ——真理，换句话说，什么是 884 正确的 702 思 维，唯有这个问题提出的 1558 时候，才标志着逻辑问题的 1534 产生。”① 而一说到把握真理，逻辑就不能仅仅研究思维的 369 形式。形式逻辑 无疑也是 749 人们获取真理的 504 一种工具，但是 647 ，对于把握真理，我 1155 们 不能对形式逻辑提出过高的 1269 要求。形式逻辑提供了 1216 一系列推论的 171 规则和逻辑形式，它教给人们知道，具有何种形式的 946 推论是 1448 逻辑 有效的 484 ，从而前提的 783 真可以传递到结论上去；如果一个推论的 1051 形式不正确，其结论的 1068 真理性就没有得到证明。然而，推论形式正
确对于获得真理(真实结论)来说，既不是 228 充分条件也不是 1183 必要 条件。 一个合乎逻辑的 663 论证，其结论未必真； 一个不合逻辑的 94 论 证，其结论未必假。因而，要把握真理，不仅要有形式逻辑，还 要有不同于形式逻辑的 824 逻辑科学。从逻辑问题被提出的 341 那个时刻 起，逻辑就包含着非形式化的 807 因素，它后来发展成一种科学认识
的 1429 方法论，这是 376 逻辑在襁褓中就已经孕育的 611 了 992 。
肖 尔兹指出： “a) 我 1585 们把‘科学论”的 349 概念作为形式的 444 和非形式的 375 逻辑的 291 上位概念，其定义是 937 ：最广义的 24 获得科学认识的 238 工具的 1014 理 论。b) 形式逻辑同科学论的 649 一部分相符合。科学论的 724 这部分是 942 用公式表达推理规则的 559 ，而推理规则是 874 为了 514 建立任何一门科学所 必需的 879 ，这里包括着为了 695 严格表达这些规则所需要的 901 一切。c)
最后我 633 们把非形式的 426 逻辑理解为属于科学论的 1019 整个余下的 619 部分。 这就是 740 说，归属于科学论而又同形式逻辑不同的 1210 逻辑。”②那 么, 700 非形式的 34 逻辑到底是 52 科学论所余下的 1275 哪一部分呢? 558 最多只限于讨论一些一般命题。穆勒第一次作了 720 科学的 572 方法论 的 334 详细的 452 陈述，并且详尽地考虑了 742 各种科学，自然科学与人文科 学，可能引起不少矛盾，但逻辑也总之很正确地有了 1491 一个新的 681 广 阔的 48 工作园地。”①概括一下肖尔兹和齐亨的 252 话是 343 必要的 1287 ，
第一，逻辑有狭义的 1026 逻辑和广义的 1538 逻辑。狭义的 338 逻辑就指形
式逻辑，广义的 1459 逻辑既包括形式逻辑又包括非形式的 652 逻辑。
第二，形式逻辑是 731 逻辑的 1185 第一种类型，它对应于科学论中的 991 推理规则那一部分。
第三，非形式的 954 逻辑是 43 逻辑的 1172 第二种类型，它对应于科学论 中的 643 方法论那一部分。因而，非形式的 984 逻辑就是 80 方法论的 1498 逻辑， 它后来的 1529 发展形态也就是 391 科学认识的 6 方法论。