目录 1
序 徐孝通傅季重 1
前言 1
第一章命题逻辑和命题演算 1
第一节 引言 1
第二节命题逻辑 4
一、概述 5
二、真值联结词 7
三、重言式和有效推理 13
四、真值树方法 17
一、概述 25
第三节命题演算 25
二、命题演算系统 28
三、定理的推演 32
四、可靠性和完备性 37
第二章谓词逻辑和谓词演算 41
第一节 引言 41
第二节谓词逻辑 43
一、谓词和量词 43
二、命题形式 47
三、有效推理 50
四、真值树方法 55
第三节谓词演算 65
一、一阶语言 65
第六章语言逻辑 （1 66
二、谓词演算系统 67
三、定理 68
第四节解释和普遍有效性 70
一、概述 70
二、解释、赋值和满足 71
三、普遍有效性 75
四、可靠性和完备性 77
第三章命题逻辑谓词逻辑的自然推理 79
第一节 自然推理概述 79
一、自然推理的创立 79
二、自然推理的特点 81
三、自然推理的准则 82
一、推理规则 83
第二节命题逻辑自然推理 83
二、置换规则 95
三、应用推理规则的方法 96
第三节谓词逻辑自然推理 97
一、谓词逻辑自然推理的特点 97
二、推理规则 99
三、应用推理规则的方法 106
第四章模态逻辑 109
第一节引言 109
第二节模态命题演算T 113
一、模态命题演算 113
二、必然性和可能性 113
三、严格蕴涵 114
四、公理和变形规则 115
五、系统T的基础 116
第三节定理的推演 117
一、T系统的定理推演 117
二、系统S4 129
三、系统S5 129
第四节可靠性和完备性 131
第五章时态逻辑 137
第一节时态逻辑的创立和发展 137
第二节时态算子及其语义解释 141
第三节时态命题及其语义解释 142
一、时间性语句和非时间性语句 142
二、时态语句和时态命题 144
三、时态命题的基本形式 145
四、时态命题的复合形式 146
五、时态模态命题 149
六、包含量词的时态命题形式 149
七、时态命题的语义解释 150
第四节时态逻辑系统 153
一、时态逻辑极小系统Kt 154
二、时态逻辑扩充系统 160
第一节逻辑指号学：形式语言逻辑 166
一、逻辑语形学 167
二、逻辑语义学 169
三、逻辑语用学 173
第二节 自然语言逻辑 177
一、自然语言的逻辑分析 177
二、自然语言的语形学 179
三、自然语言的语义学 184
四、自然语言的语用学 187
第七章数理逻辑与传统逻辑 190
第一节数理逻辑是传统逻辑的继承和发展 190
一、传统逻辑的局限 192
二、数理逻辑的历史进程 194
第二节数理逻辑在逻辑理论与方法上的新发展 196
一、数理逻辑的基本特征 196
二、数理逻辑与传统逻辑在理论观点上的区别 200
第八章现代逻辑若干重要成果所涉及的哲学问题 217
第一节完全性定理和有限与无限的统 218
第二节不完全性定理和形式与直觉的联系 224
第三节形式化语言和真理定义 229
第四节集合论的公理化和悖论 234
附录易经：人类最古老的符号推理系统 242
第一节概述 242
第二节卦爻：《易经》的基本符号 245
第三节体系特点与基本的推理规则 251
第四节《易经》的占卦（推理）方法 257
第五节《易经》对传统思维方式的深远影响 263
后记 270