前言 4
一、逻辑科学在现代科学中的地位 5
二、传统形式逻辑与正统数理逻辑 7
三、构造制约逻辑的动意 9
四、制约逻辑的研究领域、哲学思想和理论观点 10
五、对符号语言的语义的、语构的和语用的研究 11
第一章 导论 13
1.对象、个体与集 13
一、对象 13
二、个体 15
三、集 15
一、论域上的n目组 21
2.n目组、n目组集与n元关系 21
二、论域上的n目组集 24
三、n元关系 25
3.映射和n元函数关系 31
一、映射 31
二、n元函数关系 32
4、原子事件 39
一、闭原子事件 39
二、开原子事件 39
三、原子事件有、无的不矛盾律、排中律和选一律 42
二、真值函数关系的定义 43
5.真值函数关系和正统复合事件 43
一、真值——有、无 43
三、不同的n元真值函数和真值表 44
四、正统(纯真值)复合事件 47
五、否定、合取对真值函数的完全性 51
第二章 制约逻辑语义学 56
6.制约关系和非正统复合事件 56
一、充分条件关系 56
二、制约关系和第一独立性 57
三、内涵的科学分析 58
四、制约关系不是真值函数关系，是主要的逻辑关系 59
五、普通逻辑思考中的联结词“若，则” 60
六、第二独立性，两个独立性 62
七、制约事件——非正统(非纯真值)复合事件 62
7.联结关系、复合事件和事件的逻辑结构 63
一、联结关系 63
二、复合事件和事件的分类 63
三、事件的高和层 64
四、事件的逻辑结构 66
8.客观世界的逻辑规律 67
9.词 70
一、命题的定义 72
10.命题 72
二、命题的经验内容和逻辑内容 74
三、命题的分类 75
四、命题的真值 78
五、命题和语句 80
六、命题的形式化 81
七、对命题的内容和真值的一些讨论 85
八、外延合取命题和内涵制约命题 86
九、命题与判断 91
11.逻辑定理 93
一、逻辑定理——逻辑有效命题与逻辑规则 93
三、“形式逻辑不管真假”说剖析 94
二、从一个具体有效命题即可得出有效式 94
四、逻辑定理揭举客观世界的逻辑规律 95
五、命题逻辑定理和名词逻辑定理 95
六、经验真值，常真与常假、可真与可假 96
12.推导 97
一、推导的定义 97
二、导出与推出 98
三、重言式剖析 101
四、科学史上使用命题逻辑推理式的几个实例 102
五、两个独立性从经验进到逻辑的历史的追溯 106
六、蕴假制威 108
七、逻辑思考及其形式化 111
13.证明 111
一、证明的定义 111
二、已证明的结论是否已证实 114
三、结论对前提来说是否新知 116
四、证实的定义 120
五、证明的前提及其证实 122
六、简短的结语 129
第三章 古典公理系统、现代公理系统与逻辑演算形式系统 130
14.公理系统的定义 130
15.从欧几里德的古典公理系统到希尔伯特的现代公理系统 131
16.语义的研究和语构的研究 136
17.逻辑的现代公理系统 137
18.逻辑演算形式系统 138
19.公理系统的一些重要性质 141
第四章 制约逻辑语构学——制约系统概述 144
20.条件关系 144
一、条件关系的定义(一) 144
二、条件关系的定义(二) 145
三、条件关系的定义(三) 146
四、定义(三)不满足无误性要求 148
六、传统系统——由且仅由传统逻辑定理主刻划的逻辑系统 150
五、改进定义(三)的困难 150
八、条件关系的定义(四) 154
七、够用的无衍系统——制约系统 154
21.以条件关系为解释含义的制约系统梗概 156
22.蕴涵怪论 157
一、概述 157
二、蕴涵怪论的语义定义 157
三、蕴涵怪论的种类 158
23.制约系统是够用的无衍系统 159
一、无衍系统 159
24.语构学的一般特征 161
二、够用 161
第五章 制约逻辑命题演算Cm系统 163
25.Cm的形式语言 163
一、形式符号 164
二、形成规则 164
三、语构变元 165
四、一些必要的缩写 165
五、解释 166
六、式的判定 167
三、Cm的原始公式(公理) 168
二、模式、公式模式与公理模式 168
一、公式、规则、原始公式与原始规则 168
26.Cm的原始公式与原始规则 168
四、Cm的原始规则 169
27.形式系统中的定理与关于形式系统的定理(形式定理与元定理) 170
一、公式与形式证明 170
二、导出规则 171
三、一般归纳法 172
四、关于形式系统的定理(元定理) 173
28.Cm的形式定理与关于Cm的元定理 175
一、Cm的形式证明的标注 175
二、Cm的导出公式、导出规则与元定理 176
29.Cm的无衍性 190
一、无衍性定理 190
二、Cm的除外式 191
三、对无衍系统的一些讨论 195
30.Cm的可判定部分 196
一、标准式 196
二、关于Cm的重言定理和不矛盾性定理 197
三、正统中制定理 198
31.Cm推理式判定定理 199
第六章 制约逻辑名词演算Cn系统 201
二、形成规则 202
一、形式符号 202
32.Cn的形式语言 202
三、式的判定 203
四、缩写 204
五、个体变元在式中的约束出现与自由出现 205
六、项对在式中出现的个体变元的可代入 206
七、解释 206
33.cn的原始公式、原始规则、形式定理与元定理 209
一、Cn的原始公式与原始规则 209
二、与Cm定理相应的Cn定理 210
三、Cn中的形式定理与关于Cn的元定理 210
一、Cn与传统外延名词逻辑 214
34.名词演算Cn与传统的名词逻辑 214
二、Cn与传统内涵名词逻辑 215
五、对传统逻辑的批评 221
三、Cn与传统的关于“必然、可能”的推理 229
第七章 制约逻辑在数学和辩证逻辑中的运用 229
四、Cn与传统的归纳、类比推理 230
35.名词演算Cn与正统的一阶谓词演算F 232
一、Cn与F殊异 232
二、Cn与F的纯语构对照 233
三、关于逻辑量词 236
二、Cnd的公理模式 239
36. 带等词号的名词演算Cnd系统 239
一、Cnd的形式语言 239
三、Cnd的形式定理和关于Cnd的元定理 240
37.初等数论的形式系统 241
一、N的形式语言 241
二、M的公理模式 242
三、一些备用的N的导出公式和导出规则 242
四、初等数论形式系统N的导出公式 243
38.运用制约逻辑和数学方法分析辩证逻辑问题 246
一、普通逻辑的界限 247
二、运用制约逻辑和数学方法分析一个辩证命题 248
三、在辩证逻辑中运用制约逻辑和数学方法的结果之一——辩证命题的逻辑性质 256
四、在辩证逻辑中运用制约逻辑和数学方法的结果之二——辩证三律在辩证式中的体现 259
第八章 悖论 261
39.从数学的三次危机说到“悖论”的定义 261
40.历史上的种种“悖论”(自相矛盾、佯谬、谬论和禅机) 264
41.现代的种种“悖论”(佯悖) 272
42.佯悖剖析 279
43.对“悖论”问题的几点看法 284
Appcndix 285
Ⅰ.ENTAILMENT SYSTEM—Propositinal calculus system Cm and notional calculus system Cn 285
Ⅱ.English Contents Of the Book 295