形式逻辑基本知识.ppt

 形式逻辑 主讲：黄斐华  sjtu_hfh@  第一章 绪论 “逻辑”最早可追溯到希腊词（λσγοε逻各斯），后英译为logos、其复数形式是logic。原为多义词∶一般的规律和原则；说明、解释、论证；理性、推理、抽象理论；尺度、关系、比率；价值等等。古罗马的西塞罗正式使用“逻辑”一词表示包括逻辑学和修辞学的科学。 中国古代学者们将相同的科学称为“名辩之学”。 古印度学者，特别是佛学将其称为“因明学” 。 一、逻辑学的发展简况 1. 西方 古希腊时期：亚里士多德，《工具论》，古典或传统的形式逻辑； 麦加拉-斯多葛学派奠定了命题逻辑的基础。欧洲中世纪经院逻辑学家们创立了推论的学说。文艺复兴时期的波尔-罗亚尔修道院发表了《逻辑或思维的艺术》一书，将古典的演绎逻辑体系化； 17世纪开始，由于实验自然科学的兴起，归纳方法的研究被引入逻辑学：培根、惠威尔、穆勒，《新工具》、《逻辑体系》，建立了古典或传统的归纳逻辑； 17世纪末，德莱布尼茨提出了逻辑数学化的思想，《论组合术》建立一种用符号表意的普遍语言及思维演算的设想，成为数理逻辑的先驱。 19至20世纪初，布尔代数的创立将设想变为现实，再经德摩根、弗雷格的努力，罗素与怀德海合著的《数学原理》出版标志着现代形式逻辑--数理逻辑成为一门独立的科学。 19世纪上半叶，德国哲学家康德《纯粹理性批判》，先验逻辑； 黑格尔《逻辑学》，辩证逻辑；马克思《资本论》，关于资本范畴的辩证逻辑体系；列宁，《哲学笔记》，确立了辩证逻辑的基本理论和原则；毛泽东《论持久战》，提供了辩证逻辑的又一范例。 20世纪30年代，哥德尔不完全性定理、塔尔斯基形式语言真理论、图灵机及其应用理论三个划时代的成果，为现代逻辑学的蓬勃发展 奠定了基础。由此逻辑学发展进入黄金时代。 现代逻辑学已从单一学科逐步发展成为理论严密、分支众多、应 用广泛的学科群，择其要者有数理逻辑、哲学逻辑、自然语言逻辑、概率逻辑、人工智能逻辑、量子逻辑、价值逻辑以及逻辑学与计算 机科学、认知科学的交叉研究。 联合国教科文组织把逻辑学与数学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学并列为七大基础学科； 大英百科全书将逻辑学列为众学科之首。 2、中国 先秦时期:惠施、公孙龙、墨翟和后期墨家、荀况、韩非等学者都研究过逻辑问题。其中，《墨经》对传统形式逻辑的所有理论问题都进行了阐述:“以名举实，以辞抒意，以说出故”;荀子提出“类、故、理”辩证逻辑推理体系。但往后二千多年中湮没了，没有对中华民族的思维水平的提高起任何作用。 明代:李之藻翻绎了葡萄牙人的逻辑学讲义--《名理探》。 晚清:王国维、严复翻译了《辩学启蒙》、《穆勒名学》等。 近代一开始，中国译者按先秦传统理解logic，将其译为“名学” 、“辩学” 、“理则学” 、“论理学”等等。严复是将其译为“逻辑”的第一人。 20世纪30年代，金岳霖先生师从罗素后归国后，编写了《逻辑》作为大学教材。65年，金岳霖带领学生们编写了大学文科逻辑学教材《形式逻辑》，但直至1979年才正式出版。 二、逻辑学的研究对象和性质 1.逻辑学是以人们思维形式的结构及其基本规律为研究对象的科学。 (1)思维 思维有广义和狭义两种理解。 逻辑学研究的是狭义的思维，即理性思维。 (2)思维形式 思维也有内容与形式之分。所谓思维形式即思维内容的组成和表达方式:概念、判断、推理。 (3)思维形式的结构:思维形式组成要素的联系方式，各种具体思维形式中所隐含的最一般的、共同的东西。 例如： ⑴所有的金属都是导电的。 ⑵所有的人都是会死的。 ⑶所有的犯罪行为都是有害社会的。 所有的S是P 再如： ⑴只有年满18岁，才有选举权。 ⑵该合同只有您亲自签字，才能生效。 只有p，才q 又如： ⑴ 所有的金属都是导电的， 水银是金属； 所以，水银也是导电的。 ⑵ 所有的人都是会死的， 苏格拉底是人； 所以