内容简介
俄文版译者序
德文版序
引言
第一章 形式逻辑的对象和任务
第—节 逻辑的对象
第二节 唯物主义的逻辑观
第三节 逻辑的意义
第四节 逻辑史简述
第二章 判断及其结构
第一节 概念和判断
第二节 判断的本质
第三节 判断的成分
第四节 全称句和存在句
第五节 变项在科学中的作用
第三章 判断之间的联系
第一节 具体科学和逻辑中的常项和变项
第二节 逻辑否定
第三节 逻辑合取
第四节 不矛盾律的哲学意义
第五节 逻辑析取
第六节 排中律
第七节 逻辑蕴涵
第八节 关于所谓“严格蕴涵”的几点说明
第九节 所谓充足理由律
第十节 蕴涵在逻辑推论中的应用
命题的等值
第十一节
外延关系附论
第十二节
其他命题联系
辩证逻辑附论之一
第十三节 一些命题联系归结为另一些命题联系
第十四节 命题逻辑和康德的判断表
第十五节 最重要的命题逻辑规律
第十六节 判定问题
第十七节 命题逻辑在逻辑推论中的应用及其与若干传统逻辑问题的联系
第十八节 所谓判断的形式真实性
第十九节 命题逻辑的实际应用
第一节 概念与判断在逻辑推论中的相互关系
第四章 概念
第二节 概念和认识
第三节 概念的外延和内涵
第四节 概念的内涵与外延之间的所谓反比律
第五节 辩证逻辑附论之二
第五章 定义及类似下定义的方法
第一节 定义的种类
第二节 实质定义
第三节 给概念下义古典规则
第四节 发生定义
第五节 揭示概念内涵的定义
第六节 阐明概念用于什么意义的定义
第七节 揭示新引入的术语应该用于何种意义,即揭示想赋予这个术语的意义的定义
一、相关定义
二、递归定义
第八节 类似给概念下定义的方法
一、分类
二、概念的划分
第六章 传统的逻辑推论学说及其进一步发展
第一节 谓词逻辑的古典原理
第二节 直接推理
一、从属性推理
二、对立性推理
三、换位法和换质位法
第三节 三段论法
第四节 命题逻辑与类演算的相互关系
第五节 类演算的永真命题联系
第六节 类演算在三段论学说中的应用
第七节 豪伯定理
第八节 量化和传统推理
第九节 关于一元谓词演算的判定问题的几点说明
第十节 一元谓词和多元谓词
第十一节 关系逻辑的意义
第十二节 关系逻辑的基本概念和规律及其应用
第十三节 具有特殊属性的关系
第十四节 通过抽象的定义
第十五节 谓词逻辑的进一步发展
同构关系附论
映照和遗传理论附论
第十六节 广义谓词演算中的同一律
第一节 逻辑的方法
第七章 演绎方法
第二节 命题逻辑是演绎学科
第三节 其他逻辑领域的公理体系
第四节 演绎理论的模型
第五节 公理学的基本概念
第六节 再论形式逻辑的对象
第八章 溯原方法
第一节 演绎方法与溯原方法之间的区别
第二节 假说的形式
第三节 归纳法
一、完全归纳法
二、不完全归纳法
第四节 穆勒的归纳方法
一、契合法
二、差异法
三、契合差异并用法
四、剩余法
五、共变法
第五节 简单性原则
第六节 类比推论
第七节 体系和结构
第八节 概率和统计
第九章 结束语
后记
参考书目
俄文版注释