法律实用逻辑学（西南政法）

上编 传统逻辑基础
第一章 引论
第一节 逻辑科学的类型及其产生和发展
一、“逻辑”一词的由来及含义
二、逻辑学的类型
三、逻辑科学的产生
四、逻辑科学的发展
第二节 逻辑学的研究对象、性质及功能
一、认识、思维和语言
二、逻辑学的研究对象
三、逻辑学的性质
四、逻辑学的功能
第三节 法律工作与逻辑学
一、法律工作与逻辑的关系
二、普通逻辑与法律逻辑
附：作业题
第二章 概念的逻辑知识及其运用
第一节 概念的基本逻辑特征
一、什么是概念
二、概念的内涵及其确立
三、概念外延及其边缘的模糊性
四、概念、语词和词项
第二节 概念的分类
一、单独概念和普遍概念
二、集合概念和非集合概念
三、肯定概念和否定概念
四、实体概念和属性概念
第三节 概念间的关系及其逻辑推演
一、概念之间的外延关系
二、概念之间的逻辑推演
第四节 定义
一、定义的特征
二、定义的方法
三、定义的规则
第五节 划分和列举
一、划分
二、列举
第六节 法律概念
一、法律概念是客观性和规定性的统一
二、法律概念内涵的规定性和外延边缘的模糊性
三、司法归类活动
四、法律概念的定义特点
附：作业题
第三章 简单命题
第一节 命题的一般特征
一、判断、语句与命题
二、命题的分类
第二节 关系命题
一、关系命题及其逻辑结构
二、关系的逻辑性质
第三节 性质命题的概述
一、性质命题及其逻辑结构
二、性质命题的基本类型
第四节 性质命题的逻辑特征
一、性质命题词项的周延性
二、性质命题真假的判定以及不同性质命题之间的逻辑关系
第五节 性质命题的隐含及推导方法
一、性质命题的隐含
二、法律条文的隐含与法律解释
附：作业题
第四章 复合命题
第一节 复合命题的概述
一、复合命题的特征
二、复合命题真假的判定与真值表
第二节 复合命题的基本形式及其逻辑特征
一、负命题与性质命题的负命题
二、联言命题
三、选言命题
四、假言命题
第三节 多重复合命题
一、多重复合命题的特征
二、如何分析法律条文的逻辑形式
第四节 复合命题的等值式
一、各种复合命题的负命题及其等值式
二、不同类型复合命题形式之间的等值式
附：作业题
第五章 模态命题与规范命题
第一节 模态命题概述
第二节 真值模态命题
一、真值模态命题及其分类
二、真值模态命题之间的逻辑关系
第三节 规范命题
一、规范命题及其分类
二、规范命题之间的逻辑关系
三、规范命题的负命题及其等值命题
附：作业题
第六章 演绎推理--直言命题推理
第一节 推理的概述
一、推理的特征及其作用
二、推理的组成及其语言表达形式
三、推理的分类
四、演绎推理、归纳推理与类比推理之比较
第二节 推理的有效性与合理性
第三节 三段论
一、三段论的结构形式及推理根据
二、三段论的格和式
三、判定三段论形式有效性的标准--三段论的规则
四、三段论的应用形式--省略式与复合式
附：作业题
第七章 演绎推理--复合命题推理
第一节 联言推理
一、联言推理的特征与种类
二、联言推理在司法工作中的作用
第二节 选言推理
一、选言推理的特征
二、运用选言推理应当注意的问题
三、选言推理在司法工作中的应用
第三节 假言推理
一、假言推理的特征及其基本形式
二、假言推理在司法工作中的应用
第四节 二难推理
一、二难推理的特征
二、二难推理的种类
三、破斥二难推理
第五节 复合命题推理的综合运用
附：作业题
第八章 归纳推理与类比推理
第一节 归纳推理概述
一、归纳推理的特征
二、归纳推理的先行条件--观察与实验
第二节 归纳推理的种类
一、完全归纳推理及其应用
二、简单枚举归纳推理
三、基于探求因果联系的归纳推理
第三节 类比推理及其应用
一、类比推理的特征
二、正确应用类比推理的逻辑要求
三、类比推理的应用形式
附：作业题
第九章 假说与侦查假设
第一节 假说及其建立过程
一、假说的特征及分类
二、建立假说的过程
第二节 侦查假设及其运用
一、侦查假设的特征、结构及类型
二、怎样建立侦查假设
附：作业题
第十章 论证
第一节 论证的特征
一、什么是论证
二、论证的组成
三、论证的分类
第二节 论证的方法
一、直接论证
二、间接论证
第三节 论证必须遵循的逻辑思维规律
一、同一律以及违反同一律而发生的逻辑错误
二、矛盾律以及违反矛盾律而发生的逻辑错误
三、排中律以及违反排中律而产生的逻辑错误
四、充足理由律以及违反充足理由律而产生的
逻辑错误
第四节 谬误
一、形式谬误和非形式谬误
二、论证中常见的几种非形式谬误
附：作业题
下编 现代逻辑初步
第一章 命题逻辑（上）
第一节 命题和联结词
第二节 真值函数和真值表方法
一、真值函数
二、重言式、矛盾式和偶然式
三、真值表方法
四、简化?嬷当矸椒?
第三节 范式
一、范式
二、合取范式和析取范式
三、析取范式、合取范式存在定理及求范式的方法
四、优范式
第四节 联结词的完全集
第五节 推理的有效性和重言后承
一、推理的有效性
二、重言后承
附：作业题
第二章 命题逻辑（下）
第一节 命题演算概述
一、公理方法和公理系统
二、形式化和形式系统
三、形式系统的其它重要概念
第二节 命题演算系统P
一、P的形式语言L
二、P的公理模式和推导规则
三、P的定理及证明
四、演绎定理及其应用
第三节 命题演算的语义解释
一、P的语义解释
二、P的可靠性
三、P系统的一致性和完全性
第四节 命题演算自然推理系统P??n
一、形式语言
二、推理规则
附：作业题
第三章 谓词逻辑（上）
第一节 一元谓词逻辑的形式语言
一、形式语言
二、性质命题的形式结构分析
第二节 谓词逻辑公式的语义及其逻辑性质
一、模型和赋值
二、谓词逻辑公式的逻辑性质：可满足性和有效性
第三节 代入和易字
一、对自由变元的代入
二、约束变元易字
第四节 推理的形式证明
一、全称消除规则
二、存在消除规则
三、存在引入规则
四、全称引入规则
附：作业题
第四章 谓词逻辑（下）
第一节 形式语言
一、关系词
二、形式语言
第二节 谓词逻辑的语义解释
一、模型和赋值
二、可满足性和有效性
第三节 谓词逻辑公式的运算及有效式的判定
一、求否定运算
二、求对偶运算
三、范式
四、转换赋值法
五、谓词逻辑的判定问题
第四节 谓词推理的形式证明
第五节 谓词演算
一、谓词演算的公理系统
二、QC定理的推演
三、可靠性和完全性
附：作业题
参考书目