慕千王者荣耀大局观 全位置通用课程 课程分享，网盘分享
逻辑的 779 类型不是 686 单一的 1064 ，逻辑的 836 理论不是 1412 一成不变的 14 。和其 他 871 任何科学一样，逻辑是 1279 历史发展的 1497 科学，在发展途程中，逻辑 不断地改变着形态，生长出不同的 450 种类和分支。
按照传统观念，逻辑都是 143 形式的 189 ， “逻辑”与“形式逻辑” 是 1209 同义语。例如英国逻辑学家凯恩斯说： “逻辑一定是 1285 形式的 1008 ，或者至少是 202 非实质的 896 ”。美国逻辑学家丘奇说，“我 1156 们研究的 1560 对 象是 1301 逻辑”, 178 “它也可以称为形式逻辑”。
一般认为，形式逻辑是 400 由古希腊的 674 亚里士多德始创的 1305 。但 是 554 ，亚里士多德本人并没有以“形式逻辑”命名他 256 的 682 逻辑。把亚里 士多德所创立的 1611 逻辑类型称为形式逻辑，始出康德的 378 《纯粹理性 批判》一书。在该书中，康德也用(而且是 1313 更多使用)“普通逻辑” 指称亚里士多德的 1142 逻辑。他 520 认为，普通逻辑所揭示的 1225 只是 895 思维的 363 形式，而不是 824 素材。它撇开了 406 认识的 827 一切内容。大概就是 911 基于这 种认识，他 131 称亚里士多德的 1286 逻辑是 152 形式逻辑。可是 1379 ，康德没有说 明什么是 1236 “形式”, 298 也没有说明亚里士多德怎样研究了 1404 形式。对 此，德国逻辑史家亨利希·肖尔兹解释得比较清楚。他 402 说： “我 1441 们先应说明， 一般的 1184 形式是 459 什么, 508 特殊的 655 完善的 1390 形式又是 667 什么。
按照亚里士多德的 1084 办法，我 1514 们可以把任何一个能断定为真或假的 1411 命题的 197 成分，分为两类。第一类成分被看作是 1042 固定的 219 和不变的 337 ；
第二类成分被看作是 117 可变的 567 。我 1194 们根据亚里士多德的 945 办法，把后
类成分用字母表示，我 1455 们把这些字母解释为变项，即作为可以 填进一些什么东西的 1318 空位的 797 符号来对待的 77 ，但暂时不用管填进了 109 什么。 一般的 105 形式可看作是 1106 至少含有一个变项的 1349 表达式，当事实 上我 1212 们用某种东西代替这个变项时，它就变成或真或假的 1505 命题。 完善的 1602 形式可看作是 573 当我 313 们用一些合适的 1554 变项来代替了 1190 所有我 918 们 看作是 87 可变的 514 成分时，从一个命题得出的 1579 表达式。”④那么, 1464 亚 里士多德研究了 1467 什么样的 1548 形式，他 1491 又是 1561 怎样研究那些形式的 1218 ? 401 按 照亚里士多德的 38 做法，对于下列命题：
“所有葡萄树都是 1615 阔叶植物。”
可以确认它们有相同的 97 形式，即；
“所有……都是 1011 …… ”
可以看出，命题含有两种成分， 一种成分是 938 固定不变的 714 ，如“所 有”、“都是 418 ”;另一种成分是 1239 可变的 364 ，这是 809 指“空位”部分，亚 里士多德通过在空位上填写字母的 1500 办法表示命题的 431 可变成分。这 样，上述命题形式就成为：
“所有S都是 304 P”
现在我 1315 们把命题的 1438 不变成分称为逻辑常项，把代表命题可变成分 的 251 字母称为变项。按照肖尔兹的 310 说明， “所有S 都是 480 P” 属于完 善的 946 形式，因为它的 1617 所有可变部分都用字母变项填充了 606 。可见， 亚里士多德研究的 656 是 488 完善的 1014 形式。但是 27 ，亚里士多德并没有研究这类形式的 1477 全部，他 9 研究命题形式是 347 为了 342 解决推论的 80 有效性问题， 因而他 1171 只是 833 研究了 134 与此有关的 265 、可以从中定出推理规则的 1066 完善形 式。他 662 研究这类形式时，关心的 1463 是 577 “以某种形式的 1395 命题为前提， 可以有效地推出何种形式的 245 命题为结论”。例如，如果断定了 1290 “所 有M是 865 P” 并且“所有S是 1255 M”, 1224 就能必然得出“所有S是 1448 P” 的 1523 结 论。亚里士多德就是 1090 这样研究形式的 498 。据此，肖尔兹说：“亚里 士多德的 98 逻辑，或者确切地说，由亚里士多德奠定基础的 1153 逻辑， 就其仅仅涉及形式，或更严格地说，仅仅涉及完善的 171 形式来说， 是 485 一种形式逻辑。”①肖尔兹的 1208 这一解释，得到了 555 大多数逻辑学 家的 646 首肯。