亚里士多德的三段论-第18部分

快捷操作: 按键盘上方向键 ← 或 → 可快速上下翻页 按键盘上的 Enter 键可回到本书目录页 按键盘上方向键 ↑ 可回到本页顶部! 如果本书没有阅读完，想下次继续接着阅读，可使用上方 "收藏到我的浏览器" 功能 和 "加入书签" 功能！



　　　　在这些化归之后，只有Ａｂａ或Ｉａｂ能够作为前件留下来。

　　　　现在可以表明这两个蕴涵式，ＣＡｂａＡａｂ与ＣＩａｂＡａｂ，根据我们的排斥公理都是被排斥的：

　　　　Ｘ。

　　　　ｐＡｃｂ，ｑＡｂａ，ｒＩａｃ，ＳＡａｂ×Ｃ２７—１０８＇１０８。

　　　　ＣＡａｂＡｂａＣＫＡｃｂＡａｂＩａｃ（Ｘ。

　　　　ＣＫｐｑｒＣｓｑＣＫｐｓｒ；

　　　　１０８×ＣP１０９—P５９２７。

　　　　ＣＫＡｃｂＡｂａＩａｃ）

……　187

　　　　３。三段论系统的初等表达式A　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　５７１

　　　　P１０９。

　　　　ＣＡａｂＡｂａP１０９×P１１０。

　　　　ｂａａｂ＇　P１０

　　　　ＣＡｂａＡａｂ。

　　　　如果ＣＡｂａＡａｂ被排斥，则ＣＩａｂＡａｂ必定也被排斥，因为Ｉａｂ是比Ａｂａ更弱的前提。

　　　　（ｄ）后件是Ａａｂ并且有Ａａｆ型的前件（其中ｆ不同于ａ）。

　　　　如果有一个由ａ导至ｂ的系列，根据公理３（Ｂａｒｂａｒａ式）

　　　　这个表达式被断定；如果没有这样的系列，这个表达式就被排斥。

　　　　证明：我把一个由ａ导至ｂ的系列了解为一个有序的全称肯定前提的序列：

　　　　Ａａｃ１，Ａｃ１ｃ２…，Ａｃｎ１ｃｎ，Ａｃｎｂ，C序列的第一项有ａ作为它的第一个变元。

　　　　最后一项有ｂ作为它的第二个变元。

　　　　而每一个其它项的第二个变元都与它的后承者的第一个变元相同。

　　　　很明显，从这样一个表达式的序列，重复应用Ｂａｒｂａｒａ式就得出Ａａｂ。

　　　　所以，如果有一个从ａ导至ｂ的系列，这表达式就被断定；如果没有这样的系列，我们能消去Ａａｆ型的前提（将它们的第二个变元等同于ａ）

　　　　，用这种方法这表达式被化归为从属情况（ｃ）

　　　　，而它已是被排斥的。

　　　　第六种情况：所有前件都是肯定的，而后件是一个特称肯定命题。

　　　　这里我们也必须区分几种从属情况。

　　　　（ａ）后件是Ｉａ；这表达式是被断定的，因为它的后件是真的。

　　　　（ｂ）后件是Ｉａｂ，而出现为前件的或是Ａａｂ，或Ａｂａ，或Ｉａｂ，或Ｉｂａ；很显然，在所有这些情况，这表达式必须被断定。

　　　　以下都假定以上四者都不作为前件出现。

……　188

　　　　６７１第五章　判定问题

　　　　（ｃ）

　　　　后件是Ｉａｂ，而没有前件是Ａｆａ型的（ｆ不同于ａ）

　　　　，或者是Ａｇｂ型的（ｇ不同于ｂ）这表达式是被排斥的。

　　　　证明：我们把所有不同于ａ，ｂ的变项都等同于ｃ；于是在Ａｃｃ或Ｉｃｃ型的真前提之外，我们只得到以下前件：

　　　　Ａａｃ，Ａｂｃ，Ｉａｃ，Ｉｂｃ。

　　　　Ａａｃ蕴涵Ｉａｃ，而Ａｂｃ蕴涵Ｉｂｃ。

　　　　所以，前提的最强的组合是Ａａｃ与Ａｂｃ。

　　　　然而，从这个组合，不会得出Ｉａｂ，因为公式

　　　　ＣＡａｃＣＡｂｃＩａｂ等值于我们的排斥公理。

　　　　（ｄ）

　　　　后件是Ｉａｂ，并且在前件之中有Ａｆａ型（ｆ不同于ａ）

　　　　的表达式，而没有Ａｇｂ型（ｇ不同于ｂ）

　　　　的表达式。

　　　　如果有Ａｂｅ或Ｉｂｅ（Ｉｅｂ）

　　　　，并且有一个从ｅ导至ａ的系列：（α）Ａｂｅ；Ａｅ１，Ａｅ１ｅ２，…，Ａｅｎａ，（β）

　　　　Ｉｂｅ；Ａｅ１，Ａｅ１ｅ２，…，Ａｅｎａ我们从（α）

　　　　得到Ａｂｅ与Ａｅａ，从而用Ｂｒａｍａｎｔｉｐ式得到Ｉａｂ，而从（β）

　　　　得到Ｉｂｅ与Ａｅａ，从而用Ｄｉｍａｒｉｓ式得到Ｉａｂ。

　　　　在两种情况中，这表达式都是被断定的。

　　　　然而，如果不满足条件（α）

　　　　和（β）

　　　　，我们能够消去Ａｆａ型的前提（用把它们的第一个变元等同于ａ的办法）

　　　　，根据从属情况（ｃ）

　　　　，这表达式必须被排斥。

　　　　（ｅ）后件是Ｉａｂ，并且在前件之中有Ａｇｂ型（ｇ不同于ｂ）的表达式，而没有Ａｆａ型（ｆ不同于ａ）的表达式。

　　　　这个情况能够化归为从属情况（ｄ）

　　　　，因为ａ与ｂ就后件Ｉａｂ而言是对称的。

　　　　（ｆ）后件是Ｉａｂ，并且在前件之中有Ａｆａ型（ｆ不同于ａ）

　　　　的表达式与Ａｇｂ型（ｇ不同于ｂ）的表达式。

　　　　我们可以设想条

……　189

　　　　３。三段论系统的初等表达式A　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　７７１

　　　　件（α）与（β）对于Ａｆａ是没有满足的，或者同样的条件对于Ａｇｂ也是没有满足的；否则，如我们已经知道的，这个原表达式将是被断定的。

　　　　现在，如果有Ａｃａ与一个从ｃ导至ｂ的系列：（γ）Ａｃａ；Ａｃ１Ａｃ１ｃ２，…，Ａｃｎｂ，或者Ａｄｂ与一个从ｄ导至ａ的系列：（δ）Ａｄｂ；Ａｄ１，Ａｄ１ｄ２，…，Ａｄｎａ，我们从（γ）得到Ａｃａ与Ａｃｂ，从（δ）得到Ａｄｂ与Ａｄａ。

　　　　从而在两种情况下，用Ｄａｒａｐｔｉ式都得出Ｉａｂ。

　　　　进一步说，如果有一前件Ｉｃｄ（或Ｉｄｃ）与两个系列，一为从ｃ导至ａ，另一为由ｄ导至ｂ：Ｉｃｄ；Ａｃ（∈）１，Ａｃ１ｃ２，…，ＡｃｎａＩｃｄ；Ａｄ１，Ａｄ１ｄ２，…

　　　　Ａｄｎｂ我从第一个系列得出前提Ａｃａ，从第二个系列得出前提Ａｄｂ，而这两个前提与Ｉｃｄ一起，基于复合三段论（ｐｏｌｙｓｙｌｏｇｉｓｍ）

　　　　ＣＩｃｄＣＡｃａＣＡｄｂＩａｂ得出结论Ｉａｂ。

　　　　我们这样来证明这个复合三段论：从Ｉｃｄ与Ａｃａ用Ｄｉｓａｍｉｓ式推出Ｉａｄ，然后从Ｉａｄ与Ａｄｂ用Ｄａｒｉ出式推出Ｉａｂ。

　　　　在所有这些情况下，这个原表达式都必须被断定。

　　　　然而，如果条件（γ）

　　　　，（δ）或（∈）没有一个是被满足的，我们可以消去Ａｆａ与Ａｇｂ型的表达式（用将它们的第一个变元分别地等同于ａ或ｂ的办法）

　　　　，而根据从属情况（ｃ）

　　　　，这个原表达式必须被排斥。

　　　　现在穷尽了一切可能的情况，并且证明了每一个有意义的亚里士多德三段论系统的表达式，在我们的公理和推论规则的基础上，或者是被断定的，或者是被排斥

……　190

　　　　８７１第五章　判定问题

　　　　的。

　　　　３４。三段论系统的一个算术的解释A莱布尼兹于１６７９年发现了亚里士多德三段论系统的一个算术的解释。

　　　　从历史的以及从系统的观点来说，它应当受到我们的注意。

　　　　①它是一个同构的解释（ｉｓｏｍｒｐｈｉｃｉｎｔｅｒｐｒｅｔａｔｉｏｎ）。

　　　　莱布尼兹并不知道亚里士多德三段论系统可以公理化，而且他也不知道关于排斥及其规则的任何东西。

　　　　他为了相信他的解释是不错的，他才检验了某些换位定律与某些三段论的式。

　　　　所以，他的解释满足我们的断定的公理１—４、排斥的公理P５９，以及斯卢派斯基规则等等，好像仅仅是一种巧合。

　　　　无论如何，在他的研究中他的哲学直观指导着他产生了一个如此圆满的结果，的确是一桩奇事。

　　　　莱布尼兹的算术解释是基于三段论系统的变项与自然数彼此互素的有序偶（ｏｒｄｅｒｅｄ

　　　　ｐａｉｒｓ

　　　　ｏｆ

　　　　ｎａｔｕｒａｌ

　　　　ｎｕｍｂｅｒｓ

　　　　ｐｒｉｍｅ

　　　　ｔｏ

　　　　ｅａｃｈ

　　　　ｏｔｈｅｒ）之间的相关关系（ｃｏｒｅｌａｔｉｏｎ）。

　　　　例如，对于变项ａ，对应着两个互素的数，ａ１与ａ２；对于变项ｂ，对应着两个其它的也是互素的数，ｂ与ｂ。

　　　　当且仅当ａ１可被ｂ１整除，并且ａ２可被ｂ２整除时，前提Ａａｂ才是真的。

　　　　如果这些条件之一没有满足，Ａａｂ就是假的，从而ＮＡａｂ就是真的。

　　　　当

　　　　①见Ｌ。库杜拉特：《莱布尼兹未刊行的著作和残篇》（ＯｐｕｓｃｕｌｅｓｅｔｆｒａｇCｍｅｎｔｓｉｎéｄｉｔｓｄｅＬｅｉｂｎｉｚ）

　　　　，巴黎１９０３年版，第１７页以下。

　　　　又参看杨卢卡西维茨W《论亚里士多德的三段论》（Ｏｓｙｌｏｇｉｓｔｙｃｅ

　　　　Ａｒｙｓｔｏｔｅｌｅｓａ）

　　　　，《克拉科夫科学院院刊》ｘｌｉｖ，第６号（１９３９年）

　　　　，第２０页。

……　191

　　　　３４。三段论系统的一个算术的解释A　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　９７１

　　　　且仅当ａ１与ｂ２之间没有公因数，并且ａ与ｂ１之间没有公因数时，前提Ｉａｂ才是真的。

　　　　如果这些条件之一没有满足，Ｉａｂ就是假的，从而ＮＩａｂ就是真的。

　　　　容易看出：我们的断定的公理１—４都是被确证的。

　　　　公理１，Ａａａ是被确证的，因为每一个数可由它自己整除。

　　　　公理２，Ｉａ是被确证的，因为已经假定，对应于ａ的两个数，ａ１与ａ２是互素的。

　　　　公理３，Ｂａｒｂａｒａ式ＣＫＡｂｃＡａｂＡａｃ也是被确证的，因为可整除的关系是传递的。

　　　　公理４，Ｄａｔｉｓｔ式ＣＫＡｂｃＩｂａＩａｃ，也是被确证的；因为如果ｂ１可被ｃ１整除，ｂ２可被ｃ２整除，ｂ１与ａ２之间没有公因数，并且ｂ２与ａ１之间没有公因数，那么，ａ１与ｃ２之间必定没有公因数，并且ａ２与ｃ１之间必定没有公因数。

　　　　因为，如果ａ１与ｃ２有一个比１大的公因子，ａ１与ｂ２也将有这个相同的公因子，因ｂ２包含ｃ２。

　　　　但这是与ａ１与ｂ２之间没有公因数的假定相违背的。

　　　　同样，我们证明ａ２与ｃ１之间必定没有公因数。

　　　　表明公理P５９ＣＫＡｃｂＡａｂＩａｃ必须被排斥，也是容易的。

　　　　举以下数字为例：ａ１＝１５，ｂ１＝３，ｃ１＝１２，ａ２＝１４，ｂ２＝７，ｃ２＝３５。

　　　　Ａｃｂ是真的，因为ｃ１被ｂ１整除，并且ｃ２可被ｂ２整除；Ａａｂ也是真的，因为ａ１可被ｂ１整除，并且ａ２可被ｂ２整除；但结论Ｉａｃ不是真的，因为ａ１与ｃ２不是互素的。

　　　　斯卢派斯基规则的确证较为复杂些。

　　　　我将借助实例来说明这个问题。

　　　　让我们取排斥的表达式：（P１）ＣＮＡａｂＣＮＩｃｄＣＩｂｄＮＡａｄ与（P２）ＣＮＩｂｃＣＮＩｃｄＣＩｂｄＮＡａｄ。

……　192

　　　　０８１第五章　判定问题

　　　　我们用斯卢派斯基规则，

　　　　PＣＮαγ，PＣＮβγ→ＣＮαＣＮβγ，从（P１）与（P２）得到第三个排斥的表达式，（P３）ＣＮＡａｂＣＮＩｂｃＣＮＩｃｄＣＩｂｄＮＡａｄ。

　　　　例如用以下一组数字，表达式（１）就被反驳了：ａ１＝４，ｂ１＝７，ｃ１＝３，ｄ１＝４，（４）ａ２＝９，ｂ２＝５，ｃ２＝８，ｄ２＝３。

　　　　能够很容易地证明：根据这个解释Ａａｂ是假的（因为４不能被７整除）

　　　　，从而ＮＡａｂ是真的；Ｉｃｄ是假的（因为ｃ２对于ｄ１不是互素的）

　　　　，所以ＮＩｃｄ是真的；Ｉｂｄ是真的（因为ｂ１与ｄ２，ｂ２与ｄ１两对数，彼此都是互素的）

　　　　；但是ＮＡａｄ是假的，因为Ａａｄ是真的（ａ１可被ｄ１整除，而且ａ２可被ｄ２整除）。

　　　　所有前件都是真的，后件是假的；所以表达式（１）被驳倒了。

　　　　相同的这样一组数并不反驳表达式（２）

　　　　，因为Ｉｂｃ是真的（由于ｂ１与ｃ２，及ｂ２与ｃ１两对数，彼此是互素的）

　　　　，从而ＮＩｂｃ是假的。

　　　　但如果一个蕴涵式的前件是假的，这个蕴涵式就是真的。

　　　　为了反驳表达式（２）

　　　　，我们必须取另外一组数：ａ（５）１＝９，ｂ１＝３，ｃ１＝８，ｄ１＝３，ａ２＝２，ｂ２＝２，ｃ２＝５，ｄ２＝２。

　　　　根据这个解释，表达式（２）的所有前件都是真的，而后件是假的；所以，这表达式就被反驳了。

　　　　但这第二组数并不反驳表达式（１）

　　　　，因为Ａａｂ是真的，从而ＮＡａｂ是假的，而一个假前件产生出一个真蕴涵式。

　　　　所以，（４）组与（５）组数都不能反驳表达式（３）

　　　　，它包括ＮＡａｂ以及ＮＩｂｃ。

……　193

　　　　３４。三段论系统的一个算术的解释A　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　１８１

　　　　有一个一般的方法能使我们当表述式（１）与（２）被反驳后，就反驳表达式（３）。

　　　　①首先，我们写下构成反驳（１）与（２）的数组的所有素数，我们得到对于（１）的一系列数２，３，５与７，以及对于（２）的一系列数２，３与５。

　　　　其次，我们用完全不同于第一系列的素数的新的素数来代换第二系列的数，例如，以１代２，１３代３，１７代５。

　　　　这样我们就得到一组新的数：

　　　　（６）ａ１＝１３１３，ｂ１＝１３，ｃ１＝３１１１１，ｄ１＝４１３，Wａ２＝１１，ｂ２＝１１，ｃ２＝８１７，ｄ２＝３１１W这个数组也反驳（２）

　　　　，因为可整除性与互素性的关系保持着和它们在代换之前的同样情况。

　　　　第三，我们把（４）组和（６）

　　　　组中出现的对应的变项的数相乘。

　　　　这样我们就得到一个新组：ａ１３１３，ｂ１３，ｃ１１１１，ｄ１３，（７）１＝４１＝７１＝３１＝４Wａ２＝９１１，

　　　　ｂ２＝５１１，ｃ２＝８１７，

　　　　ｄ２＝３１１W这个数组反驳（３）。

　　　　因为很明显，第一，如果对于前提Ａｅｆ或Ｉｅｆ对应着数组：ｅ１，ｅ２，ｆ１，ｆ２与ｅ２互素，ｆ１与ｆ２互素，并且有另一数组ｅD１与ｅD２互素，ｆD１ｆD２与ｅD２互素，它们全都由不同于前一组数的素数组成，从而ｅ１与ｅD１的乘积（即ｅ１ｅD１）

　　　　，与ｅ２与ｅD２的乘积（即ｅ２ｅD２）必定是互素的，而且W①这个方法是由斯卢派斯基发现的。

　　　　《关于亚里士多德三段论理论的研究》第２８页—３０页。

　　　　②如果有一个变项出现于被反驳的表达式之中，但不出现在另一个之中，我们在最后的置换之后，就简单地取它的对应的数。

　　　　②

……　194

　　　　２８１第五章　判定问题

　　　　ｆ１ｆD１与ｆ２ｆD２也必定是互素的。

　　　　其次，如果Ａｅｆ被第一组数确W证，亦即如果ｅ１可被ｆ１整除，而且ｅ２可被ｆ２整除，并且同样情况对于第二组数也是真的，使得ｅD１也被ｆD１整除，而且ｅD２也被ｆD２整除，那么，ｅ１ｅD１必定可被ｆ１ｆD１整除，ｅ２ｅD２必定可被ｆ２ｆD２整W除。

　　　　再有，如果Ｉｅｆ被第一组数确证，亦即ｅ１与ｆ２互素，而ｅ２

　　　　与ｆ１互素，并且同样情况对于第二组数也是真的，使得ｅD１与ｆD２互素，而ｅD２与ｆD１互素，那么，ｅ１ｅD１与ｆ２ｆD２必定是互素的，ｅ２WｅD２与ｆ１ｆD１必定是互素的，因为所有第二组的数对第一组的数W都是互素的。

　　　　相反地，只要可整除性或互素性这些条件之一未能满足，那么，这相关的前提必定是假的。

　　　　从我们的例子中可以看出：Ａａｄ和Ｉｂｄ都被（７）确证，因为它们都被（４）和（６）确证，并且Ｉｃｄ同时被（４）和（６）两者反驳，从而也被（７）反驳。

　　　　Ａａｂ仅被（４）反驳（但这也足以使得用（７）来反驳它了）

　　　　，并且Ｉｂｃ仅被（６）反驳（但这也足以使得用（７）来反驳它了）。

　　　　这个方法可应用于这一类的任何情况，从而斯卢派斯基规则就由莱布尼兹的解释所确证。

　　　　莱布尼兹曾经说过：科学的和哲学的争论总能够用一个演算来解决。

　　　　依我看，他的著名的“演算”似乎是与以上的三段论系统的算术解释相联系，而不是与他的关于数理逻辑的观念相联系。

　　　　３５。结束语A在亚里士多德三段论系统的历史的和系统的研究的基础上，我们所达到的结果，在许多点上都与通常的介绍不同。

……　195

　　　　３５。结束语A　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　３８１

　　　　亚里士多德逻辑不仅被来自哲学方面的逻辑学家所误传，因为他们错误地把它与传统的三段论系统等同起来，而且也被来自数学方面的逻辑学家所误传。

　　　　人们可以在数理逻辑教科书中一再地读到：Ａ前提的换位定律以及从它引出的有些三段论的形式（如Ｄａｒａｐｔｉ或Ｆｅｌａｐｔｏｎ）都是错的。

　　　　这个批评是基于这个错误的概念：亚里士多德的全称肯定前提“所有ａ都是ｂ”与量化的蕴涵式“对所有ｃ而言，如果ｃ是ａ，则ｃ是ｂ”

　　　　（其中ｃ是一个单一词项）

　　　　的意思是一样的，而且特称肯定前提“有些ａ是ｂ”与量化的合取式“对于有些ｃ而言，ｃ是ａ并且ｃ是ｂ”

　　　　（其中ｃ也是一个单一词项）的意思是一样的。

　　　　一个人如果承认这样一种解释，那么，他当然能够说定律ＣＡａｂｌｂａ是错的，因为ａ可以是一个空词项，以致没有ｃ是ａ，并且上面的量化的蕴涵式成为真的（因为它的前件是假的）

　　　　，而上面的量化的合取式成为假的（因为它的因子之一是假的）。

　　　　但是所有这些都是对亚里士多德逻辑的不恰当的误解。

　　　　在《分析篇》中没有什么段落能说明这样一个解释是正确的。

　　　　亚里士多德并没有把单一词项或空词项或量项引入他的逻辑。

　　　　他把他的逻辑仅应用于普通词项，如象“人”或“动物”。

　　　　并且甚至这些词项也仅仅属于这个系统的应用，而不属于这个系统本身。

　　　　在这个系统中，我们只有带有变元的表达式（如Ａａｂ或Ｉａｂ）及其否定式。

　　　　并且这些表达式中的两个乃是原始词项而不能被定义；它们仅仅有那些由公理陈述的性质。

　　　　同样的理由，像亚里士多德的三段论系统是否是一个类的理论（ａ

　　　　ｔｈｅｏｒｙ

　　　　ｏｆ

　　　　ｃｌａｓ）这样的争论，在我看来，是没有益处的。

　　　　亚里士多德的三段论系统既不是一个类的理论也不是一

……　196

　　　　４８１第五章　判定问题

　　　　个谓项理论；它独立于其它演绎系统而存在，有它自己的公理系统和自己本身的问题。

　　　　我曾试图陈述这个系统使之从各种外来因素中解脱出来。

　　　　我不把单一的、空的、否定的词项引入其中，因为亚里士多德未曾引进它们。

　　　　我也不引入量词；我只试图借助量词来解释有些亚里士多德的观念。

　　　　在形式证明中，我使用了演绎理论的断定命题，因为亚里士多德直观地把它们用在他的证明中，并且我使用排斥，因为亚里士多德本人排斥有些公式，而且甚至还陈述过一条排斥规则。

　　　　凡是亚里士多德的解说不完全正确的地方，我曾企图改正他的解说的缺点，例如，有些不能令人满意的使用归谬的证明，或者通过具体词项的排斥。

　　　　我所关注的是根据作者本人画定的轮廓并且符合现代形式逻辑的要求来建立亚里士多德的三段论的原来的系统。

　　　　这个系统的顶峰是判定问题的解决，而这是由斯卢派斯基的排斥规则而使之成为可能的，而且这是亚里士多德或其他逻辑学家所不知道的。

　　　　亚里士多德三段论是一个系统，其严格性甚至超过了一门数学理论的严格性，而这就是它的不朽的价值。

　　　　但是，它是一个狭小的系统，并且不能够应用于所有种类的推论，例如，数学的论证。

　　　　或许亚里士多德本人已经感到了他的系统不是适于每一种目的，因为他后来在实然三段论理论之外增加了模态三段论理论①。

　　　　这当然是逻辑的一个扩展，但也许并非是

　　　　①我认为由亚里士多德在《前分析篇》第Ⅰ卷第８—２２章所说明的模态三段论理论是后来插进去的，因为第２３章明显地是第７章的一个直接的继续。

……　197

　　　　３５。结束语A　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　５８１

　　　　一个正确的方向。