逻辑讲义第一章

授课教师：郭颂山东财经大学文学与新闻传播学院

逻辑与逻辑学

逻辑的起源

逻辑的发展(1)指(某种)理论、观点(2)指客观事物的发展规律(3)指人类主观思维的规律(4)指(作为一门学科的)逻辑科学1)思维形式、思维规律、(一些)思维方法——传递信息的工具(语言)1)逻辑科学：①传统逻辑②数学逻辑(数理逻辑)③辩证逻辑2)形式逻辑：①传统逻辑中的演绎部分②及其现代形式数学逻辑(mathematicallogi1)逻辑的认识作用2)逻辑的表述作用：证明与反驳则所有葡萄树都是落叶的例2:诡辩命题“犬可以为羊”(1)要理解逻辑学的特点，抓住形式结构这个核心，处处从形式的角度思考问题。(2)要掌握各个部分的基本概念，要深入地思考这些概念的含义，作用，同其它概念、内(3)需要对主要的逻辑规则作记忆，要理解这些基本的逻辑知识。(4)要掌握逻辑的方法，逻辑的方法总是与逻辑的应用联系的最密切，因此要在应用中、(1)希腊文“λóγoς”(逻格斯):(2)西搴罗(BC106—BC43)最早曾使用“λoγtxo”指论辩术(3)亚历山大(3世纪)最早使用“λ0γtxa”指逻辑(4)近代对“逻辑”一词的翻译：“讲道理”的含义：人与人之间的某一方，通过一个由符号表达的过程，使对方依据讲道理的不同方式：可信服的、非可信服的；简明的、繁复的；形式化的、非形式化的……(1)古希腊的历史环境(2)“辩证法”的出现与发展①智者学派(BC5-BC4世纪)的诡辩术②赫拉克利特(BC530-BC470)的“辩证法”:关于矛盾本体，运用矛盾表述方式③柏拉图(BC427-BC347)的“辩证法”:分类方法、概念定义法、矛盾二分法(3)亚里士多德(BC384-BC322)“工具论”的确立①范畴：实体、数量、性质、关系、活动、遭受、地点、时间、姿态、状况②命题：真或假的句子：简单、复合，肯定、否定，单称、全称，模态③三段论⑤证明亚氏认为：当我们知道了一个事实的真正原因并且知道了这个事实本身是必然的以⑥思维的基本规律“两个互相矛盾的命题不能同时都是真的”⑦归纳法：简单枚举法(《论辩篇》)与完全归纳法(《分析前篇》)(4)古希腊时期工具论的发展①麦加拉—斯多葛学派(BC3世纪);芝诺(BC336-BC264)发展了复合命题的逻辑理论：假言、选言、联言②伊壁鸠鲁学派：伊壁鸠鲁(BC341-BC270)《准则学》:研究真命题的构成和真的标准问题(1)百家争鸣的历史时期——名实关系的讨论(2)儒家的“正名”观念(3)名家公孙龙子(约BC325-BC250)的思想1349)等(4)墨家的逻辑思想②意义：确定了我国历史上第一个较为完整的形式逻辑体系(1)印度逻辑的源头：正理婆罗门六派哲学(2世纪)(2)“因明”的出现五明：声明、工巧明、医方明、因明、内明三逻辑的发展中世纪时期(5—15世纪)逻辑学的缓慢发展亚里士多德三段论成为证明上帝存在的工具彼得·阿伯拉尔(1079-1142)、罗伯特·阿伯拉尔(1193-1280)、威廉·奥卡姆(?-命题的范畴词、意义，实质指代(相当于语词的提及)和形式指代(相当于语词的被使用),推理关系，命题逻辑推理及其规律的发现等1)奠基人弗朗西斯·培根(1561-1626)《学术的伟大复兴·新工具论》(1620)2)约翰·斯图亚特·穆勒(1806-1873)古典归纳逻辑的完成者代表作《逻辑体系》(1843)①内容：名与命题、推理、归纳、归纳的方法、谬误、道德科学的逻辑②穆勒五法：契合法、差异法、契合差异并用法、剩余法、共变法1)数学逻辑产生的背景：16世纪后数学的发展；霍布斯、笛卡儿将数学引入哲学的思想2)数学逻辑的发展历程①创始人：莱布尼茨(1646-1716)初步设想了数学逻辑的基本思想，即“思维演算”(calculusratiociator):将推理归结为某种演算“让我们来算一下!”②布尔(1815-1864)逻辑代数；弗雷格(1848-1925)真正的数学逻辑理论③罗素(1872-1970)怀特海(186l-1947)《数学原理》标志着数学逻辑体系的确立④哥德尔(1906-1978)1930年提出不完全性定理，标志着数学逻辑的基础理论即“·阶3)数学逻辑的主要内容：①逻辑演算②证明论③公理集合论④递归论⑤模型论4)数学逻辑区别于传统逻辑的特点②建立符号语言(人