逻辑学 - ok.ppt

逻 辑 学 第一讲 绪论 （柏拉图：人是有毛直立动物； 马克思：人是一切社会关系的总合，角色丛理论） 亚里士多德关于人的定义：“人是理性的动物”。 人类的本质特征（与动物的根本区别）：逻辑思维。 逻辑思维：以概念、判断、推理、论证去认识现实世界、交流思想的理性认知活动。 二方面作用： 在日常的思考、表达、交流中：概念清晰，判断准确，推理有逻辑性，论证严密、有说服力。 批判性思维和创造性思维是推动知识社会前进的动力： 独立的思考和判断、理性的怀疑态度 运用知识分析和解决未知问题 爱因斯坦：“要是没有能独立思考和独立判断的有创造能力的个人，社会的向上发展就不可想象”（《爱因斯坦文集》（第3卷）商务印书馆1979年版，第39页）。 逻辑论证：解决和消除分歧的理想方式。 逻辑学提供的论证和论辩的理论：说理的程序和规则（摆事实，讲道理）。 现代社会的本质特征：民主、科学、法治。基础是社会的理性。 逻辑学的原理和方法：社会理性精神的集中反映。 求知求真的逻辑精神，是科学精神和人文精神的基石。 中国的“言之成理、持之有故”的文化与西方文化科学实证、逻辑分析结合，推动社会前进。 第一节 逻辑学的对象 逻辑学：从形式方面研究思维和它们之间的关系、特别是推理和论证的前提和结论之间的内在联系。 发展至今： 现代符号逻辑：通过构造形式语言，全面、系统、深刻地研究推理和论证的逻辑规律、规则，为对推理和论证进行微观分析提供具体的方法、技术、步骤和规则。 现代论证理论：根据自然语言中出现的论证的语用特征，提出分析和评价日常生活中的论证、进行批判性思考的程序和规则，从宏观方面分析和评价论证、特别是论辩提供的一系列方法和原理（批判性思考的程序和规则：思维方法及能力）。 一、“逻辑”的含义和逻辑发展简史 （一）“逻辑”的含义 四种含义 事物的规律：“优胜劣汰是竞技体育的逻辑”。 某种特殊的理论、观点或者看问题的方法：“强 权政治的逻辑”。 关于推理、论证的科学：“理性方法是诉诸证据和逻辑”。 逻辑学课程：“逻辑学的宗旨是培养和提高学生的思维能力和素质”。 逻辑一词 来源于希腊文“逻各斯”，最初是指理性、规律、秩序、言辞、谈话等。 后英语logic，指关于推理、论证的学问。 清末严复（中国启蒙运动的先驱）以“名学”翻译logic，1905《穆勒名学》、1908《名学浅说》。 后出现“明理学”、“理则学”、“名辩学”、“论理学”。因传统起名的“信达雅”而最后统一使用音译“逻辑学”。 （二）逻辑学历史发展 二个历史发展阶段 传统逻辑 现代逻辑 亚里士多德（Aristotle，前384-322）：“逻辑学之父” 《工具论》第一次详细、深入地分析了关于推理、论证的理论，特别是系统研究了三段论理论，奠定西方逻辑学的理论基础。 古希腊斯多噶-麦加拉学派（stoic-megaric school，前4-后2世纪）：除三段论外，研究命题逻辑。 以上三段论理论、命题逻辑，组成了传统逻辑的基础。 过渡： 英国哲学家培根（Francis Bacon，1561-1626）：在观察和试验的基础上，运用“三表法”和“消除法”等归纳方法整理和概括经验材料，形成对事物本质和事物之间因果关系的认识。 英国哲学家、经济学家穆勒（Mill，J.S.1806-1873）总结了培根等人的归纳方法，提出“穆勒五法”，传统逻辑丰富完善。 现代逻辑的先驱是德国哲学家、数学家莱布尼茨（Leibniz，G.W.1646-1716），提出：①建立如同数学符号一样的“普通的符号语言”来表达人类思维中的概念、命题和推理；②通过“理性演算”把推理变成计算。奠定了现代逻辑的思想基础。 德国弗雷格（Frege，G..1848-1925），现代逻辑的创始人。1879年发表《概念文字》，建立历史上第一个一阶逻辑的演算系统，标志现代逻辑的诞生。 英国哲学家罗素（Russell，B.A.W.1872-1976）、怀特海（Whitehead，A.H.1861-1947）1910、1913相继发表三卷《数学原理》，称为20世纪逻辑学“圣经”，发展完善一阶逻辑。 德国数学家哥德尔（Kurt Godel，1906-1978）1930年证明了一阶逻辑的完全性，1931年证明了形式数论系统的不完全性。 波兰塔尔斯基（Alfred Tarski，1901-1983）1933年区别了对象语言和元语言，对现代逻辑的关键概念“是真的”作出了科学定义，建立了一阶逻辑的语义学。 英国数学家图灵（Turing，A.M.1921-1954）1937年提出“图灵机理论”，建立计算机的理论模型（Basic语言）。