逻辑引论[电子资源.图书]

前言
第一章 绪论
第一节 逻辑学的对象
一、“逻辑”一词的含义
二、逻辑学的研究对象
三、逻辑的类型
第二节 逻辑与语言
一、逻辑与语言的关系
二、自然语言与符号语言
第三节 逻辑学的性质和作用
一、逻辑学的性质
二、逻辑学的作用
思考题
练习题
第二章 命题逻辑
第一节 命题概述
一、命题的特征
二、命题与判断
三、命题与语句
四、命题的种类
第二节 复合命题及其形式
一、概述
二、负命题
三、联言命题
四、选言命题
五、假言命题
六、等值命题
七、多重复合命题
第三节 复合命题的重言等值式
一、复合命题公式的分类
二、常用的重言等值式
三、重言式的判定方法
四、等值变形
第四节 复合命题推理的基本有效式
一、复合命题推理的有效性
二、双重否定推理
三、联言推理
四、选言推理
五、假言推理
六、等值推理
第五节 复合命题推理的其他有效式
一、排斥选言推理
二、必要条件假言推理
三、假言联锁推理
四、二难推理
五、归谬法推理
六、反三段论
七、基于重言等值式的推理
第六节 命题逻辑的自然推理系统 P^N
一、命题逻辑的判定问题和推导问题
二、自然推理
三、P^N 系统的基本规则
四、导出规则:间接证明规则 R.A.A
思考题
练习题
第三章 词项逻辑
第一节 词项
一、简单命题推理
二、词项及其特征
三、词项的种类
四、词项外延间的关系
第二节 直言命题
一、直言命题及其组成
二、直言命题的种类
三、直言命题的文恩图解
四、直言命题词项的周延性
第三节 直言命题的直接推理
一、直言对当关系推理
二、换质法
三、换位法
第四节 三段论
一、三段论及其特征
二、三段论的格和式
三、三段论的规则
四、三段论的导出规则
五、省略三段论
六、复合三段论
第五节 直言命题推理逻辑有效性的判定
一、推理规则判定方法
二、文恩图解判定方法
三、化归判定方法
第六节 关系推理
一、关系命题
二、关系的性质
三、关系三段论
思考题
练习题
第四章 谓词逻辑
第一节 概述
第二节 谓词逻辑的公式
一、个体词、谓词、量词
二、谓词逻辑的命题形式
三、自由变项、约束变项
第三节 谓词逻辑的自然推理系统酬
一、谓词逻辑推理的有效性
二、酬系统的基本规则
三、等词规则
四、附加规则
思考题
练习题
第五章 模态、规范逻辑
第一节 模态命题
一、模态命题的特征
二、模态命题的种类
三、模态命题的真假
第二节 模态推理
一、模态对当推理
二、模态与非模态命题推理
三、必然化推理
四、复合模态命题推理
五、模态三段论
第三节 模态逻辑的自然推理系统 T^N、QT^N
一、模态逻辑推理的有效性
二、模态命题逻辑的自然推理系统
三、模态谓词逻辑的自然推理系统
第四节 规范命题
一、规范命题的特征
二、规范命题的种类
三、规范命题与模态命题之间的联系
四、规范命题的真假
第五节 规范推理
一、规范对当推理
二、必须化推理
三、复合规范命题推理
四、规范三段论
五、规范条件推理
六、规范强弱推理
第六节 规范逻辑的自然推理系统 DT^N
一、DT^N 系统的基本规则
二、DT^N 系统的有效推理
思考题
练习题
第六章 归纳逻辑
第一节 概述
一、什么是归纳逻辑
二、古典归纳逻辑和现代归纳逻辑
第二节 回溯推理
第三节 归纳推理
第四节 求因果联系五法
一、求同法
二、求异法
三、求同求异并用法
四、共变法
五、剩余法
第五节 类比推理
第六节 统计推理与概率
思考题
练习题
第七章 逻辑基本规律
第一节 同一律
一、什么是同一律
二、违反同一律的逻辑错误
三、同一律在法律工作中的应用
第二节 矛盾律
一、什么是矛盾律
二、违反矛盾律的逻辑错误
三、矛盾律在法律工作中的应用
四、悖论
第三节 排中律
一、什么是排中律
二、违反排中律的逻辑错误
三、排中律在法律工作中的应用
思考题
练习题
第八章 逻辑方法
第一节 定义和划分
一、定义
二、划分
第二节 假说
一、概述
二、假说的提出
三、假说的检验
第三节 论证
一、证明概述
二、证明的方法
三、证明的规则
四、反驳
第四节 辩论
一、辩论及其特征
二、辩论的意义
三、辩论推理的特征
四、辩论的技巧与方法
第五节 谬误
一、什么是谬误
二、常见的各种谬误
三、研究谬误的意义
思考题
练习题