前言 1
第一章 语言分析与形式表述 1
第一节 语言分析概述 2
第二节 形式表述概述 14
第二章 直言命题与推理 23
第一节 语句与命题 23
第二节 直言命题的定义与类型 24
第三节 某些重要词项的逻辑含义 26
第四节 直言命题中词项的周延性 28
第五节 直言命题的推理 29
第六节 直言命题的图示 32
第七节 直言命题的换位、换质与换质位 35
第三章 直言三段论推理 40
第一节 直言三段论的构成 40
第二节 直言三段论的格和式 41
第三节 直言三段论推理有效性的文恩图检验 43
第四节 直言三段论的规则及谬误 46
第五节 直言三段论推理的问题 51
第四章 命题逻辑符号化与逻辑句法 57
第一节 真值函项联结词 57
第二节 五种基本复合命题及真值表 59
第三节 应用与代换规则 67
第四节 范式 71
第五节 联结词的完备集 74
第六节 推理形式与有效性 77
第五章 命题逻辑自然推演法及公理系统 81
第一节 自然推演规则 83
第二节 推演规则的应用及系统内定理 85
第三节 自然推演式中的目标分析法 88
第四节 公理推演系统L 95
第五节 其他命题演算公理系统简介 101
第六节 命题演算系统S的一个概率模型 102
第六章 谓词逻辑形式与方法 111
第一节 个体词与谓词 112
第二节 变项与量词 114
第三节 约束变项与自由变项 118
第四节 谓词公式 121
第五节 谓词逻辑的等价式 126
第七章 谓词逻辑自然推演式及公理系统 129
第一节 全称量词的推理规则 130
第二节 存在量词的推理规则 135
第三节 谓词逻辑的公理系统 141
第四节 摹状词简介 147
第八章 概率逻辑形式及应用 152
第一节 概率的两种定义 153
第二节 概率论与逻辑 155
第三节 语句的逻辑概率演算 158
第四节 作为置信度解释的贝叶斯公式 166
术语汇编 176