全球旧事资料 分类
西方逻辑学早期状况
英国哲学家培根系统地总结和研究了实验科学方法,奠定了归纳逻辑的基础并使之蓬勃发展。其著作《新工具》主要内容:
1、提出了整理、分析、比较等科学归纳的“三表法”:“本质和具有表”、“差异表”、“程度表”或“比较表”。
2、提出了确定现象因果联系的方法,初步建立了归纳推理的理论体系。
英国哲学家穆勒提出了探求因果联系的五种方法,也就是“穆勒五法”。
幻灯片25逻辑学的现代概况
17世纪末德国数学家、哲学家莱布尼茨提出把逻辑推理变成数学演算的思想。英国逻辑学家汉密尔顿创立了谓项量化理论,使逻辑学向形式化迈出了新的一步。英国逻辑学家布尔建立了“逻辑代数”,首先实现莱布尼兹的设想。德国数学家、逻辑学家弗雷格较严格的构建了一个逻辑演算系统。
英国著名的哲学家、逻辑学家罗素建立了谓词演算系统。罗素和怀特海在《数学原理》中总结了前人的成果,使数理逻辑成为一个新学科。
幻灯片26逻辑学三项划时代的重大成果
f1931年德国数学家哥德尔提出了不完全性定理,它证明了包括数论在内的一致的形式系统都是不完全的,提出了形式系统的局限性。
1933年波兰逻辑学家塔尔斯基建立了逻辑语义学,在其理论中,区分了元语言和对象语言,确立了真谓词的逻辑原则。
1937年英国数学家、逻辑学家图灵建立了“图灵机理论”,第一次为人类提出了计算机应用的理想模型,标志着人工智能时代的到来。
幻灯片27本章小结
基本内容逻辑学的基本概念、思维的内容与形式。逻辑学的性质,学习逻辑学的作用。逻辑学的研究方法以及学习方法。逻辑学的发展简史。
重难点思维的内容与形式。有效形式正确的推理。形式化、公理化方法。
幻灯片28形式化方法
形式化方法是指用一套特制的符号去表示词项、命题、推理,从而对词项、命题、推理的形式的研究,转化为对形式符号表达式系统的研究的方法。
形式化方法的作用主要是能克服自然语言的歧义性。形式化方法的内容
1、把自然语言符号化,抽象和概括为形式语言。形式语和形成规则。
2、对直观意义的推理关系进行语形和语义的双重刻画。3、证明对推理关系的双重刻画的重合性。
言由两部分组成:初始符号
f幻灯片29公理化方法
公理化方法是从初始概念和公理出发,利用它们定义其它一切概念以及推演出其它一切定理的演绎方法,也就是运用形式化手段建立公理系统的方法。
公理系统是从一些公理出发,根据一定的规则,推演出一系列定理,它由初始概念、公r
好听全球资料 返回顶部