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

　　《中国社会科学院老学者文库：从现代逻辑的观点看亚里士多德的逻辑理论》是一部从现代逻辑观点研究亚里士多德的九大逻辑理论的专著。《中国社会科学院老学者文库：从现代逻辑的观点看亚里士多德的逻辑理论》把卢卡西维茨用“人体解剖法”研究亚里士多德的直言三段论理论的方法扩展到亚里士多德的其他逻辑理论，深刻揭示出亚里士多德逻辑理论的伟大成就，对逻辑发展的巨大影响及其不足之处，纠正了亚里士多德在偶然模态三段论理论方面的错误，并从中生发出现代逻辑的一些重大理论问题，如直言三段论系统和模态三段论系统的构造方法、形式排斥系统的建立、整个系统的判定问题的解决以及系统的模型等。

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

　　张家龙，中国社会科学院哲学研究所研究员、博士生导师。1938年6月6日生于江苏省江都县浦头村。1956年9月在江苏省镇江中学毕业后，考入北京大学哲学系哲学专业，1961年7月毕业；毕业后留系攻读数理逻辑专业研究生，1965年2月毕业。1965年8月到中国社会科学院哲学研究所工作，2002年1月5日退休。享受国务院颁发的特殊津贴。历任哲学研究所逻辑研究室主任、职称评委会副主任、学位委员会副主席和中国社会科学院正高级专业技术职务评委会委员。曾兼任中国逻辑学会会长、国家社会科学基金哲学评审组成员。现任中国逻辑学会名誉会长和监事长，《逻辑学研究》杂志顾问。已出版：专著7部，论文集1部，合著13部，译著2部，合译4部，校订译著6部。已发表：论文90篇，译文和校订译文10篇。其学术成就入选《20世纪中国知名科学家学术成就概览·哲学卷》（第三分册）。

前言
第一章 亚里士多德的生平与逻辑著作《工具论》
第二章 范畴与谓词
第一节 十范畴
第二节 四谓词与本质主义

第三章 直言命题与直言三段论
第一节 直言命题
第二节 直言三段论的格和式的原貌
第三节 直言三段论的化归
第四节 无效式的排斥
第五节 直言三段论的规则
第六节 对直言三段论的补充讨论

第四章 直言三段论的现代研究
第一节 莱布尼茨的直言三段论系统
第二节 希尔伯特和阿克曼的联合演算中的直言三段论
第三节 卢卡西维茨的蕴涵式公理系统
第四节 科科伦的自然演绎系统
第五节 斯迈利的自然演绎系统

第五章 作为一阶逻辑子系统的直言三段论
第一节 一阶逻辑的自然演绎系统ND
第二节 直言三段论在ND中的两种推演

第六章 树枝形的直言三段论自然演绎系统
第一节 系统的出发点
第二节 定理的推演
第三节 无效式的形式排斥系统
第四节 算术模型、集合代数模型以及可靠性和语义完全性
第五节 判定程序与简单完全性

第七章 偏好逻辑
第一节 何谓“偏好”
第二节 关于偏好的基本原理
第三节 组合选择项的偏好问题

第八章 关系理论
第一节 关系的一般特点
第二节 后范畴
第三节 其他类型的关系理论

第九章 模态命题逻辑
第一节 模态命题逻辑的基本内容
第二节 包含偶然算子的模态命题逻辑
第三节 模态命题逻辑的哲学意义

第十章 模态三段论
第一节 必然三段论概述
第二节 亚里士多德在偶然命题方面的严重错误及其纠正方案
第三节 偶然模态三段论概述

第十一章 模态三段论的现代研究
第一节 麦考尔的蕴涵式公理系统
第二节 托姆的自然演绎系统

第十二章 树枝形的必然三段论自然演绎系统
第一节 必然式系统
第二节 可能式
第三节 必然式的形式排斥系统
第四节 可能世界模型、集合代数模型以及可靠性和语义完全性
第五节 必然式系统的判定程序与简单完全性

第十三章 树枝形的偶然三段论自然演绎系统
第一节 偶然式系统
第二节 偶然式的形式排斥系统
第三节 集合代数模型以及可靠性和语义完全性
第四节 偶然式系统的判定程序与简单完全性

第十四章 逻辑规律
第一节 同一律、矛盾律和排中律
第二节 亚里士多德驳三种曲解排中律的观点
第三节 亚里士多德对排中律的限制与三值逻辑

第十五章 公理方法和归纳方法
第一节 公理方法的要素
第二节 初始前提与直觉归纳法
第三节 其他类型的归纳法

第十六章 辨谬理论
第一节 辨谬的目的
第二节 语言谬误与逻辑谬误
第三节 消除谬误的方法
参考文献