本书在人工智能中的应用理论完全不同于以美国为代表的国际人工智能理论。著作提出并回答了一系列属于人工智能的逻、辑理论的重大问题；指出了人工智能的根本使命；完成了古典逻辑和形形色色非古典逻辑以及传统形式逻辑不能作为人工智能的逻辑理论基础的论证；充分证明了，当代形式逻辑向人类提供了从已有知识获取新知识的推理工具，因而是人工智能最合适的逻辑工具。著作清晰地刻画了必然门的逻辑性质，为研制必然门从而进一步设计、制造内涵智能机提供了重要逻辑理论基础，其研究深度可以说几乎达到了呼之欲出的程度。著作严格证明并严肃地指出，在刚过去的半个世纪内，国际人工智能界的两个方针（“认知模拟”、“人机合一”）是方向性、路线性的失误。这种局面为我国在新世纪迎来超越国际先进水平提供了绝好机遇。该项研究对我国在经济、军事实力上发生质的变革，取得国际先进地位具有重要意义，其应用前景是不可估量的。

第1篇 导论

第1章 前言

第2章 当代形式逻辑语义学基础

第3章 逻辑规律是客观世界的规律

第2篇 逻辑思考

第4章 逻辑思考概述

第5章 概念

第6章 原子命题纯真值复合命题

第7章 非纯真值复合命题

第8章 逻辑定理

第9章 逻辑证明与证实

第10章 关于逻辑证明哲学意义的深入探讨

第3篇 当代形式逻辑Cm系统

第11章 命题逻辑Cm系统的形式语言

第12章 Cm的公理、导出公式、规则和元定理

第13章 关于Cm系统的讨论（一）——Cm是够用的无衍系统

第14章 关于Cm系统的讨论（二）——Cm的判定问题

第4篇 当代形式逻辑名词演算Cn系统

第15章 名词演算Cn系统的形式语言

第16章 Cn的公理模式、规则、导出公式和元定理

第17章 关于Cn系统的讨论（一）——Cn与传统形式逻辑

第18章 关于Cn系统的讨论（二）——Cn与传统的“必然”、“可能”、归纳、类比的推理

第19章 关于Cn系统的讨论（三）——Cn的无限风光：更精彩的形式定理

第20章 关于Cn系统的讨论（四）——Cn与正统一阶谓词演算f

第5篇 人工智能机器推理和知识表示的逻辑理论工具探讨

第21章 人工智能机器推理的逻辑理论工具研究

第22章 人工智能知识表示的逻辑理论工具研究

第23章 当代形式逻辑在人工智能中又一应用理论研究

附录A On Sufficient Condition Relation

附录B Contemporary Formal Logic Symbol System Can Logically Represent all Knowledge

参考文献

后记