目 录 1
第一章 引 论 1
第一节逻辑学的研究对象 1
第二节假说的形成 （29 5
第四节模态命题演算 （21 7
第二节传统逻辑与现代逻辑 9
第三节逻辑学的性质和体系 15
上 篇 18
第二章逻辑规律 18
第一节逻辑规律概述 18
第二节同一律 21
第三节矛盾律 29
第四节排中律 35
第三章概念逻辑 40
第一节事物、概念和语词 40
第二节概念的内涵和外延 42
第三节概念的种类 44
第四节概念外延间的关系 47
第五节概念的限制和概括 51
第六节定义 54
第七节划分 60
第四章命题逻辑（上） 66
第一节命题、推理和命题逻辑 66
第二节联言命题及其推理 69
第十一章预设逻辑 70
第一节预设的特征 （2 70
第三节选言命题及其推理 72
第四节假言命题及其推理 77
第五节负命题及其推理 85
第六节其它复合命题推理 86
第一节真值联结词 94
第五章命题逻辑（下） 94
第二节真值形式 100
第三节真值表方法 106
——命题演算系统简介 112
第四节形式推演（上） 112
第五节形式推演（下） 122
——条件推演与间接推演 122
第六章谓词逻辑（上） 129
第一节性质命题 129
第二节性质命题的直接推理 140
第三节三段论 145
第七章谓词逻辑（下） 168
第一节性质命题的符号化 168
第二节关系命题及其推理 176
第三节谓词逻辑的自然演绎法 186
第一节真值模态命题及其推理 199
第八章模态逻辑 199
下 篇 199
第二节规范命题及其推理 207
第三节时态命题及其推理 211
第九章归纳逻辑（上） 222
第一节完全归纳推理 222
第二节不完全逻辑方法 229
第三节探求因果联系的逻辑方法 239
第四节类比推理 242
第十章归纳逻辑（下） 248
第一节概率推理 248
第二节统计推理 253
第三节回溯推理 258
第四节合情推理 263
第二节预设的种类 273
第三节预设的析出 277
第四节析出预设的意义 284
第十二章假说逻辑 292
第一节假说的概述 292
第三节假说的检验 304
第十三章论证逻辑 309
第一节论证的概述 309
第二节论证的种类 313
第三节论证的规则 321
第四节反驳及其方法 327
后记 335