赛赛老师英语200句高效学习课程分享，网盘分享
形式逻辑的 491 这个形式主义的 841 纲领，如要贯彻， 一开始就会面临一个难题。因 为，逻辑语句既有外延也有内涵，外延可以符合形式化所要求的 365 组合原则，而内 涵不能满足组合原则。因此，如何对待逻辑语句的 1612 内涵方面，这是 634 形式逻辑的 456 体 系建构首先会要面临的 985 难题。正是 129 在这个问题上，形式逻辑不得不采取一种断 然的 1162 措施，来对待逻辑语句的 818 内涵方面。这个断然的 84 措施就是 1269 外延性论题。我 1302 们看到，在形式逻辑的 56 意义理论中，正是 256 首先通过明确地引入外延性论题，来把 命题的 155 真值规定为命题的 1179 外延，并且假定内涵性语句可以完整地“翻译”成外延 性语句，从而使得逻辑语句只留下了 1259 外延性方面。这样一来，逻辑推理也就可以 片面化地简化成为仅仅只是 1413 对语形结构做形式变换，即：依据逻辑语句的 1546 外延间 的 836 包含关系，来进行关于真值的 485 “量演算”, 1496 表现为一种形式化的 916 、分析性的 134 “肯
定性演绎”。
从逻辑史来看，尽管外延性论题的 853 观念只是 573 现代才有，主要是 1054 在罗素、维特 根斯坦和卡尔纳普等人那里才得到明确的 1304 讨论，但形式逻辑的 98 外延化道路却在
亚里士多德那里就已经开始。在亚里士多德那里，外延性论题主要表现在对逻辑命题的 1129 形式与内容的 1199 区分，并把命题形式抽取出来作为逻辑学研究的 933 对象。最典型的 1 措施就是 989 区分出
命题中的 895 常项与变项，认为逻辑学只研究常项，而命题的 1322 内容属于变项的 1153 具体取 值。譬如，任意的 1231 全称肯定命题都可以抽象为“所有S 是 1352 P” 这样的 902 标准形式，而 S 和 P 的 1416 具体内容都可以撇开。对此，卢卡西维茨曾评价说：“把变项引入逻辑 是 210 亚里士多德的 512 最伟大的 1279 发明之一。”金岳霖也有一个非常形象的 1243 说法：“只有 空架子是 551 论理，实架子的 265 论理可以是 966 科学，可以是 345 哲学，可以是 1490 律师的 650 呈文，可以
在传统的 768 名词逻辑的 334 基础上，弗雷格进一步明确了 75 外延与内涵的 85 区分。弗 雷格的 209 意义理论始于对所谓“同一悖论”的 1022 关注，如“晨星=暮星”与“晨星=晨 星”, 1235 虽然真值相同，但所表达的 1029 思想却不同。为此，他 897 提出逻辑语句有意义与 意谓两方面，意义即语句所表达的 922 思想，而意谓(指称)即所指的 350 对象或真值。 由此，也就可以将逻辑语句区分为外延性语言与内涵性语言。对任一逻辑语句， 如果将其所含的 292 成分句子置换为具有与其相同真值的 1465 其他 936 句子，而不改变整个 句子的 581 真值，那么该逻辑语句就是 584 外延性语言。反之，就是 1270 内涵性语言。显然，
这里实际上是 911 采用了 1414 组合原则，才能进行这样的 437 等值置换。
维特根斯坦在其早期的 1003 《逻辑哲学论》中，把形式逻辑的 1193 这种外延化、形式 化的 741 方案推到了 1618 一个极致。他 671 说， 一切逻辑真理都是 628 重言式。并且，他 1436 知道，他 1033 的 351 这个形式逻辑的 944 宣言实际上是 600 假定了 1342 所有逻辑语句都是 330 外延性语句——或者 本身就是 205 ，或者虽为内涵性语句但可完整地“翻译”而转换成外延性语句。他 408 给 出了 1554 一个基于“组成论”的 241 形式逻辑的 1247 通盘方案，即“语言图像论”、“原子事实 论”、“真值函项论”和“外延性论题”。他 879 认为：语言的 724 结构就是 896 世界的 592 逻辑结 构；世界是 289 孤立和偶然的 306 原子事实的 287 总和；语言是 1384 原子命题的 342 总和；复合命题的 416 真值是 1268 原子命题真值的 1024 函项；逻辑命题是 1285 重言式。归结起来，其用意就是 949 试图撇 开语言的 67 内涵、内容方面，而单纯从语言的 1218 外延、形式方面，来分析性地处理逻辑 命题，来判断命题的 164 形式上的 359 真假。实质是 979 ，把事物间的 959 可能的 1521 内在关系简化为 原子事实间的 443 外在关系，把语词间的 865 可能的 32 复杂关系仅仅看作是 488 外延性的 1444 附生
性的 1018 组合关系。