当代形式逻辑及其在人工智能中的应用理论研究

2.4.2n元函数的变值
2.4.3项的定义
2.4.4项的分类
2.5客观世界的原子事件
2.5.1闭原子事件
2.5.2开原子事件
2.5.3原子事件
2.5.4原子事件有、无的不矛盾律、排中律和选一律
2.6真值函数关系与纯真值复合事件
2.6.1真值函数关系
2.6.2真值表
2.6.3纯真值联结关系
2.6.4纯真值复合事件
2.7基本的非纯真值联结关系——充分条件关系及其两个独立性
2.7.1充分条件关系与必然关系同义
2.7.2充分条件事件的定义及充分条件关系的两个独立性
2.7.3对“充分条件”的界说的历史回顾
2.7.4两个独立性从经验进到逻辑的历史追溯
2.8导出的非纯真值联结关系和非纯真值复合事件
2.8.1必要条件关系和必要条件事件
2.8.2约合关系和约合事件
2.8.3尽举相容选择关系和尽举相容选择事件
2.8.4尽举反相容选择关系和尽举反相容选择事件
2.8.5尽举不相容选择关系和尽举不相容选择事件
2.8.6充分必要条件关系和充分必要条件事件
2.9客观世界的事件
2.9.1事件的形成准则
2.9.2闭事件和开事件的交叉递归定义
2.9.3事件的性质
2.10客观世界的逻辑结构
2.11客观世界的逻辑规律及其种类
2.12客观世界的逻辑定律
2.12.1客观世界的事件逻辑定律
2.12.2客观世界的项逻辑定律
2.13客观世界的逻辑法则
2.13.1客观世界的事件逻辑法则
2.13.2客观世界的项逻辑法则
第3章逻辑规律是客观世界的规律
3.1逻辑规律概述
3.2逻辑规律不是思维自身的规律
3.3逻辑规律不是符号自身的规律
3.4逻辑规律是且只能是客观世界的规律
3.5彪炳古今的韩非定律
第2篇逻辑思考
第4章逻辑思考概述
4.1逻辑思考的定义
4.2逻辑思维的内容
4.2.1逻辑思维的内容
4.2.2思维的内容究竟是思维还是思维外的客观物质及其属性
4.3逻辑思维的形式化
4.4逻辑思维、思维对象、语言载体的关系
4.5当代形式逻辑语义学、语构学、语用学
4.6当代形式逻辑语用学1、2、3准则
第5章概念
5.1概念的概述
5.2概念的内涵和外延
5.2.1概念的外延
5.2.2概念的内涵
5.32元关系概念
5.3.1性质概念和关系概念
5.3.2何谓2元关系概念
5.3.32元关系的性质
5.4传统概念理论中存在的问题
5.4.1关于概念的定义至今仍不能自圆其说
5.4.2有些概念种类划分不合理
5.4.3“概念不明确”是一种自相矛盾或者模棱两可的提法
5.4.4值得推敲的其他问题
第6章原子命题纯真值复合命题
6.1命题的概述
6.1.1命题就是关于事件的思考
6.1.2命题的真值
6.1.3命题的分类
6.2原子命题
6.2.1闭原子命题
6.2.2开原子命题
6.2.31元原子命题和多元原子命题
6.2.4原子命题的真值
6.3纯真值复合命题
6.3.1基本的纯真值复合命题
6.3.2导出的纯真值复合命题
6.4重言式的判定
6.4.1真值表方法
6.4.2归谬赋值法
6.4.3反演分解图法
6.5对纯真值有效式的剖析
6.5.1对应于传统命题逻辑推理式的纯真值有效式
6.5.2对应于传统命题逻辑导出式的纯真值有效式
6.5.3作为蕴涵怪论的纯真值重言式
第7章非纯真值复合命题
7.1基本的非纯真值复合命题——充分条件命题
7.1.1何谓充分条件命题
7.1.2充分条件命题前后件真假关系的特征
7.2导出的非纯真值复合命题（1）——必要条件命题、充分必要条件命题
7.2.1必要条件命题
7.2.2充分必要条件命题
7.3导出的非纯真值复合命题（2）——尽举选择命题、约合命题
7.3.1尽举选择命题
7.3.2约合命题
7.4外延命题和内涵命题
7.4.1外延命题
7.4.2内涵命题
7.5复合命题的自然语言载体
7.6关于命题与判断的讨论
第8章逻辑定理
8.1逻辑定理概述
8.1.1命题逻辑和名词逻辑
8.1.2推理和推理式
8.1.3导出和导出式
8.2尽举选择命题的逻辑性质及其推理
8.2.1不同的尽举选择命题及其逻辑性质
8.2.2不同的尽举选择推理及其逻辑性质
8.3关于流行的传统形式逻辑读物中命题逻辑推理式的几点讨论
8.3.1所谓反三段论
8.3.2所谓选言推理式﹁A∧（A∨B）→B等
8.3.3真值表方法不是命题逻辑推理式有效性的判定方法
8.4逻辑领域中的狐假虎威
第9章逻辑证明与证实
9.1逻辑证明的定义
9.1.1几个有关的概念
9.1.2逻辑证明的定义
9.2两个独立性在证明中的作用
9.2.1从一个实例开始讨论
9.2.2上述实例中充分条件关系的两个独立性
9.2.3两个独立性在证明中的作用
9.3已证明的结论是否已证实
9.3.1证实的定义
9.3.2已证明的结论是否已证实
9.4结论对前提来说是否新知
第10章关于逻辑证明哲学意义的深入探讨
10.1伽利略的功勋
10.2伽利略的证明纳入当代形式逻辑
10.3关于推理及其前提的一些分析
10.4证明的一般前提的形成和证实
10.5简要结语
第3篇当代形式逻辑Cm系统
第11章命题逻辑Cm系统的形式语言
11.1Cm的形式符号
11.2Cm的形成规则
11.3Cm的语构变元
11.4Cm的式的判定
11.5Cm的导出联结号的定义
11.6Cm的联结号的解释
第12章Cm的公理、导出公式、规则和元定理
12.1Cm的公理模式、原始规则
12.1.1Cm的公理模式
12.1.2Cm的原始规则
12.2Cm的导出公式（1）——兼导出规则及其证明
12.3Cm的元定理（1）
12.4Cm的导出公式（2）
12.5Cm的元定理（2）
12.6Cm的导出公式（3）
12.7Cm的元定理（3）——Cm的亚演绎定理
第13章关于Cm系统的讨论（一）——Cm是够用的无衍系统
13.1从蕴涵怪论谈起
13.2Cm系统是够用的无衍系统
13.2.1无衍系统
13.2.2Cm的无衍性定理
13.2.3够用
13.3从Cm的除外式看Cm作为当代形式逻辑形式系统的先进性特色
13.3.1几个典型的除外式
13.3.2罗素和怀德海《数学原理》中的怪论式
第14章关于Cm系统的讨论（二）——Cm的判定问题
14.1范式
14.1.1简单合取式和简单析取式
14.1.2范式
14.1.3优范式
14.2Cm的可判定部分——有关的几个元定理
14.2.1Cm的重言定理
14.2.2Cm的不矛盾性定理
14.2.3Cm的纯真值后充定理
14.3Cm推理式的判定定理
14.3.1几个概念
14.3.2判定任一后充公式├A是否为Cm推理式的算法
14.3.3Cm推理式判定定理
第4篇当代形式逻辑名词演算Cn系统
第15章名词演算Cn系统的形式语言
15.1Cn的形式符号
15.2Cn的形成规则
15.3Cn的式的判定
15.4Cn的缩写
15.5Cn的个体变元在式中的约束出现和自由出现
15.6Cn的项对在式中出现的个体变元的可代入
15.7Cn系统的解释
15.7.1联结号以外的形式符号的解释
15.7.2联结号的解释
第16章Cn的公理模式、规则、导出公式和元定理
16.1Cn的公理模式、原始规则
16.1.1Cn的公理模式
16.1.2Cn的原始规则
16.2与Cm定理相应的Cn定理
16.3Cn的形式定理、导出规则和元定理（1）
16.3.1论域公式
16.3.2Cn的对偶原理
16.3.3代入定理
16.3.4分配公式与分配规则
16.3.5闭包定理
第17章关于Cn系统的讨论（一）——Cn与传统形式逻辑
17.1当代形式逻辑对传统直言命题理论问题的解决
17.1.1传统直言命题理论中存在的问题
17.1.2当代形式逻辑对传统直言命题理论问题的解决
17.1.3传统直言命题和与之相应的外延命题、内涵命题之间的区别
17.2当代形式逻辑对传统直接推理、间接推理理论问题的解决
17.2.1关于传统直接推导
17.2.2关于传统三段论
17.3Cn的形式定理、导出规则和元定理（2）——Cn与传统形式逻辑内涵名词逻辑
17.4对现行传统形式逻辑的再讨论——传统形式逻辑存在的问题
17.4.1把研究客体说成研究思维
17.4.2不分是非却专讲对错
17.4.3对一系列重要逻辑术语的规定不清晰
17.4.4认为逻辑撇开思维的具体内容
17.4.5以为逻辑不管真假
17.4.6不研究多元名词
17.4.7受制于思考的语言表述形态
17.4.8混杂语义、语构、语用
17.4.9自顾不暇犹越俎代庖
17.4.10招致数理逻辑的干扰
第18章关于Cn系统的讨论（二）——Cn与传统的“必然”、“可能”、归纳、类比的推理
18.1Cn的形式定理、导出规则和元定理（3）——Cn与传统的关于“必然”、“可能”的推理
18.2Cn的形式定理、导出规则和元定理（4）——Cn与传统的归纳推理、类比推理
18.2.1不完全归纳规则
18.2.2类比规则
第19章关于Cn系统的讨论（三）——Cn的无限风光：更精彩的形式定理
19.1作为联结关系“偶然”和“风马牛”的逻辑含义
19.1.1逻辑联结关系“偶然”的逻辑含义
19.1.2联结关系风马牛的逻辑含义
19.2Cn的形式定理、导出规则和元定理（5）——关于“偶然”和“风马牛”的更精彩的形式定理
19.2.1关于偶然和可以的逻辑方阵
19.2.2关于偶然与不必然的逻辑方阵
19.2.3关于风马牛与偶然的逻辑方阵
19.2.4关于风马牛与可以的逻辑方阵
19.2.5关于风马牛与不必然的逻辑方阵
19.3Cn的形式定理、导出规则和元定理（6）——Cn中崭新的推理：可能限制规则
19.4用正统数理逻辑“改造”或“取代”传统形式逻辑是一种常识性错误——论传统形式逻辑跟数理逻辑只是风马牛关系
19.5Cn系统是相干逻辑RQ系统所不可比拟的
第20章关于Cn系统的讨论（四）——Cn与正统一阶谓词演算F
20.1Cn与F的纯语构对照
20.2F中的所谓“逻辑量词”
20.3从F的概括规则的充分条件关系“若，则”看内涵科学分析法
20.4Cn与F的实质性区别
第5篇人工智能机器推理和知识表示的逻辑理论工具探讨
第21章人工智能机器推理的逻辑理论工具研究
21.1国际人工智能研究的指导方针从“认知模拟”转向“人机合一”
21.1.1美国科学家的新成就——“猴机合一”实验成功
21.1.2国际人工智能研究的历史回顾——从“认知模拟”到“人机合一”的梦想
21.2宇宙智能与两种不同质的模拟——人类智能和人工智能
21.3正统数理逻辑不能作为人工智能机器推理的理论工具
21.4形形色色的非正统数理逻辑和传统形式逻辑也不能作为人工智能机器推理的理论工具
21.5当代形式逻辑才是人工智能机器推理合适的逻辑工具
21.6基于当代形式逻辑的内涵智能机核心元件是“必然门”
21.7必然门原理研究
21.8内涵智能机（1）——两个基础一个结合
21.9内涵智能机（2）——从硅计算机到DNA计算机的转移
21.10内涵智能机（3）——必然门就是程序化自组织DNA超并行运算
21.11附件Orthodox Mathemaitical Logic is Not a Reasoning Theory
第22章人工智能知识表示的逻辑理论工具研究
22.1启发式信息就是充分条件关系的“两独”，实质蕴涵不具有启发式信息
22.2当代形式逻辑比正统数理逻辑的表达能力强而且丰富
22.3形形色色的非古典数理逻辑和传统形式逻辑各有弊端
22.4只有当代形式逻辑才是知识表示的最佳工具
22.5附件Contemporary Formal Logic Symbol System Can Logically Represent All Knowledge
第23章当代形式逻辑在人工智能中又一应用理论研究
23.1人工智能与知识工程概述
23.1.1智能的概念和智能的机器实现——知识工程
23.1.2知识工程的复杂性决定了知识表示方法的多样性
23.1.3技术和工具的阶段性决定了各种知识表示方法的局限性
23.1.4当代形式逻辑与各种现代知识表示方法结合的必要性
23.2基于当代形式逻辑和实体-关系模型的知识表示方法CERLEL
23.2.1实体-关系模型（CER）和结构对象的知识表示
23.2.2当代形式逻辑（LEL）比数理逻辑的知识表示能力强
23.2.3知识表示的CERLEL方法
23.3当代形式逻辑的消解原理LELRM
23.3.1消解原理是机器实现逻辑推理和定理证明的重要途径
23.3.2当代形式逻辑的子句定义和分类
23.3.3当代形式逻辑任意公式的子句化步骤和逻辑有效性的证明
23.3.4子句集的消解和消解过程逻辑有效性的证明
23.4对基于CERLEL和LELRM的人工智能语言LELAIL的探索
23.4.1计算机上应用LELRM实现反演推理的研究
23.4.2基于LELRM并应用反演法的定理证明实例
23.4.3建立基于LELRM反演法的人工智能语言（LELAIL）的尝试
23.4.4应用LELAIL的实例
23.5本章小结
附录AOn Sufficient Condition Relation
附录BContemporary Formal Logic Symbol System Can Logically Represent All Knowledge
参考文献
后记