《形式逻辑导论》求取 ⇩

俄文版译者序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