从现代逻辑的观点看亚里士多德的逻辑理论_张家龙_9787516182321

《中国社会科学院老学者文库：从现代逻辑的观点看亚里士多德的逻辑理论》遵循马克思提出的“人体解剖对于猴体解剖是一把钥匙”的历史研究方法，从现代逻辑观点全面系统地研究了亚里七多德的九大逻辑理论；澄清了长期以来国内外学术界对亚里士多德逻辑理论的诸多误解，深刻地揭示出亚里士多德逻辑理论对现代逻辑发展的重大意义。在此基础上，《中国社会科学院老学者文库：从现代逻辑的观点看亚里士多德的逻辑理论》进行了“推陈出新”的研究，用现代逻辑的工具，重新构造了亚里士多德的直言三段论系统、必然模态三段论系统和偶然模态三段论系统，并且构造了形式排斥系统，构造了这些系统的语义模型，证明了这些系统的可靠性和语义完全性，*重要的结果是解决了这些系统的判定程序。

　亚里士多德（公元前384-前322年）是古希腊最伟大的哲学家，同时是逻辑学的创始人，逻辑学的代表作是《工具论》。他创立的逻辑理论直至今天仍然被现代逻辑学家进行研究，并在大学的讲堂上传授。本书作者通过对《工具论》的研读、分析和发掘，认为亚里士多德的逻辑理论是多方面的，绝不限于直言命题和直言三段论，概括起来有九大方面：（1）词项理论；（2）直言命题和直言三段论理论；（3）偏好逻辑；（4）关系理论；（5）模态命题逻辑；（6）模态三段论理论；（7）逻辑规律；（8）公理方法和归纳方法；（9）辨谬理论。由此可见，亚里士多德的逻辑理论博大精深，是逻辑学的永恒研究课题。
　　长期以来，国外逻辑学家对亚里士多德逻辑理论的研究采用的是评述方法，就亚里士多德逻辑理论本身的问题进行评述，主要是词项理论、直言命题和直言三段论、辨谬理论等，忽略了亚里士多德逻辑理论中对现代逻辑的发展起重要作用的理论，如偏好和关系的理论、模态命题逻辑和模态三段论等，甚至关系逻辑的创始人德摩根都认为亚里士多德没有关系理论，认为用“所有马是动物，所以，所有的马头都是动物头”这个推理就可证明亚里士多德逻辑理论的局限性，这种错误观点使国内外的一些逻辑学者对亚里士多德的逻辑理论产生了诸多误解。1951年，国际著名逻辑学家、多值逻辑创始人卢卡西维茨出版了《从现代形式逻辑观点看亚里士多德的三段论》（1957年出第二版，商务印书馆1981年出版了中译本），开创了用现代逻辑的方法研究逻辑史特别是亚里士多德逻辑理论的全新道路。这种方法就是马克思所说的“人体解剖法”：“人体解剖对于猴体解剖是一把钥匙，低等动物身上表露的高等动物的征兆，反而只有在高等动本身已被认识之后才能理解。因此，资产阶级经济为古代经济等提供了钥匙。……人们认识了地租，就能理解代役租、什一税等，但是不应当把它们等同起来。”①卢卡西维茨的研究成果揭示了亚里士多德的直言三段论已经达到了何种水平，对逻辑的发展有何重要意义，存在哪些不严格之处，并从现代逻辑的高度解决亚里士多德所不能解决的课题，促进了现代逻辑的发展。例如卢卡西维茨证明了直言三段论公理的一致性、独立性，自弗雷格以来在现代逻辑中建立了第一个形式化的排斥系统，解决了有意义的三段论表达式的判定问题，揭示了亚里士多德模态三段论的缺陷，创建了自己的4值模态逻辑系统。由此可见，用“人体解剖法”研究逻辑史，也是一种“推陈出新”的好方法，用“人体解剖”研究“猴体解剖”的目的是为了发展“人体解剖”。

你还可能感兴趣

我要评论