编写组《普通逻辑》(第5版)笔记和课后习题详解.docx

编写组《普通逻辑》（第5版）笔记和课后习题详解

目录内容简介目录第1章引论1.1复习笔记1.2课后习题详解第2章复合命题及其推理2.1复习笔记2.2课后习题详解第3章命题的判定与自然推理3.1复习笔记3.2课后习题详解第4章简单命题的基本要素——概念4.1复习笔记4.2课后习题详解第5章性质命题及其推理5.1复习笔记5.2课后习题详解第6章关系命题及其推理6.1复习笔记6.2课后习题详解第7章谓词自然推理7.1复习笔记7.2课后习题详解第8章模态命题及其推理8.1复习笔记8.2课后习题详解第9章普通逻辑的基本规律9.1复习笔记9.2课后习题详解第10章归纳推理

第第1章引论1.1复习笔记一、“逻辑”辨义在现代汉语里，“逻辑”是个多义词。

1．指客观事物发展的规律；2．指某种特殊的理论、观点或看问题的方法；3．指人们思维的规律、规则；4．指一门学问，即逻辑学。

二、传统逻辑与现代逻辑按其历史发展阶段和类型的不同，逻辑学可分为传统逻辑和现代逻辑。

（一）传统逻辑的产生1．古代中国春秋战国时期逻辑思想就有很大发展，随之产生逻辑学说，史称“名辩之学”。主要内容表现在惠施、公孙龙、后期墨家、韩非等人的著述中。其中对逻辑学贡献最大的为《墨经》和《正名篇》。

2．古代印度古代印度的逻辑学说被称为“因明”。“因”是指推理的依据，“明”是指“学说”，“因明”就是古代印度关于推理的学说。陈那的《因明正理门论》和商羯罗主的《因明入正理论》等是主要的代表作。

3．古代希腊古希腊是逻辑学的主要诞生地。亚里士多德对逻辑学进行了全面的研究，并在历史上建立了第一个演绎逻辑系统，著有：《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》和《辨谬篇》，这些著作合称为《工具论》。他对逻辑学的重大贡献，奠定了西方逻辑学发展的基础。

（二）传统逻辑的发展

1．斯多葛学派该学派着重研究假言命题、选言命题、联言命题以及由它们所组成的推理形式，并且提出不同类型的推理规则和逻辑公式，后人称之为“命题逻辑”。

3．弗兰西斯·培根17世纪，弗兰西斯·培根提出了归纳法，奠定了归纳逻辑的基础。培根的主要著作是《新工具》。他批评了亚里士多德的演绎逻辑，陈述了“三表法”和“排除法”。

4．亚诺德和尼柯尔公元1662年，法国出版了亚诺德和尼柯尔合著的《波尔·罗亚尔逻辑》。这是一本逻辑学教科书，分别讨论了概念、命题、推理和方法问题。至此，演绎、归纳和一般方法熔为一体的传统逻辑便有了一个雏型。

5．康德18至19世纪，康德首次使用了“形式逻辑”这个名称，他对逻辑的一些看法，对后世具有一定影响。

6．约翰·穆勒约翰·穆勒继承并发展了培根的归纳逻辑，在他所著的《逻辑体系：归纳和演绎》中，系统地阐述了契合法、差异法、契合差异并用法、共变法和剩余法五种方法，通称为“穆勒五法”，进一步丰富了传统逻辑的内容。

（三）现代逻辑的兴起和发展1．数理逻辑（1）莱布尼兹17世纪末，莱布尼兹提出了用数学方法处理演绎逻辑、把推理变成逻辑演算的光辉思想，因而成为数理逻辑的开拓者和奠基人。

（2）布尔布尔建立了“逻辑代数”，把莱布尼兹的思想变成了现实，成为数理逻辑的早期形式。

（3）罗素和怀德海20世纪初，罗素和怀德海建立起两个基础演算即命题演算和谓词演算，使数理逻辑进一步完善，发展成为一门新兴的学科。主要成果如l910至1913年出版的巨著《数学原理》。

（4）歌德尔

20世纪30年代初，歌德尔证明了两条不完全性定理，标志着数理逻辑已发展到一个新的阶段。

（5）演变发展20世纪40年代以来，数理逻辑又得到了迅速发展，主要表现为：

①其主要分支学科集合论、证明论、递归论和模型论产生并发展起来；②在命题演算和谓词演算的基础上，从二值的外延逻辑向非二值或非外延的逻辑发展，出现了模态逻辑、时态逻辑等。

2．辩证逻辑辩证逻辑的理论和体系也开始建立起来，主要表现为：

（1）黑格尔黑格尔研究了人类辩证思维的形式和规律，提出了第一个辩证逻辑的体系。虽然建立在唯心主义基础上，但其中却包含有不少合理的内核和深刻的思想。

（2）马克思、恩格斯和列宁19世纪中叶以后，马克思、恩格斯和列宁对辩证逻辑有许多精辟的论述。他们运用辩证唯物主义的观点和方法来研究逻辑问题，为科学的辩证逻辑奠定了坚实的基础。

3．归纳逻辑归纳逻辑也有新的发展，其主要趋势是归纳方法与概率统计方法相结合，并且运用了数理逻辑的工具。

（1）凯因斯1921年，凯因斯构造了一个归纳概率的公理系统。

（2）赖兴巴赫30年代，赖兴巴赫又构造了一个新的归纳逻辑体系。

（3）卡尔纳普40年代以后，卡尔纳普等人对概率逻辑做出了重要贡献。

（4）当前发展方向从科学方法论的角度来研究归纳逻辑在科学发现中的表现模式和作用。

三、普通逻辑的对象（一）认识与思维从宏观上看，普通逻辑是研究思维