逻辑学 第4版

本书系统阐述传统逻辑，并简要介绍现代逻辑，力求内容准确充实，案例生动丰富，密切联系当代社会生活和人们思维实际，将逻辑理论与逻辑运用有机结合起来，以提高学习者实际思维能力与素养。本书介绍了概念、命题逻辑、词项逻辑、谓词逻辑、逻辑基本规律、模态逻辑、归纳逻辑、证明与反驳、非形式谬误等内容。除了每章都配有丰富的练习题外，本书还提供了10套知识与能力综合练习题及答案。本书可用作高等学校教材、教学参考书和逻辑学基础读物。

 

第一章 绪论
第一节 逻辑学的对象
一、逻辑学是研究思维形式及其规律的科学
二、思维形式的规律性
第二节 思维、语言和逻辑
一、对象语言和元语言
二、自然语言和人工语言
三、传统逻辑和现代逻辑
第三节 逻辑学的性质和作用
一、逻辑学的性质
二、逻辑学的作用
练习题
第二章 概念
第一节 内涵和外延
一、概念是反映对象本质属性的思维形式
二、内涵和外延
第二节 概念的种类
一、普遍概念、单独概念和空概念
二、实体概念和属性概念
三、正概念和负概念
四、集合体和类的区别
第三节 概念间的关系
一、相容关系
二、不相容关系
第四节 概念的和概括
一、内涵和外延的反变关系
二、概念的
三、概念的概括
第五节 概念的定义
一、概念陈述及其恰当性
二、定义的结构和方法
三、定义的规则
四、语词定义
五、递归定义
第六节 概念的划分
一、划分的结构和种类
二、划分的规则
三、与划分相关的方法
练习题
第三章 命题逻辑
第一节 联结词和复合命题
一、判断、语句和命题
二、联结词、原子命题和复合命题
三、基本复合命题及其推理形式
四、组合推理形式
第二节 真值形式和命题推理
一、真值形式
二、命题推理及其有效性判定
第三节 真值函数
一、n元真值函数的总数
二、真值函数集的完备性
第四节 命题逻辑的公理化
一、形式化和公理化
二、命题逻辑的形式公理系统
练习题
第四章 词项逻辑
第一节 直言命题
一、直言命题的定义和结构
二、直言命题的种类
三、自然语言中直言命题的规范化
四、直言命题中词项的周延性
五、主、谓项相同的四种直言命题间的真假关系
第二节 直接推理
一、对当关系直接推理
二、命题变形直接推理
第三节 直言三段论
一、直言三段论的定义和结构
二、直言三段论的公理
三、直言三段论的规则
四、直言三段论的格和式
五、直言三段论的省略式
练习题
第五章 谓词逻辑
第一节 简单句和量词
一、谓词和个体词
二、量词和个体域
三、个体域上的函数
第二节 推理的谓词表达
一、直言命题推理的符号化
二、涉及关系推理的符号化
三、其他类型的推理的符号化
第三节 解释方法
一、集合论初步知识
二、解释方法
第四节 谓词逻辑的形式公理系统
一、谓词逻辑的形式语言
二、形式语义学
三、谓词逻辑的一个公理系统Q
练习题
第六章 逻辑基本规律
第一节 同一律
一、同一律的内容
二、同一律的要求和违反同一律的逻辑错误
三、同一律的作用
第二节 矛盾律
一、矛盾律的内容
二、矛盾律的要求和违反矛盾律的逻辑错误
三、矛盾律的作用
四、悖论
第三节 排中律
一、排中律的内容
二、排中律的要求和违反排中律的逻辑错误
三、排中律的作用
四、排中律和矛盾律的区别
第四节 充足理由律
一、充足理由律的内容
二、充足理由律的要求和违反充足理由律的逻辑错误
三、充足理由律的作用
四、关于逻辑基本规律的几个争论
练习题
第七章 模态逻辑
第一节 概述
第二节 模态语言
第三节 可能世界语义学
第四节 公理系统
第五节 其他几种常见的模态逻辑
练习题
第八章 归纳逻辑
第一节 什么是归纳逻辑
一、归纳推理和方法
二、归纳与演绎的关系
三、古典归纳逻辑
四、现代归纳逻辑
五、归纳悖论
第二节 收集和整理经验材料的方法
一、收集经验材料的方法
二、整理经验材料的方法
第三节 归纳推理
一、接近归纳推理和不接近归纳推理
二、简单枚举归纳推理和统计推理
三、科学归纳推理
四、类比推理
五、溯因推理
六、假说演绎推理
第四节 求因果联系的方法
一、求同法
二、求异法
三、求同求异并用法
四、共变法
五、剩余法
第五节 求概率的方法
一、求初始概率的方法
二、概率演算
练习题
第九章 证明与反驳
第一节 证明
一、证明及组成
二、基本的证明结构
三、证明的种类
四、证明的方法
第二节 反驳
一、什么是反驳
二、反驳的种类
第三节 论证的规则
一、关于论题的规则
二、关于论据的规则
三、关于论证方式的规则
练习题
第十章 谬误
第一节 概述
一、什么是谬误
二、谬误的种类
第二节 几种常见的非形式谬误
一、语言歧义型谬误
二、心理相关型谬误
三、论据不充分型谬误
练习题
10套综合练习题
10套综合练习题答案
参考文献