包邮逻辑学

绪论 **节 逻辑学的研究对象和类型 一、逻辑学的含义 二、逻辑学的研究对象 三、逻辑学的类型 第二节 逻辑学的性质与学习逻辑学的作用 一、逻辑学的性质 二、学习逻辑学的作用 第三节 逻辑学的研究方法与学习方法 一、逻辑学的研究方法 二、逻辑学的学习方法 第四节 逻辑学的发展概况 一、逻辑学的三大传统 二、现代逻辑学的发展 三、当代中国逻辑学的普及与发展 **章 传统词项逻辑 **节 词项 一、词项概述 二、词项的种类 三、词项外延之间的关系 第二节 直言命题 一、直言命题及其逻辑结构 二、直言命题的分类 三、直言命题主项和谓项的周延性 四、对当方阵 第三节 直接推理 一、直接推理的特点 二、对当关系推理 三、直言命题变形推理 四、直言命题直接推理的检验 第四节 三段论 一、什么是三段论 二、三段论推理的一般规则 三、三段论的格及其特殊规则 四、三段论的式 五、非标准形式三段论 六、用文恩图解法检验三段论的有效性 第二章 命题逻辑 **节 命题逻辑概述 一、句子与命题 二、简单命题与复合命题 三、推理 第二节 复合命题及其推理 一、命题联结词的真值表 二、复合命题推理 三、复合命题的逻辑等值推理 四、复合命题推理的综合运用 第三节 真值表方法 第三章 命题逻辑的自然演绎系统 **节 证明与子证明 第二节 推理规则 一、结构规则 二、联结词规则 第三节 系统NP中的推导 一、合取规则的运用 二、蕴涵规则的运用 三、否定规则的运用 四、析取规则的运用 五、等值规则的运用 六、综合运用 第四节 无前提推导与演绎定理 第四章 谓词逻辑 **节 个体词、谓词和量词 一、个体词 二、谓词 三、量词 第二节 谓词逻辑的形式语言 一、谓词逻辑的公式 二、命题的符号化 第三节 基本语法概念 一、自由变元与约束变元 二、代入 第四节 谓词逻辑语义 一、模型和赋值 二、有效公式与有效推理 第五章 谓词逻辑的自然演绎系统 **节 谓词逻辑自然演绎系统 一、全称量词消去规则 二、全称量词引入规则 三、存在量词消去规则 四、存在量词引入规则 第二节 带等词的谓词逻辑自然演绎系统NQ 一、等词消去规则 二、等词引入规则 第六章 传统归纳逻辑 **节 归纳推理 一、归纳推理的定义 二、归纳推理的作用 第二节 枚举归纳推理 一、枚举归纳推理的定义 二、枚举归纳推理的作用 第三节 穆勒五法 一、求同法 二、求异法 三、求同求异并用法 四、共变法 五、剩余法 六、如何正确对待穆勒五法 第四节 类比推理 一、类比推理的定义 二、运用类比推理时应该注意的问题 三、模拟方法 第七章 现代归纳逻辑 **节 概率和概率演算 一、概率和概率解释 二、概率演算 三、贝叶斯规则 第二节 统计推理 一、统计推理概述 二、统计推理的类别、形式和相关概念 三、统计推理的抽样问题 四、统计推理的应用 第八章 科学逻辑 **节 科学方法与科学逻辑 第二节 科学说明与科学预测 一、科学说明 二、科学预测 第三节 科学假说 一、科学假说的基本特征 二、科学假说的形成 三、科学假说的检验 第四节 科学理论及其演化 一、假说转化为理论 二、科学理论的系统演化 三、科荨俘论的形成与解决 第九章 论辩逻辑 **节 非形式逻辑与论辩逻辑 第二节 论证、反驳与辩护 一、论证的建构与评估 二、反驳的建构与评估 三、辩护的建构与评估 第三节 定义与划分 一、明确概念的基本方法 二、定义的种类与评估 三、划分的种类与评估 第四节 谬误与诡辩 一、形式谬误与非形式谬误 二、非形式谬误的辨析 第十章 语言交际的逻辑 **节 语言逻辑概述 一、句法学 二、语义学 三、语用学 第二节 言语行为理论 一、言语行为理论的产生与发展 二、语用逻辑 三、间接言语行为 第三节 言语行为与成功交际 一、切当性标准 二、成功交际的条件 三、间接言语行为的准则 第十一章 逻辑思维的基本规律 **节 逻辑规律与思维规范 第二节 矛盾律 一、矛盾律的基本内容 二、矛盾律的规范作用 第三节 排中律 一、排中律的基本内容 二、排中律的规范作用 第四节 同一律 一、同一律的基本内容 二、同一律的规范作用 练习题参考答案 阅读文献 人名译名对照表 术语中英文对照表 后记 第二版后记