“通常说逻辑是形式的，这是仅就思想形式而言，亦即就我们思维的方式而言，而不管我们思维的各种特殊对象”。这是从凯因斯的著名的形式逻辑教科书中引来的。 [39] 这里还有从科普勒斯顿神父的《哲学史》中引用的另一段话：“亚里士多德的逻辑通常名为形式逻辑。因为亚里士多德的逻辑是对思想形式的一种分析——这是一个适宜的描述。” [40]
在这两段引文中，我都读到“思想形式”这个我所不懂的表达词。思想是一种心理现象，而心理现象是没有外延的。一个没有外延的对象的形式指的是什么呢？“思想形式”这表达词是不精确的，并且这个不精确之处在我看来是来自一个错误的逻辑概念。如果你真正相信逻辑是关于思想规律的科学，你就会倾向于考虑形式逻辑是对于思想形式的研究。
然而，认为逻辑是关于思想规律的科学是不对的。研究我们实际上如何思维或我们应当如何思维并不是逻辑学的对象，第一个任务属于心理学，第二个任务属于类似于记忆术一类的实践技巧。逻辑与思维的关系并不比数学与思维的关系多。当然，在你要进行推论或证明时，你必须思考，而在你需要解决数学问题时，同样也必须思考。但是逻辑定律并不比数学定律在更大的程度上关系到你的思想。逻辑中的所谓“心理主义”乃是逻辑在现代哲学中衰败的标志。对这个衰败，亚里士多德是绝不能负责的。系统解说三段论理论的全部《前分析篇》的通篇，没有一个心理学的词项。亚里士多德以一种直观的确信知道什么属于逻辑，并且他所处理的逻辑问题中，没有像思维之类与心理现象相联系的问题。
然则，根据亚里士多德的意见，什么是逻辑的对象呢？并且他的逻辑为什么叫做形式的呢？对这个问题的答复不是亚里士多德本人作出的，而是由他的后继者逍遥学派作出的。
关于逻辑与哲学的关系在古希腊的不同哲学学派之间是有争论的。斯多亚派主张逻辑是哲学的一部分，逍遥学派说它仅是哲学的一个工具，而柏拉图主义者的意见是逻辑既是哲学的一部分又是哲学的工具。争论本身并没有多大趣味和重要性，因为争论问题的解决，看来大部分是一种约定。但是由阿蒙尼乌斯在其《前分析篇注释》一书中所保存的逍遥学派的议论，值得我们注意。
阿蒙尼乌斯同意柏拉图主义者，并且说：如果你采用带着具体词项的三段论，如柏拉图用三段论证明灵魂不死时所作的那样，那么你就是把逻辑作为哲学的一部分来对待；但是如果你把三段论作为用字母陈述的纯规则来看待，如“A表述所有的B，B表述所有的C，因此，A表述所有的C”，如逍遥学派遵循亚里士多德的教导所作的那样，那么你就是把逻辑作为哲学的工具来对待了。 [41]
重要的是从这一段可以知道，按照追随亚里士多德的逍遥学派学者们的意见，属于逻辑的仅仅是变项中陈述的三段论规则，而不是它们在具体词项中的应用。具体的词项，亦即变项的值，叫作三段论的材料（ὕλη）。如果你把全部具体的词项移去，而代之以字母，那么，你就移去了三段论的材料，而所留下的就叫作它的形式。让我们看这个形式包含一些什么成分。
属于三段论的形式的，除了变项的数目与配置之外，还有所谓“逻辑常项”。有两个逻辑常项，即连接词“并且”与“如果”，是辅助性表达词，而且它们形成了比亚里士多德逻辑系统更基本的系统的一个部分。这一点，在以后将会看到。剩下还有四个常项，即“属于所有的”、“属于无一的”、“属于有些”、“不属于有些”。 [42] 它们是亚里士多德逻辑的特征。这些常项代表着普遍词项之间的各种关系。中世纪逻辑学家相应地用A、E、I、O来表示它们。全部亚里士多德的三段论理论，是借助于连接词“并且”与“如果”，在这四个表达词的基础上构成的。因此，我们可以说：亚里士多德的逻辑是一种在普遍词项领域内关于A、E、I、O关系的理论。
很明显，这样一种理论并不会比数的领域内关于大于和小于关系的理论与我们的思维的共同之处更多一些。的确，在这两种理论之间有某些相似之处。例如，试将Barbara式三段论：
如果a属于所有的b
并且b属于所有的c，
那么a属于所有的c，
与下列算术定律相比较。
如果a大于b
并且b大于c，
那么a大于c。
当然，这两个定律之间是有种种差别的：变项的范围不一样，并且它们的关系也不同。尽管它们不同并发生在不同的词项之间，但两种关系有一个共同的性质：它们都是传递的，也就是说，它们都是下述公式的特殊情况：
如果a与b有R关系
并且b与c有R关系，
那么a与c有R关系。
恰好这个事实是被后来的斯多亚派逻辑学家发现的，这是一件奇妙的事。“第一大于第二，第二大于第三，因此第一大于第三”这类论证，据亚历山大说，斯多亚派称之为“不合法的论断”（nonmethodically conclusive），而在它们的逻辑意义上，并不当作三段论来对待。虽然如此，斯多亚派把这类论证看作与直言三段论是相似的（ὅμοιο落。 [43] 斯多亚派的这个意见（亚历山大曾试图驳斥它，但没有提出令人信服的反面的论证）确证了这个推测：亚里士多德的逻辑是被看作一种关于特别关系的理论，犹如一种数学理论一样。（卢卡西维茨）
联系客服
