第一部 名词与命题 1
第一章 名词 1
一、名词、概念 1
二、内涵、外延（类） 1
三、内涵和类（外延）的关系 2
四、概念的种类和相互关系 4
五、定义 5
习题 9
第二章 命题（1）——传统性研究 11
一、命题 11
二、周延 14
习题 17
第三章 命题（2）——条件命题的符号逻辑学研究 19
一、命题变项、否定命题 19
二、联言命题 20
三、假言命题、含意（其一） 21
四、选言命题 23
五、假言命题、含意（其二） 24
六、等值 26
七、补助符号 27
八、命题逻辑学 28
九、恒真、恒假、偶然性 30
十、逻辑法则 30
十一、命题的符号化 32
十二、真理值决定的方法 34
习题 38
第四章 命题（3）——定言命题的符号逻辑性考察 40
一、定言命题和存在性意义 40
二、定言命题和类逻辑学 41
三、定言命题和谓词逻辑学 48
习题 52
第二部 演绎推理 53
第一章 演绎推理（其一） 53
一、推理、妥当和真 53
二、妥当的推理和恒真式 54
三、基本的推理形式 57
四、推理妥当性的演绎性证明 59
五、传统性推理论 62
六、假言三段论法 63
七、选言三段论法 67
八、假言三段论法与选言三段论法的关系 69
九、两刀论法 69
十、命题逻辑学的公理系统 72
习题 75
第二章 演绎推理（其二） 78
一、类逻辑学的构成 78
二、类命题的演绎性证明 80
三、对当推理和类推理 83
四、变形推理和类逻辑 89
五、对当和命题的真假关系 92
习题 94
第三章 演绎推理（其三） 95
一、定言三段论法 95
二、三段论法的公理和定理 96
三、非妥当格式的排除 98
四、定言三段论法妥当性证明——传统性方法 100
五、定言三段论法和类逻辑（其一） 101
六、定言三段论法和类逻辑（其二） 106
七、连锁式和类逻辑 108
习题 110
第四章 演绎推理（其四） 112
关系和关系推理 112
习题 115
第五章 虚伪论 117
习题 121
第六章 演绎逻辑的诸问题 123
一、关于思考的原理 123
二、逻辑和模态逻辑 126
三、演绎推理循环性是否有用 128
第三部 或然性推理及其探究过程第一章 或然性推理——归纳推理 135
一、演绎推理和或然性推理 135
一、枚举性归纳推理 138
二、穆勒法 141
四、穆勒法的价值 149
五、归纳推理的限度 152
六、统计性命题和推理 153
七、类比推理（类推法） 155
八、因果关系的推理 157
九、归纳推理和自然的齐一性 158
十、关于归纳推理的虚伪 160
习题 163
第二章 假说——构思和检查验证 167
一、假说及其条件 167
一、假说的构思 172
三、假说的检证 177
四、种类性假说的检证 184
六、对立假说与决定性实验 185
习题 186
第三章 研究的过程和构造 187
一、概念的形成 187
一、法则的形成 190
三、研究的过程（其一） 192
四、研究的过程（其二） 195
五、研究的过程（其三） 199
六、研究的过程（其四） 201
七、假说、归纳推理与假说检证推理间的关系 202
习题 206
习题解答提示 207