俄文版译者序 1
德文版序 21
引言 26
第一章 形式逻辑的对象和任务 29
第—节 逻辑的对象 29
第二节 唯物主义的逻辑观 36
第三节 逻辑的意义 41
第四节 逻辑史简述 44
第二章 判断及其结构 55
第一节 概念和判断 55
第二节 判断的本质 57
第三节 判断的成分 64
第四节 全称句和存在句 67
第五节 变项在科学中的作用 71
第三章 判断之间的联系 74
第一节 具体科学和逻辑中的常项和变项 74
第二节 逻辑否定 77
第三节 逻辑合取 78
第四节 不矛盾律的哲学意义 81
第五节 逻辑析取 89
第六节 排中律 96
第七节 逻辑蕴涵 103
第八节 关于所谓“严格蕴涵”的几点说明 110
第九节 所谓充足理由律 112
第十节 蕴涵在逻辑推论中的应用 115
命题的等值 119
第十一节 119
外延关系附论 121
第十二节 127
其他命题联系 127
辩证逻辑附论之一 133
第十三节 一些命题联系归结为另一些命题联系 137
第十四节 命题逻辑和康德的判断表 140
第十五节 最重要的命题逻辑规律 146
第十六节 判定问题 148
第十七节 命题逻辑在逻辑推论中的应用及其与若干传统逻辑问题的联系 157
第十八节 所谓判断的形式真实性 167
第十九节 命题逻辑的实际应用 174
第一节 概念与判断在逻辑推论中的相互关系 179
第四章 概念 179
第二节 概念和认识 181
第三节 概念的外延和内涵 190
第四节 概念的内涵与外延之间的所谓反比律 204
第五节 辩证逻辑附论之二 209
第五章 定义及类似下定义的方法 219
第一节 定义的种类 219
第二节 实质定义 220
第三节 给概念下义古典规则 225
第四节 发生定义 230
第五节 揭示概念内涵的定义 230
第六节 阐明概念用于什么意义的定义 234
第七节 揭示新引入的术语应该用于何种意义，即揭示想赋予这个术语的意义的定义 235
一、相关定义 238
二、递归定义 240
第八节 类似给概念下定义的方法 241
一、分类 242
二、概念的划分 244
第六章 传统的逻辑推论学说及其进一步发展 247
第一节 谓词逻辑的古典原理 247
第二节 直接推理 249
一、从属性推理 249
二、对立性推理 250
三、换位法和换质位法 251
第三节 三段论法 252
第四节 命题逻辑与类演算的相互关系 257
第五节 类演算的永真命题联系 261
第六节 类演算在三段论学说中的应用 263
第七节 豪伯定理 273
第八节 量化和传统推理 276
第九节 关于一元谓词演算的判定问题的几点说明 294
第十节 一元谓词和多元谓词 300
第十一节 关系逻辑的意义 307
第十二节 关系逻辑的基本概念和规律及其应用 312
第十三节 具有特殊属性的关系 323
第十四节 通过抽象的定义 328
第十五节 谓词逻辑的进一步发展 332
同构关系附论 338
映照和遗传理论附论 340
第十六节 广义谓词演算中的同一律 344
第一节 逻辑的方法 358
第七章 演绎方法 358
第二节 命题逻辑是演绎学科 363
第三节 其他逻辑领域的公理体系 377
第四节 演绎理论的模型 379
第五节 公理学的基本概念 391
第六节 再论形式逻辑的对象 399
第八章 溯原方法 405
第一节 演绎方法与溯原方法之间的区别 405
第二节 假说的形式 416
第三节 归纳法 424
一、完全归纳法 426
二、不完全归纳法 429
第四节 穆勒的归纳方法 431
一、契合法 432
二、差异法 434
三、契合差异并用法 435
四、剩余法 435
五、共变法 437
第五节 简单性原则 442
第六节 类比推论 445
第七节 体系和结构 455
第八节 概率和统计 459
第九章 结束语 467
后记 473
参考书目 479
俄文版注释 481