文档介绍：“逻辑”“逻辑”音译词“逻辑”的语义多义词“逻辑”作为学科名在我国曾有“名学”“辩学”“论理学”“理则学”等译名外来词20世纪初译自英文Logic源于希腊文λόγος客观事物发展规律思维规律某种理论、:名学、辩学古印度:因明古希腊:逻辑学发源地我们所学习的逻辑学理论知识源于古希腊的西方逻辑西方逻辑学发展史上关节点及代表人物传统演绎逻辑→传统归纳逻辑→现代演绎逻辑→现代归纳逻辑词项的逻辑→命题的逻辑亚里士多德斯多葛学派培根穆勒莱布尼兹罗素凯恩斯内容方法传统逻辑现代逻辑演绎逻辑归纳逻辑我们所学习的逻辑学知识包括演绎逻辑和归纳逻辑我们所学习的逻辑学知识包括传统逻辑和现代逻辑我们所学习的逻辑学知识不包括辨证逻辑我们所学习的逻辑学知识主要为基础逻辑和经典逻辑归纳逻辑InductiveLogics逻辑类型SusanHackPhilosophyofLogics附录三段论TraditionalLogic二值命题、谓词演算(狭义数理逻辑)ClassicalLogic模态、时态、规范、认知、择优、祈使、问句逻辑ExtendedLogics多值、直觉、量子、(形态学)(祈使)逻辑d优先逻辑和选择逻辑(效益、价值、对策和决策的逻辑问题)2形而上学的逻辑应用a存在性逻辑b时序逻辑(时态、变化、过程逻辑)c部分与整体逻辑d本体学e构造性逻辑(逻辑还原主义等)f(唯名论与唯实论之争意义下的)本体论逻辑3认识论应用a问(答)逻辑b认识论逻辑(相信、知道、相干)c假设逻辑(反事实的假设推理)d信息和信息过程的逻辑e归纳逻辑4归纳逻辑a证实和确证的逻辑b概率逻辑附录《墨经》之《小取》,是中国古典逻辑的一个名家代表人物纲要,比较集中完整地讨论了逻辑的基本内容。墨经》是墨家创始人墨翟思想的发展。后期墨家在逻辑理论方面作出了重要贡献。他们对“故”、“理”、“类”古代逻辑的三个基本范畴下了明确的定义,并对“名”、“辞”、“说”作了深入研究。论述了“辟”(比喻)、“侔”(附比)、“援”(类比)、“推”(间接的归纳与演绎)四种形式的推理(见后期墨家逻辑)。这些思想,在中国古代逻辑史上占有重要地位。印度因明从古代论辩术发展而来。先是五支论式,后发展为三支论式(宗、因、喻)。在分析正确论证和推理的同时,十分注重论证的“过”和反驳的“过”。因明于唐代传入我国并得到发展。墨子西方逻辑西方逻辑学创始人。《工具论》6篇奠定了逻辑的基础。主要贡献是对三段论的系统研究。斯多葛学派于三段论之外,研究了命题逻辑。提出理想语言和推理是计算的思想而成为现代逻辑的先驱。批判了形式逻辑,研究了辩证思维,构造了辩证逻辑的体系。《新工具》针对亚氏的演绎逻辑而提出归纳和诉诸自然和经验。三表法。揭示了思维的辩证矛盾。证明了狭谓词演算的有效公式皆可证;如果一个初等数论的形式系统一致,则它是不完全的;这种系统的一致性在本系统中不能证明,更不能用有穷方法证明。他的这些工作正面或反面地,或是部分地解答了20世纪以来数学基础问题争论的最根本或最重要的问题现代归纳逻辑的发展有两个方向:“经典”,流行于50~80年代初期的贝叶斯运动。20世纪中叶以来,。科恩指出,支持度可列为不同的等级,不同等级的支持度,就是证据给予假设不同等级的必然性,一个被证明了的理论就是由较低级的必然性达到较高级的必然性。把概率作为一个逻辑概念来处理,区别于以相对频率为根据的统计概率。逻辑概率是一切不具有演绎必然性的归纳推理的基础,关于逻辑概率的理论就是归纳逻辑。它可给出假说的相对于给定证据的确认度严格的因果陈述只是概率陈述的极限情况,科学中尤其是量子力学中的因果概念,并不一定要求概率接近于1。一切科学陈述均是概率陈述,科学的逻辑是取值为区间0~