黄芳妈妈长高训练课 课程分享，网盘分享
形式逻辑的 672 发展史，就是 131 对其外延性论题从朦胧，到清晰，并进而到自 觉运用的 1566 历史。如果没有亚里士多德的 1364 外延化、形式化，就没有名词逻辑；没有 弗雷格对意谓(指称)与意义的 494 区分，就没有现代谓词逻辑；没有罗素、维特根斯 坦、卡尔纳普的 302 外延性论题，就没有当代模态逻辑的 747 可能世界语义学和蒙太古内 涵逻辑。可以说，正是 786 这种外延化的 1479 设定能走多远，形式逻辑就相应地能走多远。形式逻辑的 1032 这个外延化的 1505 手法，其实也是 1416 上世纪曾盛极一时的 1569 整个实证主 义思潮的 57 共同手法。在实证主义那里，有一个非常响亮的 1268 口号，即所谓“清除形 而上学”, 1020 其实质就是 849 要把哲学中的 319 内涵性语句翻译成外延性语句。按照实证主义的 358 意义标准，即可被实证的 1092 才是 442 有意义的 1183 ，只有那些可以被成功翻译成外延性语句的 1353 哲学命题，才是 291 可能予以实证的 1166 ，才是 459 有意义的 721 命题；而那些不能翻译 为外延性语句的 566 哲学命题就都属于形而上学，都在原则上就注定了 1349 不能被实证，因而是 1172 没有意义的 1273 ，是 1097 要被清除的 1128 。
外延性论题包含了 364 两个步骤的 711 手法， 一是 356 区分，二是 1087 归结。即：首先假定外 延与内涵可以截然地区分开来，然后再假定内涵方面可以归结到外延方面。并 且，在形式逻辑及其实证主义纲领那里还有一系列与之相应的 408 区分和归结，如： 常项与变项、形式与内容、对象与意义、分析与综合、语形与语义、结构与构造，等 等。实际上，外延性论题的 1171 逻辑效应覆盖到了 891 这一系列区分，并都做了 1575 相应的 1444 归 结。其中，尤以对分析与综合的 129 区分和归结为典型，同样也是 1207 形式逻辑的 551 演绎推
理赖以成立的 227 基础。
外延性论题的 1335 逻辑实质，是 1076 在逻辑语句的 200 语形与语义、外延与内涵、形式与 内容等一系列二重性的 637 双方中，将语义、内涵、内容等作为关系构造的 657 一方，假定 可以完整地归结到语形、外延、形式等作为实体结构的 1226 一方。这实际上是 751 说，逻 辑语句的 153 原本不能满足组合原则的 819 、具有流动性和整体性的 1352 意义性方面，在一定 的 605 范围内予以固化并分割开，使之能够近似地满足组合原则，使得逻辑推理得以 撇开具体内容而只管抽象形式。意义原本是 945 一个整体，不可分割，即意义的 1201 整体 原则。而外延性论题的 1334 逻辑学功能恰恰是 1239 要使得意义可以分割，以便可以满足 组合原则。具体就是 20 ，通过将内涵归结到外延，使得推理成为演算，而命题的 1421 真 值也就成为命题成分的 1310 函项。可见，外延性论题的 1112 逻辑学意义在于，使得形式逻 辑的 831 形式化方法得以可能。其精神实质是 1291 要表明这样一种态度，即便那些原本 以为不能被形式化的 1243 内涵性语句，也是 946 可以通过“翻译”而转换成外延性语言 的 656 ，也就可以施行形式化了 255 。自然的 1342 ， 一切逻辑语句就都可形式化地处理了 36 。总之，是 1596 一条基于“组成论”的 1220 、遵循组合原则的 1456 、彻底地形式化的 1001 路线。
形式逻辑的 280 外延化和形式化道路，必然要从根本上归结掉和取消掉内涵和 内容方面，以及连带一起要取消和否认作为内容逻辑的 1294 归纳逻辑和因果律。这 一点在维特根斯坦早期的 1213 《逻辑哲学论》那里就已表露无遗。他 866 说：“所谓归纳 规律无论如何不能是 159 一种逻辑规律，因为这显然是 18 一个有意义的 1572 命题。 ——因此它不能是 823 一种先天的 1496 规律。”①“归纳过程在于此：即我 1481 们采取能同我 526 们的 765 经验相协调的 572 最简单的 12 规律。”①“可是 976 这个过程没有逻辑的 1308 基础，而只有心理学的 1448 基 础。”②“因果律不是 1066 一种规律，而是 1283 一种规律的 409 形式。”③“‘因果律’是 796 一个类名词。”