形式逻辑和语言交1.pptVIP

形式逻辑与语言交际 第一章 绪论 一、逻辑的词源和词义 1、逻辑的词源 英文logic的音译，导源于希腊语logos 2、 逻辑的词义 （1）客观规律 （2）指人类的思维规律 （3）观点、主张 （4）研究思维形式及思维规律的科学 二、逻辑学的对象1、思维形式思维在抽象掉具体内容之后所具有的共同结构，也被称为思维的逻辑形式。逻辑形式由逻辑变项（P、Q、S、M……）和逻辑常项（所有……是、如果……那么……）构成。 逻辑学研究的思维形式，其主体是推理形式。 推理就是从一个或多个已知命题得出一个新命题  的思维过程。  归纳推理 推理 演绎推理 推理的有效性： 　　前提与结论之间具有必然推出关系就是推理的有效性，或者说，只要结论从前提必然推导出来，结论为前提所蕴涵，那么这个推理就是正确的、有效的。 注意： 第一，推理有效性是就演绎推理而言的。 第二，推理有效性是就推理的形式结构而言的，与它的具体内容没有关系。 例如： 人是有理性的， 小孩是人， 所以，小孩是有理性的。 哺乳动物是智能动物， 鱼是哺乳动物； 所以，鱼是智能动物。 这两个推理内容不同，前提与结论的真假也不同，但形式结构一样，都是有效的推理。这说明，推理的有效性与前提的真假不同，也是不由前提和结论的真假决定的。 2、思维规律 同一律 矛盾律 排中律3、思维的逻辑方法 定义、划分、限制、概括，求因果五法、科学解释、科学预测、假说等。 三、逻辑的性质和作用 1、逻辑学的性质 （1）全人类性 （2）工具性 （3）规范性 2、逻辑学的作用 （1）可以培养和提高大学生的思维素质。 （2）可以帮助人们提高认识能力并准确地表述和论证思想。 （3）有助于揭露谬误和驳斥诡辩 四、逻辑学的发展简史 1、古希腊罗马时期 亚里士多德：西方逻辑学创始人。《工具论》6 篇(范畴篇、解释篇、前分析篇、后分析篇、论辩篇、辩谬篇)奠定了逻辑的基础。在这些著作中，他分别论述了有关概念、判断、推理、论证、论辩的方法以及如何驳斥诡辩等方面的问题。特别是他关于三段论的理论，至今我们仍在沿用。另外，在其哲学著作《形而上学》一书中，他还系统地论述了矛盾律、排中律，同时也涉及到同一律。 继亚里士多德之后，古希腊斯多葛学派研究了假言命题、选言命题、联言命题以及由它们所组成的推理形式，并提出了相应的推理规则。（命题逻辑） 伊壁鸠鲁派提出了归纳法，发展了归纳理论。 2、中世纪时期 元逻辑的提出和逻辑学知识的普及，出版了一些较有影响的逻辑教科书，如西班牙彼得的《逻辑大全》等。  3、近代时期 弗兰西斯·培根：奠定了归纳逻辑的基础并进而使之蓬勃发展。（《新工具》中的三表法：本质和具有表、差异表、程度表） 穆勒：古典归纳逻辑的集大成者（求因果五法：求同法、求异法、求同求异并用法、共变法、剩余法） 4、数理逻辑的基础——逻辑演算建立时期 莱布尼茨（1646-1716）：提出建立数理逻辑的基本思想（提出了两种思想，一种是用数学演算的方法来处理演绎逻辑；另一种是要在自然语言之外，创立一种适合于演算的“通用语言”。） 莱布尼兹之后，英国数学家、逻辑学家布尔（George．Bool，1815-1864）于1847年建立了“逻辑代数”。这是数理逻辑的早期形式，它标志着莱布尼兹关于数理逻辑的思想已经初步成为现实。  德摩根：创立关系逻辑 弗雷格：19世纪末和20世纪初，德国数学家、哲学家、逻辑学家弗雷格（Gottlob．Frege, 1848-1925）模仿数学的方法，首次把传统逻辑符号化，并形成一种结构清楚的逻辑演算系统。由于弗雷格的杰出贡献而被认为现代逻辑之父。  自弗雷格后，许多杰出的逻辑学家，如皮亚诺（Giuseppe, Peano,1858-1932）、罗素（Bertrand,Russell,1872-1970）和怀特海（Alfred,Whitehead,1861-1947）等人的不懈努力，直至1930年，哥德尔（Kurt,Godel,1906-1978）证明一阶谓词演算的完全性，数理逻辑才算真正意义的创立，并标志现代逻辑的诞生。  芝诺的运动悖论:阿基里斯赶不上乌龟 如果英雄阿基里斯让乌龟先跑一段，他就永远追不上乌龟。因为他首先必须到达乌龟出发的地点，而这时乌龟会向前走了一段路。于是他又必须追赶上这段路，而当他赶上这段路时，乌龟又向前走了一段路。他总是愈追逾近，但是始终追不上它。 芝诺的运动悖论：飞矢不动 芝诺曾问他的学生：“一枝射出去的箭，它是动的还是