逻辑学第1讲试卷.pptVIP

传统逻辑的发展 斯多葛学派：发展了演绎逻辑，对命题理论有新的突破；在推论形式的多样化、形式化也有进展；对悖论作了一些研究。 伊壁鸠鲁派：提出了归纳法，发展了归纳理论。 中世纪的研究成就：元逻辑的研究取得一定的成果；创立了推演学说，研究了语义悖论及解决方法；逻辑学知识被高度重视，西班牙逻辑学家彼得的《逻辑大全》被各类学校广泛采用。 * 传统逻辑的发展——西方逻辑学早期状况 英国哲学家培根系统地总结和研究了实验科学方法，奠定了归纳逻辑的基础并使之蓬勃发展。其著作《新工具》主要内容： 1、提出了整理、分析、比较等科学归纳的“三表法” ： “本质和具有表” 、“差异表” 、“程度表”或“比较表”。 2、提出了确定现象因果联系的方法，初步建立了归纳推理的理论体系。 英国哲学家穆勒提出了探求因果联系的五种方法，也就是“穆勒五法”。 逻辑学的现代概况 17世纪末德国数学家、哲学家莱布尼茨提出把逻辑推理变成数学演算的思想。 英国逻辑学家汉密尔顿创立了谓项量化理论，使逻辑学向形式化迈出了新的一步。 英国逻辑学家布尔建立了“逻辑代数”，首先实现莱布尼兹的设想。 德国数学家、逻辑学家弗雷格较严格的构建了一个逻辑演算系统。 英国著名的哲学家、逻辑学家罗素建立了谓词演算系统。 罗素和怀特海在《数学原理》中总结了前人的成果，使数理逻辑成为一个新学科。 逻辑学三项划时代的重大成果 1931年德国数学家哥德尔提