古印度的因明学和古希腊形式逻辑学.PPT

…bad reasoning well as good reasoning is possible; and this fact is the foundation of the practical side of logic. —Charles Sanders Peirce 授课教师：谭开翠 Email: kctan@ctgu.edu.cn Tel: 认识你自己 笛卡尔: “人是会思想的芦苇”; “我思故我在” 萨特:“存在即是合理” 尼采:“我是太阳” 海德格尔:“生命是诗意的栖居” 著名雕塑《沉思者》 课程目的：培养批判性思维习惯； 掌握评估论证的标准和技巧； 提高理解能力和论说水平 计划学时： 32学时 学习技巧：课堂理解 多做作业 留心应用 1.1 逻辑是什么 逻辑简史与逻辑类型 逻辑的语源学 逻各斯、Logic、名学、辩学等。 “逻辑”的多义性 　客观规律；思维规律、规则；看问题的视角、方法； 逻辑学等 逻辑学简史 　逻辑学的三大源流：中国古代的名辩学、古印度的因明学和古希腊形式逻辑学。 逻辑是探求区分好论证与坏论证的方法和规则的科学。逻辑使人严谨。 名家代表人物 墨子 《墨经》 之《小取》，是中国古典逻辑的一个纲要，比较集中完整地讨论了逻辑的基本内容。墨经》是墨家创始人墨翟思想的发展。后期墨家在逻辑理论方面作出了重要贡献。他们对“故”、“理”、“类”古代逻辑的三个基本范畴下了明确的 定义，并对“名”、“辞”、“说”作了深入研究。论述了“辟”（比喻）、“侔”（附比）、“援”（类比）、“推”（间接的归纳与演绎）四种形式的推理(见后期墨家逻辑)。这些思想，在中国古代逻辑史上占有重要地位。 中国古代逻辑史 中国逻辑史包括以正名和论辩术为主要对象的名辩之学或名辩逻辑形成和发展的历史。 印度因明 从古代论辩术发展而来。先是五支论式，后发展为三支论式（宗、因、喻）。在分析正确论证和推理的同时，十分注重论证的“过”和反驳的“过”。因明于唐代传入我国并得到发展。 因明是古代印度佛家五明之一。因明也分为古因明与新因明。 　　　　　　　　　　　　　　　　　　 西方逻辑 西方逻辑 学创始人。《工具论》 6 篇奠定了逻辑的基础。主要贡献是对三段论的系统研究。 斯多葛学派于三段论之外，研究 了命题逻辑。 提出理想语言和推理是计算的思想而成为现代逻辑的先驱。 批判了形式逻辑，研究了辩证思维，构造了辩证逻辑的体系。 《新工具》针对亚氏的演绎逻辑而提出归纳和诉诸自然和经验。三表法。 揭示了思维的辩 证矛盾。 证明了狭谓词演算的有效公式皆可证；如果一个初等数论的形式系统一致，则它是不完全的；这种系统的一致性在本系统中不能证明，更不能用有穷方法证明。他的这些工作正面或反面地，或是部分地解答了20世纪以来数学基础问题争论的最根本或最重要的问题 现代归纳逻辑的发展有两个方向 ： “经典”数理统计方向和 由J.M.凯因斯和F.P.拉姆齐开创，流行于50～80年代初期的 贝叶斯运动。20世纪中叶以来，美国的P.J.科恩用模态逻辑 作为处理归纳推理的工具。 科恩指出，支持度可列为不同 的等级，不同等级的支持度， 就是证据给予假设不同等级 的必然性， 一个被证明了的理论就是由较低级的必然性达 到较高级的必然性。　　 把概率作为一个逻辑概念来处理，区别于以相对频率为根据的统计概率。逻辑概率是一切不 具有演绎必然性的归纳推理的基础，关于逻辑概率的理论就是归纳逻辑。它可给出假说的相对于给定证据的确认度 严格的因果陈述只是概率陈述的极限情况，科学中尤其是量子力学中的因果概念，并不一定要求概率接近 于 1。一切科学陈述均是概率陈述，科学的逻辑是取值为区间0～1上的全部实数的概率逻辑 N.Rescher Topics in Philosophical Logic 逻辑分支一览表 A.基础逻辑 1传统逻辑 2经典现代逻辑 3非经典现代逻辑 B.元逻辑 1逻辑语法学 2逻辑语义学 3逻辑语用学 a逻辑语言论和 自然语言逻辑 b修辞学分析 c语境蕴涵 d非形式谬误理论 e逻辑的非古典应用 4逻辑语言学 a结构理论（形态学） b意义理论 C有效性理论 C.数学发展方面 1算术 2代数 3函数论 4证明论 5概率论逻辑 6集合论 7数学基础论 D.科学发展方面 1物理应用 a量子论逻辑 b物理或因果模态理论 2生物应用 a伍杰方式的发展 b