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