当代形式逻辑引论

引言
一、逻辑科学在现代科学中的地位
二、传统形式逻辑与数理逻辑
三、当代形式逻辑语义学、语构学、语用学
四、当代形式逻辑的研究领域、哲学思想和理论观点
第1篇 客观世界的逻辑结构和逻辑规律
第1章 当代形式逻辑语义学基础（1）——客观世界的项和事件
1.1 客观世界的集
1.1.1 对象、个体与集
1.1.2 集的共仅属性
1.1.3 集的性质
1.1.4 集的分类
1.1.5 集与集之间的关系
1.2 客观世界的N目组、N目组集和N元关系
1.3 客观世界的N元函数关系
1.3.1 映射
1.3.2 n元函数关系
1.4 客观世界的项（TERM）
1.4.1 个体变元
1.4.2 n元函数的变值
1.4.3 项的定义
1.4.4 项的分类
1.5 客观世界的原子事件
1.5.1 闭原子事件及其有无值
1.5.2 开原子事件及其划分
1.6 客观世界的真值函数关系与纯真值复合事件
1.6.1 真值函数关系
1.6.2 真值表
1.6.3 纯真值联结关系
1.6.4 纯真值复合事件
1.7 客观世界基本的非纯真值联结关系——充分条件关系及其两个独立性
1.7.1 充分条件关系与必然关系同义
1.7.2 充分条件事件的定义及充分条件关系的两个独立性
1.8　客观世界的导出的非纯真值联结关系和非纯真值复合事件
1.8.1 必要条件关系和必要条件事件
1.8.2 约合关系和约合事件
1.8.3 尽举相容选择关系和尽举相容选择事件
1.8.4 尽举反相容选择关系和尽举反相容选择事件
1.8.5 尽举不相容选择关系和尽举不相容选择事件
1.8.6 充分必要条件关系和充分必要条件事件
1.9 客观世界的事件
第2章 当代形式逻辑语义学基础（2）——客观世界的逻辑结构和
逻辑规律
2.1 客观世界的逻辑结构
2.2 客观世界逻辑规律的种类
2.3 客观世界的逻辑定律
2.3.1 客观世界的事件逻辑定律
2.3.2 客观世界的项逻辑定律
2.4 客观世界的逻辑法则
2.4.1 客观世界的事件逻辑法则
2.4.2 客观世界的项逻辑法则
第3章 逻辑规律是客观世界的规律
3.1 逻辑规律概述
3.2 逻辑规律不是思维自身的规律
3.3 逻辑规律不是符号自身的规律
3.4 逻辑规律是且只能是客观世界的规律
第2篇 逻辑思考 概念
第4章 逻辑思考概述
4.1 逻辑思考的定义
4.2 逻辑思考的内容
4.3 逻辑思考的形式化
4.4 逻辑思考、思考对象、语言载体的关系
第5章 概念
5.1 概念的概述
5.2 当代形式逻辑关于概念的内涵和外延
5.2.1 概念的外延
5.2.2 概念的内涵
5.3 概念的种类
5.3.1 实概念 空概念
5.3.2 普遍概念 单独概念
5.3.3 集合概念 非集合概念
5.3.4 正概念 负概念
5.3.5 性质概念和关系概念
5.4 当代形式逻辑关于2元关系概念
5.4.1 何谓2元关系概念
5.4.2 2元关系的性质
5.5 概念间的关系
5.5.1 全同关系
5.5.2 种属关系
5.5.3 属种关系
5.5.4 交叉关系
5.5.5 全异关系
5.6 划分
5.6.1 何谓划分
5.6.2 划分的种类
5.6.3 划分的规则
5.7 概念的限制和概括
5.7.1 概念的限制
5.7.2 概念的概括
第3篇 命题
第6章 原子命题 纯真值复合命题
6.1 命题的概述
6.1.1 何谓命题
6.1.2 命题的真值
6.1.3 命题的分类
6.2 原子命题
6.2.1 闭原子命题
6.2.2 开原子命题
6.2.3 1元原子命题和多元原子命题
6.2.4 原子命题的真值
6.3 纯真值复合命题
6.3.1 基本的纯真值复合命题
6.3.2 导出的纯真值复合命题
6.3.3 多重纯真值复合命题
6.4 重言式的判定方法
6.4.1 真值表方法
6.4.2 归谬赋值法
6.5 纯真值复合命题的否定命题及其恒等命题
第7章 非纯真值复合命题
7.1 基本的非纯真值复合命题——充分条件假言命题
7.1.1 何谓充分条件假言命题
7.1.2 充分条件假言命题前后件真假关系的特征
7.2 导出的非纯真值复合命题（1）——必要条件假言命题、
充分必要条件假言命题
7.2.1 必要条件假言命题
7.2.2 充分必要条件假言命题
7.3 导出的非纯真值复合命题（2）——尽举选言命题、约合命题
7.3.1 尽举选言命题
7.3.2 约合命题
7.4 非纯真值复合命题的否定命题及其恒等命题
7.4.1 充分条件假言命题的否定命题及其恒等命题
7.4.2 必要条件假言命题的否定命题及其恒等命题
7.4.3 充分必要条件假言命题的否定命题及其恒等命题
7.4.4 尽举相容选言命题的否定命题及其恒等命题
7.4.5 尽举反相容选言命题的否定命题及其恒等命题
7.4.6 尽举不相容选言命题的否定命题及其恒等命题
7.4.7 约合命题的否定命题及其恒等命题
7.5 外延命题和内涵命题
7.5.1 外延命题
7.5.2 内涵命题
7.6 下定义和定义
7.6.1 下定义和定义
7.6.2 如何鉴别一命题是否定义
7.6.3 表述定义的自然语句句型
7.7 复合命题的自然语言载体
第4篇 逻辑定理
第8章 推理和导出
8.1 逻辑定理概述
8.1.1 命题逻辑和名词逻辑
8.1.2 推理和推理式
8.1.3 导出和导出式
8.2 常见的命题逻辑推理
8.2.1 假言推理
8.2.2 尽举选言推理
8.2.3 充分条件假言联锁推理
8.2.4 充分条件假言联言推理
8.2.5 二难推理
8.2.6 归谬推理
8.2.7 假言易位推理
8.3 常见的命题逻辑导出
8.4 关于“必然”、“可能”的推理
8.4.1 上反对关系推理
8.4.2 下反对关系推理
8.4.3 矛盾关系推理
8.4.4 差等关系推理
8.4.5 关于“实然”与“必然”、“可能”的推理
8.5 归纳规则 类比规则
8.5.1 不完全归纳规则
8.5.2 类比规则
第9章 非推导逻辑定理
9.1 不矛盾定理
9.1.1 何谓不矛盾定理
9.1.2 不矛盾定理的运用
9.2 排中定理
9.2.1 何谓排中定理
9.2.2 排中定理的运用
第5篇 传统形式逻辑直言命题及其推导理论简介
第10章 传统形式逻辑直言命题
10.1 传统直言命题概述
10.1.1 什么是直言命题
10.1.2 直言命题的种类
10.2 AEIO的真假情况
10.3 AEIO的真假关系
10.4 AEIO的主词和宾词的周延性问题
10.5 直言命题的否定命题及其恒等命题
第11章 传统形式逻辑直言命题推导
11.1 传统直言命题对当关系推导
11.1.1 以sAp或其否定命题﹁（sAp）为前提的四种推导
11.1.2 以sEp或其否定命题﹁（sEp）为前提的四种推导
11.1.3 以sIp或其否定﹁（sIp）为前提的四种推导
11.1.4 以sOp或其否定命题﹁（sOp）为前提的四种推导
11.2 传统直言命题变形推导
11.2.1 换质推导
11.2.2 换位推导
11.2.3 换质位推导
11.3 传统直言三段论
11.3.1 三段论的概述
11.3.2 三段论的规则
11.3.3 三段论的格与式
11.3.4 三段论的省略式
第6篇 逻辑证明及其认识论意义
第12章 逻辑证明与证实
12.1 几个有关概念
12.2 证明的定义
12.3 几种常见的证明方法
12.3.1 反证法
12.3.2 侧证法
12.3.3 正证法
12.3.4 一般归纳法
12.3.5 归谬法
第13章 逻辑证明的认识论意义
13.1 证实的定义
13.2 已证明的结论是否已证实
13.3 结论对前提来说是否新知
第7篇 对逻辑科学发展的进一步研究
第14章 对传统形式逻辑读物中一些问题的讨论
14.1 传统形式逻辑概念理论中存在的问题
14.1.1 关于概念的定义至今仍不能自圆其说
14.1.2 有些概念种类划分不合理
14.1.3 “概念不明确”是一种自相矛盾或者模棱两可的提法
14.1.4 值得推敲的其他问题
14.2 对纯真值有效式的分析
14.2.1 对应于传统命题逻辑推理式的纯真值有效式
14.2.2 对应于传统命题逻辑导出式的纯真值有效式
14.2.3 作为蕴涵怪论的纯真值重言式
14.3 关于流行的传统形式逻辑读物中命题逻辑推理式的几点讨论
14.3.1 所谓反三段论
14.3.2 所谓选言推理式﹁A∧（A∨B）→B等
14.3.3 真值表方法不是命题逻辑推理式有效性的判定方法
14.4 传统形式逻辑直言命题的当代形式逻辑剖析
14.4.1 传统直言命题理论中存在的问题
14.4.2 当代形式逻辑对传统直言命题理论问题的解决
14.4.3 传统直言命题和与之相应的外延命题、内涵命题之间的区别
14.5 传统形式逻辑直接推理、间接推理的当代形式逻辑剖析
14.5.1 关于传统直接推理
14.5.2 关于传统三段论
14.6 在逻辑理论上本著作与现行传统形式逻辑读本的比较
第15章 关于逻辑证明哲学意义的深入探讨
15.1 伽利略的功勋
15.2 伽利略的证明纳入当代形式逻辑
15.3 关于推理及其前提的一些分析
15.4 证明的一般前提的形成和证实
15.5 简要结语
第16章 当代形式逻辑基础理论在军事管理中的应用研究实例
16.1 概念理论知识在军事管理中的应用实例
16.2 命题理论知识在军事管理中的应用实例
16.3 逻辑定理在军事管理中的应用实例
16.4 逻辑证明在军事管理中的应用实例
结语 逻辑科学的定义
后记
参考文献