数理逻辑讲稿第二讲数理逻辑简介2006-9-25.ppt

数理逻辑第二讲 数理逻辑简介 Mathematical Logic Foundations of Mathematical Logic School of Information Engineering, BUPT Dr. ZHOU Yajian Objectives 本节课试图让学生建立逻辑学的基本概念，包括： 什么是数理逻辑？ 从传统逻辑到数理逻辑的必然性 数理逻辑的研究对象 数理逻辑的发展历史 什么是数理逻辑 数理逻辑研究数学中的哪些逻辑问题 数理逻辑所谓的数学方法 数理逻辑是逻辑学发展的新阶段 逻辑学的发展经历了两个阶段： 传统逻辑（也称为古典逻辑） 现代逻辑（也称为数理逻辑） 传统逻辑和现代逻辑的区别 传统逻辑采用自然语言的方式描述推理形式，存在语义模糊等缺陷。 数理逻辑对推理形式结构的研究，采用了符号化、形式化、公理化等数学方法，因而克服了传统逻辑的种种缺陷。 自然语言 人工语言 传统逻辑的缺陷 之一 传统逻辑的缺陷 之二 传统逻辑的缺陷 之三 传统逻辑缺陷的一个例子 数理逻辑发展简史 数理逻辑的起源 数理逻辑发展的第一个阶段 数理逻辑发展的第二个阶段 数理逻辑发展的第三个阶段 数理逻辑的起源 数理逻辑发展第一个阶段 数理逻辑发展第二个阶段 罗素的分析哲学 数理逻辑发展第三个阶段 Summary In this lesson, you should have learned: What is mathematic logic What is the mathematic method employed? Why should traditional logic evolve to mathematic logic 3 major development stage of mathematic logic 2-* Information Security Center, BUPT Information Security Center, BUPT 北京邮电大学信息工程学院 周亚建 数理逻辑是用数学方法研究逻辑问题，特别是研究数学中的逻辑问题的学科。 数理逻辑研究的中心问题是推理***。 ***耿素云，屈婉玲，张立昂?离散数学，北京：清华大学出版社，1992，pp.1。 数理逻辑中所谓数学的方法就是使用一套符号（即人工符号语言）的方法。 也就是要建立一套符号体系，用它来表达思维的逻辑结构和规律，从而把对思维的研究转变为对符号的研究。 传统逻辑在表达逻辑形式时，只使用自然语言，现代逻辑不同于传统逻辑的主要表现之一就是它使用了人工语言。 自然语言是在社会长期发展中形成的、人们日常使用的语言，如汉语、英语、俄语、德语等各种民族语言都是自然语言。 自然语言十分丰富，具有极强的表达能力。人类各种知识的记载、保存和传播主要是借助自然语言实现的。 但是，自然语言有其缺陷，即它带有一定程度的多义性和模糊性，从而造成自然语言有时是不精确的，人们很难把握其确切的含义。 人工语言是为了达到某种目的而在自然语言的基础上人工构造的表意符号系统，又称为符号语言。 人工语言用特制的符号表达它所陈述的思想内容，用公式表达对象间的某种关系。 人工语言具有单义性 人工语言虽然没有自然语言那么丰富，也没有自然语言那么强的表达力，但它避免了自然语言的多义性和模糊性，带来了精确性、简洁性和直观性等优点。 古典逻辑所讨论的主要限于主宾式语句的三段论，以致在很多方面都显得不适于使用。 由于古典逻辑的研究仅限于主宾式语句，这样对量词的研究非常有限，没有抓住量词的实质，而只能得出量词的一些次要性质。 古典逻辑研究一些逻辑结构并使用一些符号来表达逻辑形式，但由于它停留在自然语言上，没有专门的逻辑符号来处理各类思维形式。 由于它没有完全脱离自然语言，所以不够精确，因而也就不具备演算的性质，不能把推理转化为演算，对于复杂的命题形式及推理它更是无法解决了。 如果张三课堂认真听讲而且课后认真复习，那么他就能取得好成绩。张三课后认真复习，但他没有取得好成绩。所以，张三课堂没有认真听讲。 如果按传统逻辑的方法来处理，可以把这个推理形式化如下： 如果p而且q，则r； q而且非r； 所以，非p。 数理逻辑的最初设想起源于17世纪的伟大德国数学天才莱布尼兹(Gottfried Wilhelm Leibni