逻辑学第1讲资料.pptVIP

传统逻辑的发展 斯多葛学派：发展了演绎逻辑，对命题理论有新的突破；在推论形式的多样化、形式化也有进展；对悖论作了一些研究。 伊壁鸠鲁派：提出了归纳法，发展了归纳理论。 中世纪的研究成就：元逻辑的研究取得一定的成果；创立了推演学说，研究了语义悖论及解决方法；逻辑学知识被高度重视，西班牙逻辑学家彼得的《逻辑大全》被各类学校广泛采用。 * 传统逻辑的发展——西方逻辑学早期状况 英国哲学家培根系统地总结和研究了实验科学方法，奠定了归纳逻辑的基础并使之蓬勃发展。其著作《新工具》主要内容： 1、提出了整理、分析、比较等科学归纳的“三表法” ： “本质和具有表” 、“差异表” 、“程度表”或“比较表”。 2、提出了确定现象因果联系的方法，初步建立了归纳推理的理论体系。 英国哲学家穆勒提出了探求因果联系的五种方法，也就是“穆勒五法”。 逻辑学的现代概况 17世纪末德国数学家、哲学家莱布尼茨提出把逻辑推理变成数学演算的思想。 英国逻辑学家汉密尔顿创立了谓项量化理论，使逻辑学向形式化迈出了新的一步。 英国逻辑学家布尔建立了“逻辑代数”，首先实现莱布尼兹的设想。 德国数学家、逻辑学家弗雷格较严格的构建了一个逻辑演算系统。 英国著名的哲学家、逻辑学家罗素建立了谓词演算系统。 罗素和怀特海在《数学原理》中总结了前人的成果，使数理逻辑成为一个新学科。 逻辑学三项划时代的重大成果 1931年德国数学家哥德尔提出了不完全性定理，它证明了包括数论在内的一致的形式系统都是不完全的，提出了形式系统的局限性。 1933年波兰逻辑学家塔尔斯基建立了逻辑语义学，在其理论中，区分了元语言和对象语言，确立了真谓词的逻辑原则。 1937年英国数学家、逻辑学家图灵建立了“图灵机理论”，第一次为人类提出了计算机应用的理想模型，标志着人工智能时代的到来。 本章小结 基本内容 逻辑学的基本概念、思维的内容与形式。 逻辑学的性质，学习逻辑学的作用。 逻辑学的研究方法以及学习方法。 逻辑学的发展简史。 重难点 思维的内容与形式。 有效(形式正确)的推理。 形式化、公理化方法。 形式化方法 形式化方法的作用:主要是能克服自然语言的歧义性。 形式化方法的内容: 1、把自然语言符号化，抽象和概括为形式语言。形式语 言由两部分组成：初始符号和形成规则。 2、对直观意义的推理关系进行语形和语义的双重刻画。 3、证明对推理关系的双重刻画的重合性。 形式化方法是指用一套特制的符号,去表示词项、命题、推理，从而对词项、命题、推理的形式的研究，转化为对形式符号表达式系统的研究的方法。 公理化方法 公理系统是从一些公理出发，根据一定的规则，推演出一系列定理，它由初始概念、公理、定义、推理规则和定理构成的演绎系统。建立公理化系统的具体步骤： 1、把一组概念作为不加定义的初始概念，而其余概念叫导出概念，它们都由初始概念通过定义引入。 2、从一组不加证明的公理出发，通过逻辑推理规则可推演出一系列的命题，这些命题叫定理，其推理过程叫证明。 公理化方法是从初始概念和公理出发，利用它们定义其它一切概念以及推演出其它一切定理的演绎方法，也就是运用形式化手段建立公理系统的方法。 自然演绎方法 自然演绎方法与公理化方法的不同点： （1）没有公理； （2）只有推演规则； （3）系统的建立，以接近日常推理为考虑的重点。 自然演绎方法是一种强调推理规则的重要性，既可以从真前提推出真语句，也可从假设得出推断的形式化方法。 第二章 传统词项逻辑 第一节 传统词项逻辑概述 第二节 词项 第三节 直言命题 第四节 直言命题的直接推理 第五节 三段论 第二章 传统词项逻辑 第一节 传统词项逻辑概述 传统词项逻辑所研究的内容 传统词项逻辑是亚里士多德建立的以直言命题 （性质命题）为对象、以三段论为核心的一个逻辑系统。 * * 命题 （1）西南大学在重庆。 （2）闪光的东西都是金子。 （3）如果小王有作案动机，那么他就会作案。 命题的主要特征：命题有真假 符合实际的命题是真命题，不符合实际的命题是假命题。上述（1）是真命题; 而（2）、（3）是假命题。 命题是通过语句来反映事物情况的思维形态。例如： 命题和语句 有的语句不能直接表达命题，如： （1）西南大学在重庆吗? （2）请把门关上！ 陈述句与反诘句可以直接表达命题。 同一命题可以用不同的语句来表达，如： “所有的鸟都会飞”与“没有鸟不会飞”表达了相同的命题。 同一命题可用不同的民族语言的语句来表达 同一语句，可以表达不同的命题，如： 小张将书还给小王，因为他要回家了。 任何命题都是通过语句来表达的，但语句和命题并非一一对应