《逻辑 实践和认识的软工具》

第一章 序论1

第一节 逻辑学的研究对象1

第二节 普通逻辑的现代形式4

第三节 学习逻辑学的意义6

第四节 学习逻辑学的方法9

第一篇 演绎逻辑11

第二章 命题逻辑11

第一节 概述11

第二节 逻辑联结词13

第三节 公式 真值形式 真值函项18

第四节 推理20

第五节 合取命题及其推理22

第六节 析取（选言）命题及其推理24

第七节 不相容选言命题及其推理27

第八节 蕴涵（假言）命题及其推理29

第九节 等值命题及其推理34

第十节 负命题及其推理37

第十一节 等值链39

第十二节 多重复合命题及其推理47

第十三节 自然推理59

第三章 命题筹算70

第一节 真值形式的几种主要类型70

第二节 命题筹算法原理71

第三节 判定83

第四节 发现逻辑规律90

第五节 解逻辑方程93

第四章 概念与集合102

第一节 集合论的一些基本概念103

第二节 集合的运算106

第三节 集合间的关系108

第四节 概念111

第五节 概念的种类115

第六节 定义119

第七节 划分125

第五章 直言命题的逻辑132

第一节 直言命题132

第二节 直言命题的直接推理137

第三节 直言三段论144

第四节 直言筹算法原理149

第五节 直言筹算推论159

第六节 直言复合式推理有效性的筹算171

第六章 狭谓词逻辑179

第一节 谓词逻辑的一些基本概念180

第二节 一元谓词的命题185

第三节 二元谓词的命题188

第四节 量化自然推理195

第七章 模态命题逻辑209

第一节 模态命题209

第二节 模态逻辑的主要规律212

第三节 模态筹算法214

第四节 模态推理式有效性的筹算218

第五节 求模态式的结论的筹算223

第六节 用量化方法处理模态命题225

第八章 逻辑基本规律229

第一节 逻辑基本规律的概述229

第二节 同一律230

第三节 矛盾律（不矛盾律）233

第四节 排中律236

第五节 基本规律在逻辑学中的地位239

第二篇 归纳逻辑242

第九章 归纳推理242

第一节 归纳推理概述242

第二节 完全归纳推理243

第三节 不完全归纳推理248

第四节 探求因果联系的逻辑方法251

第十章 概率统计归纳推理264

第一节 概率归纳法的一些主要概念264

第二节 概率演算267

第三节 逆推理271

第四节 概率枚举推理274

第五节 统计推理的一些基本概念278

第六节 估计280

第七节 统计假说检验284

第十一章 类比和相关291

第一节 类比推理概述291

第二节 类比推理的概率296

第三节 相关性300

第四节 模仿和试验309

第三篇 逻辑应用315

第十二章 论证的工具315

第一节 概述315

第二节 论证的规则317

第三节 证明321

第四节 反驳330

第十三章 求知求术的工具336

第一节 自然界的自然合逻辑性336

第二节 开发智术的工具338

第三节 逆蕴涵法（倒推法）341

第四节 蕴涵链排除法344

第五节 计算求解法349

第六节 中介连接法351

第十四章 司法实践的工具354

第一节 犯罪与受惩的模态354

第二节 常规推论360

第三节 反常规推论362

第四节 探测反应法368

第五节 心理控制法369

第六节 辨诬372

第十五章 经济谈判的逻辑工具375

第一节 经济谈判和逻辑思维375

第二节 谈判准备阶段的逻辑应用377

第三节 谈判过程中的逻辑应用382

第四节 签约中的逻辑应用387