新逻辑学概论

第1章 绪论第1节 逻辑学的对象1.1.1 逻辑学的含义1.1.2 思维、语言与逻辑1.1.3 逻辑学的研究对象第2节 逻辑学的性质与作用1.2.1 逻辑学的性质1.2.2 逻辑学的作用第3节 逻辑学的发展1.3.1 逻辑学的早期状况1.3.2 逻辑学的现代概况第4节 学习逻辑学的方法1.4.1 树立形式化观念，优化学习方法1.4.2 把握逻辑学脉络，突出学习重点1.4.3 认清逻辑学性质，理论与实际联系思考与练习**部分 演绎逻辑第2章 命题第1节 命题的概述2.1.1 命题的含义2.1.2 命题与语句2.1.3 命题与判断2.1.4 命题的分类第2节 复合命题2.2.1 复合命题的含义2.2.2 真值形式、真值联结词、真值表第3节 复合命题的类型2.3.1 负命题2.3.2 联言命题2.3.3 选言命题2.3.4 假言命题第4节 几种特别的复合命题2.4.1 以复合命题为支命题的负命题2.4.2 多重复合命题第5节 复合命题之间的关系2.5.1 用～、→定义其他真值联结词2.5.2 用～、∧定义其他真值联结词2.5.3 用～、∨定义其他真值联结词小结思考与练习第3章 复合命题推理第1节 复合命题推理概述3.1.1 什么是推理3.1.2 推理的有效性3.1.3 推理的分类第2节 复合命题等值推理3.2.1 复合命题的一般等值推理3.2.2 复合命题的负命题等值推理第3节 联言推理3.3.1 分解式联言推理3.3.2 组合式联言推理第4节 选言推理3.4.1 相容选言推理3.4.2 不相容选言推理第5节 假言推理3.5.1 充分条件假言推理3.5.2 必要条件假言推理3.5.3 充要条件假言推理第6节 几种常见的多重复合命题推理3.6.1 假言连锁推理(纯假言推理)3.6.2 二难推理(假言选言推理)3.6.3 反三段论第7节 复合命题推理有效性的判定3.7.1 复合命题推理有效性判定概述3.7.2 真值表方法小结思考与练习第4章 命题逻辑的自然演绎系统第1节 什么是命题逻辑的自然演绎系统第2节 整推规则4.2.1 整推规则概述4.2.2 整推规则的应用第3节 置换规则4.3.1 置换规则概述4.3.2 置换规则的应用第4节 条件证明规则4.4.1 条件证明规则概述4.4.2 条件证明规则的应用第5节 间接证明规则4.5.1 间接证明规则概述4.5.2 间接证明规则的应用小结思考与练习第5章 词项与简单命题第1节 词项5.1.1 词项和语词5.1.2 词项和命题5.1.3 词项的逻辑特征——词项的内涵和外延5.1.4 词项的种类5.1.5 词项在外延间的关系第2节 性质命题5.2.1 性质命题概述5.2.2 性质命题的种类5.2.3 性质命题词项的周延性5.2.4 A、E、I、O之间的真假关系第3节 关系命题5.3.1 关系命题概述5.3.2 关系的对称性5.3.3 关系的传递性5.3.4 关系命题的量项小结思考与练习第6章 简单命题推理第1节 简单命题推理概述6.1.1 简单命题推理的含义6.1.2 简单命题推理的类型第2节 性质命题直接推理6.2.1 对当关系推理6.2.2 命题变形推理第3节 三段论6.3.1 三段论概述6.3.2 三段论的格与式6.3.3 三段论的规则6.3.4 三段论的省略式第4节 关系命题推理6.4.1 纯粹关系命题推理6.4.2 混合关系三段论小结思考与练习第7章 谓词逻辑第1节谓词逻辑概述7.1.1 简单命题的内部结构