形式逻辑基本知识讲稿课件.ppt

 形式逻辑 主讲：黄斐华  sjtu_hfh@  第一章 绪论 “逻辑”最早可追溯到希腊词（λσγοε逻各斯），后英译为logos、其复数形式是logic。原为多义词∶一般的规律和原则；说明、解释、论证；理性、推理、抽象理论；尺度、关系、比率；价值等等。古罗马的西塞罗正式使用“逻辑”一词表示包括逻辑学和修辞学的科学。 中国古代学者们将相同的科学称为“名辩之学”。 古印度学者，特别是佛学将其称为“因明学” 。 一、逻辑学的发展简况 1. 西方 古希腊时期：亚里士多德，《工具论》，古典或传统的形式逻辑； 麦加拉-斯多葛学派奠定了命题逻辑的基础。欧洲中世纪经院逻辑学家们创立了推论的学说。文艺复兴时期的波尔-罗亚尔修道院发表了《逻辑或思维的艺术》一书，将古典的演绎逻辑体系化； 17世纪开始，由于实验自然科学的兴起，归纳方法的研究被引入逻辑学：培根、惠威尔、穆勒，《新工具》、《逻辑体系》，建立了古典或传统的归纳逻辑； 17世纪末，德莱布尼茨提出了逻辑数学化的思想，《论组合术》建立一种用符号表意的普遍语言及思维演算的设想，成为数理逻辑的先驱。 19至20世纪初，布尔代数的创立将设想变为现实，再经德摩根、弗雷格的努