从关系逻辑的观点看三段论

Discussing syllogism from the viewpoint of logic of relation

从关系逻辑的观点看,三段论并非如卢卡西维茨所认为的那样是根据普遍词项的A、E、I、O关系所进行的推理,而是根据类的分子与类的分子的等同于或不等同于关系所进行的推理。三段论是量化的间接关系推理。三段论逻辑,是比命题逻辑、量词逻辑更为特殊的逻辑,用一般的量词逻辑是无法说明所有三段论有效式的有效性的。

From the viewpoint of logic of relation, syllogism is not the inference based on Relation A, E, I, O between general term and general term as Jan Lukasiewicz thought. In stead, it is the inference based on the identical relation or non-identical relation between member of class and member of class. It is a quantified mediate relational inference. Compared with proposition logic and quantifier logic, logic of syllogism is more special, and the validity of valid mood of syllogism can not be all illustrated with general quantifier logic.