第20部分(第4/4 页)

。斯多亚学派做过类似的区别，但用希腊词alethes来表示“真实的”；在这里，“真实的”与“正确的”相对应，“虚假的”与“不正确的”相对应。他们指出，如果一个推理或者有效或者在其前提中包含某种假，那它就是不正确的（DL779）。

正文　斯多亚学派的逻辑学（7）

福哇手机　更新时间：2010…11…2　8：02：54　本章字数：866

推理有各种形式，被称之为“论式”（moods）。克律西普列举了5种基本的有效推理形式，他称其为“不可证的论式”（DL779）。这5种形式陈述如下，此处使用基数而非序数：

（A）如果1那么2；然而1；因此2。

（B）如果1那么2；然而非2；因此非1。

（C）不是1与2；然而1；因此非2。

（D）既非1也非2；然而1；因此非2。

（E）既非1也非2；然而非1；因此1。

克律西普坚信，一切有效的推理可以还原为这些原始形式，在他诸多逸作中，他似乎已然证明了许多定理，这些定理将更为复杂的引申论式还原为这些简单范式。于是，如果我们采取下列论式——

（F）如果1，那么如果1那么2；然而1；因此2，

我们就会通过下述方式表明这是一个有效的推理图式，这一方式便是从与论式（A）相符的两个前提中推导出“如果1那么2”，接着使用论式（A）再次进行推导，即从这个结论与第二前提“2”中进行推导（SE。；M8234…6）。

表面看来，克律西普所列举的5种原始图式，对命题演算内的演绎法而言，既没有构成完整的基础，也没有构成不可还原的基础。没有原始命题能够证明“p”就是从“既是p也是q”的论式中推理出来的；毫无疑问，之所以至此，是因为不愿意仅凭一个单独的前提来推理。第四个原始图式只有在“或者”得到不相容的解释时才是有效的；但如果它有效，那它就不需要，因为任何得到确认的推理，会通过论式（C）得到确认。

在古代后期，亚里士多德学派的逻辑学与斯多亚学派的逻辑学被视为彼此的对手，虽然斯多亚学派自己的著作未能幸存下来，但我们可以看到这两个体系的支持者相互争论的大量证据。凭