逻辑学第一讲

《逻辑学第一讲》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、逻辑学第一讲绪论（柏拉图：人是有毛直立动物；马克思：人是一切社会关系的总合，角色丛理论）亚里士多德关于人的定义：“人是理性的动物”。人类的本质特征（与动物的根本区别）：逻辑思维。逻辑思维：以概念、判断、推理、论证去认识现实世界、交流思想的理性认知活动。二方面作用：在日常的思考、表达、交流中：概念清晰，判断准确，推理有逻辑性，论证严密、有说服力。批判性思维和创造性思维是推动知识社会前进的动力：独立的思考和判断、理性的怀疑态度运用知识分析和解决未知问题爱因斯坦：“要是没有能独立思考和独立判断的有创造能力的个人，社会的向上发展就不可想象”（《爱因斯坦文

2、集》（第3卷）商务印书馆1979年版，第39页）。逻辑论证：解决和消除分歧的理想方式。逻辑学提供的论证和论辩的理论：说理的程序和规则（摆事实，讲道理）。现代社会的本质特征：民主、科学、法治。基础是社会的理性。逻辑学的原理和方法：社会理性精神的集中反映。求知求真的逻辑精神，是科学精神和人文精神的基石。中国的“言之成理、持之有故”的文化与西方文化科学实证、逻辑分析结合，推动社会前进。第一节逻辑学的对象逻辑学：从形式方面研究思维和它们之间的关系、特别是推理和论证的前提和结论之间的内在联系。发展至今：现代符号逻辑：通过构造形式语言，全面、系统、深刻地研究

3、推理和论证的逻辑规律、规则，为对推理和论证进行微观分析提供具体的方法、技术、步骤和规则。现代论证理论：根据自然语言中出现的论证的语用特征，提出分析和评价日常生活中的论证、进行批判性思考的程序和规则，从宏观方面分析和评价论证、特别是论辩提供的一系列方法和原理（批判性思考的程序和规则：思维方法及能力）。一、“逻辑”的含义和逻辑发展简史（一）“逻辑”的含义四种含义事物的规律：“优胜劣汰是竞技体育的逻辑”。某种特殊的理论、观点或者看问题的方法：“强权政治的逻辑”。关于推理、论证的科学：“理性方法是诉诸证据和逻辑”。逻辑学课程：“逻辑学的宗旨是培养和提高学

4、生的思维能力和素质”。逻辑一词来源于希腊文“逻各斯”，最初是指理性、规律、秩序、言辞、谈话等。后英语logic，指关于推理、论证的学问。清末严复（中国启蒙运动的先驱）以“名学”翻译logic，1905《穆勒名学》、1908《名学浅说》。后出现“明理学”、“理则学”、“名辩学”、“论理学”。因传统起名的“信达雅”而最后统一使用音译“逻辑学”。（二）逻辑学历史发展二个历史发展阶段传统逻辑现代逻辑亚里士多德（Aristotle，前384-322）：“逻辑学之父”《工具论》第一次详细、深入地分析了关于推理、论证的理论，特别是系统研究了三段论理论，奠定西方

5、逻辑学的理论基础。古希腊斯多噶-麦加拉学派（stoic-megaricschool，前4-后2世纪）：除三段论外，研究命题逻辑。以上三段论理论、命题逻辑，组成了传统逻辑的基础。过渡：英国哲学家培根（FrancisBacon，1561-1626）：在观察和试验的基础上，运用“三表法”和“消除法”等归纳方法整理和概括经验材料，形成对事物本质和事物之间因果关系的认识。英国哲学家、经济学家穆勒（Mill，J.S.1806-1873）总结了培根等人的归纳方法，提出“穆勒五法”，传统逻辑丰富完善。现代逻辑的先驱是德国哲学家、数学家莱布尼茨（Leibniz，G

6、.W.1646-1716），提出：①建立如同数学符号一样的“普通的符号语言”来表达人类思维中的概念、命题和推理；②通过“理性演算”把推理变成计算。奠定了现代逻辑的思想基础。德国弗雷格（Frege，G..1848-1925），现代逻辑的创始人。1879年发表《概念文字》，建立历史上第一个一阶逻辑的演算系统，标志现代逻辑的诞生。英国哲学家罗素（Russell，B.A.W.1872-1976）、怀特海（Whitehead，A.H.1861-1947）1910、1913相继发表三卷《数学原理》，称为20世纪逻辑学“圣经”，发展完善一阶逻辑。德国数学家哥德

7、尔（KurtGodel，1906-1978）1930年证明了一阶逻辑的完全性，1931年证明了形式数论系统的不完全性。波兰塔尔斯基（AlfredTarski，1901-1983）1933年区别了对象语言和元语言，对现代逻辑的关键概念“是真的”作出了科学定义，建立了一阶逻辑的语义学。英国数学家图灵（Turing，A.M.1921-1954）1937年提出“图灵机理论”，建立计算机的理论模型（Basic语言）。100多年的发展，现代逻辑已经成为一门包括经典逻辑和非经典逻辑、分支学科众多的科学理论，并且在哲学、语言学、伦理学、法学以及计算机科学、信息科

8、学等领域广泛运用。20世纪80年代以来。美欧掀起一场“批判性思维”或者非形式的逻辑运动，以识别、分析、重构和评估日常语言中的论证和论辩。