逻辑 实践和认识的软工具PDF电子书下载

第一章 序论 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