按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
ｌｏｇｉｃ）是不同的两件事。亚里士多德的逻辑是形式的但不是形式化的，然而斯多亚派的逻辑既是形式的又是形式化的。
让我们解释一下“形式化”
在现代化形式逻辑中意味着什么。
现代形式逻辑力求达到最大可能的确切性。只有运用由固定的、可以辨识的记号构成的精确语言才能达到这个目的。
这样一种语言是任何科学所不可缺少的。不是由词构成的我们自己的思想甚至于不能为我们自己了解，而别人的思想，当其不具有一定外形时，那就只有有超人的视力的人才能把握它了。每一个科学真理，为了能被了解和确证，必须赋予人人知晓的外形。
所有这些话似乎无可争辩地是真的。
因此，现
①亚历山大２１。
３０，“斯多亚派认为是不合法的论断，有如下面这样的议论：第一大于第二，第二大于第三，所以第一大于第三。”同上，３４５。
１３，“这就是那些最新的一派人（即斯多亚派）称为不合法的论断。不如它们叫做三段论的那些人是谈论得正确的，……认为它们类似直言三段论的人……是完全错了。”
…… 41
７。什么是形式化A ９２
代形式逻辑对语言的精确性给以最大的注意。所谓形式化就是这个倾向的结果。为了弄明白它是什么，让我们分析一下以下的实例。
逻辑中有一条推论规则，先前叫做：“肯定前件的假言推理（ｍｏｄｕｓ
ｐｏｎｅｎｓ）“
，现在称为分离规则。根据这条规则，如果一个“如果α，那么β”
形式的蕴涵式被断定了，并且这个蕴涵式的前件也被断定了，我们就可以断定它的后件β。
为了能应用这条规则，我们必须知道单独断定的命题α，与作为蕴涵式前件的α表示着“相同的”
思想。因为只有在这个情况下，我们才许可进行推论。
我们只有在两个α严格地具有相同的外在形式时，才能陈述这一点。因为我们不能直接地抓住由这些α所表达的思想，而两个思想等同的必要条件（尽管不是充分条件）
乃是它们的表达式的外部相等。例如，当断定蕴涵式“如果所有哲学家都是人，那么所有哲学家都是有死的”
时，你还可以把“每一个哲学家是一个人”
这个语句当作第二个前提加以断定，但你却不能由这些前提得到结论：“所有哲学家都是有死的”
，因为“每一个哲学家都是一个人”
这个语句与“所有哲学家都是人”
这个语句表示相同的思想，是没有什么保证的。必需要借助于一个定义来肯定：“每一个Ａ是Ｂ”
与“所有的Ａ是Ｂ”
的意义是相同的；在此定义的基础上，把语句“每一个哲学家是一个人”
用语句“所有哲学家都是人”
来替换，只有如此，得出结论才会是可能的。
从这个实例你能容易地了解形式化的意义。形式化要求相同的思想应当总是用由严格相同的方式排列起来的词之严格相同的序列来表达。当一个证明按照这个原则构成时，我们就能够仅仅在它的外在形式的基础
…… 42
０３第一章 亚里士多德三段论系统的要素
上控制它的正确性，而无须牵涉到证明中所用的词项的意义。
为了从前提“如果α，那么β”
以及α，得出结论β，我们并不需要知道α或者β真正指着什么，只要弄明白包含在前提中的两个α具有相同的外在形式就够了。
亚里士多德及其后继者逍遥学派都不是主张形式化的人，如我们已经看到的，亚里士多德在构成他的断定命题时是不严谨的。这种不严格性的最显著的情况就是其三段论的抽象形式与具体形式之间的结构上的歧异。以本书第四节曾引用的带有反对前提的三段论为例。
①令Ｂ与Ｃ代表“科学”
，Ａ代表“医学”
，亚里士多德在变项中陈述为：如果Ｂ属于所有的Ａ并且Ｃ属于无一Ａ，那么Ｃ不属于有些Ｂ。
②
在具体词项中陈述为：如果所有医学是科学并且没有医学是科学那么有些科学不是科学。
两个三段论所包含的相对应的前提的差别是明显的。以第一个前提为例。公式“Ｂ属于所有的Ａ”对应于这句语句：“科学属于所有的医学”
，而“所有医学是科学”这个语句对应于公式“所有Ａ是Ｂ”。
亚里士多德举出的具体词项的语句，不
①见第１８页注②。
②用变项表示的结论在希腊文本中被省去了。
…… 43
７。什么是形式化A １３
能看作是他所承认的抽象公式的替换。什么是这个差别的原因呢？
亚历山大对这个问题提出了三个解释。
①第一个可以因其不重要而略去，最后一个是哲学的解释，并且在我看来，它是错误的；只有第二个值得我们注意。根据这个解释，在具有“表述某物”这个动词（并且我们可加上具有“属于某物”这个动词）的公式中，比起（我们还可以加上）在具有动词“是”的公式中，主项和谓项能较好地区分开来（γωριμωD ρι）。实际上，F H M J在带有动词“是”的公式中，主项与谓项都是使用的主格；而在亚里士多德所愿意采用的公式中，只有谓项是用主格，主项则用属格或者是与格，从而能较容易地与谓项区别开。
亚历山大最后的批评也是极有教益的，由它可以知道：说“美德表述所有的公正”
来代替习惯说法“凡公正都是美德”，正如在现代语言中一样，在古代希腊也令人感到矫揉造作。
在亚里士多德逻辑中还有更多的不严格的情况。
亚里士多德常常使用不同的短语表示相同的思想。
我将举出几个这类的例子。
他用“Ａ表述所有的Ｂ”
这些词开始他的三段论，但随即他就把这些词改变为“Ａ属于所有的Ｂ”
这个短语，后者似乎是正规的。
“表述”
和“属于”
这些词还常常被省去，有时甚至将重要的数量记号“所
①亚历山大５４。
２１，“他在自己的理论中使用表达词‘属于所有’与‘不属于任何’乃是假定，由于它们使得命题的结合成为可以理解的，并且使这样表述的谓项和主项也变得更加可以了解，同时还假定前者（即谓项）由于自己的本性被包含于主项之中。在三段论的活动方式中，一切都变得相反了。不说所有公正都是美德，而是反过来说美德表述所有的公正。应当在这两种方式中练习，以便我们能够按照三段论的方式与根据理论来作出结论”。
…… 44
２３第一章 亚里士多德三段论系统的要素
有“
也省去。除“Ａ属于有些Ｂ”
之外，还有可以译为“Ａ属于有些Ｂ的分子”
（“Ａｂｅｌｏｎｇｓ
ｔｏ
ｓｏｍｅ
ｏｆ
ｔｈｅ
Ｂ‘ｓ“）
这样的形式。
三段论的前提是用不同的连接词联结起来的。
三段论的必然性用了各种不同的方式来表示，有时甚至干脆省略了。
①尽管这
①短语ò
Ａ à
παòｓ～Ｂ（Ａ〔表述〕所有的Ｂ，αηγρι～αιH G S H F H J F G J M H〔表述〕一字两次被省去了）在Ｂａｒｂａｒａ式中使用（见第１１页注①〔《前分析篇》ｉ。
２５ｂ２７“
〕）
∈ι‘
γàρò，αà
παòｓ～， αà～ αηγρH I G H F H J F K G H T F U G H J Mι～σθαι。“
］，ò
παιVω～ Ｂ（Ａ〔属于〕所有的Ｂ，πá∈ι〔属于〕完全H I F H L省去了）用于同一个式的另外一种公式中（见第２０页注①〔《前分析篇》ｉ。
１，６１Ｂ３４
∈γàρò
ＡπαιVω～ Ａ ，ò
παιVω～ Ｂ。“
〕）。
短语H F H U F Hò
Ａ ιιVω～ Ｂ �