文档介绍：逻辑学是研究抽象思维的思维形式及其规律,并涉及一些逻辑方法的科学逻辑学主要研究推理形式,是正确思维与有效交际的理论,具有中国、印度、希腊三地传统,包括演绎逻辑、归纳逻辑两大部分,分为传统逻辑、现代逻辑两个体系。逻辑有悠久的历史,又方兴未艾,产生了众多分支,得到了广泛的运用,并在人类认识世界、改造世界的过程中发挥着越来越重要的作用。为提高抽象思维能力与文化素养水平,我们要努力学习和掌握逻辑知识,将之运用于思维实际中,潜移默化,提高思维素质。逻辑学的对象与内容逻辑学的对象与内容“逻辑”的语源 “逻辑” “逻辑”音译词“逻辑”的语义多义词“逻辑”作为学科名在我国曾有“名学”“辩学”“论理学”“理则学”等译名外来词 20世纪初译自英文 Logic 源于希腊文λ?γο?客观事物发展规律思维规律某种理论、观点或思想方法逻辑学逻辑学的产生与发展逻辑学的产生与发展古代中国:名学、辩学古印度: 因明古希腊: 逻辑学发源地我们所学习的逻辑学理论知识源于古希腊的西方逻辑西方逻辑学发展史上关节点及代表人物凯恩斯莱布尼兹罗素培根穆勒斯多葛学派亚里士多德命题的逻辑→词项的逻辑现代归纳逻辑→现代演绎逻辑→传统归纳逻辑→传统演绎逻辑内容方法传统逻辑现代逻辑演绎逻辑归纳逻辑我们所学习的逻辑学知识包括演绎逻辑和归纳逻辑我们所学习的逻辑学知识包括传统逻辑和现代逻辑我们所学习的逻辑学知识不包括辨证逻辑我们所学习的逻辑学知识主要为基础逻辑和经典逻辑归纳逻辑 Inductive Logics 逻辑类型 Susan Hack Philosophy of Logics 附录三段论 Traditional Logic 二值命题、谓词演算(狭义数理逻辑) Classical Logic 模态、时态、规范、认知、择优、祈使、问句逻辑 Extended Logics 多值、直觉、量子、自由逻辑 Deviate Logics 逻辑分支一览表 Topics in Philosophical Logic 1传统逻辑 2经典现代逻辑 3非经典现代逻辑 1逻辑语法学 2逻辑语义学 3逻辑语用学 a逻辑语言论和自然语言逻辑 b修辞学分析 c语境蕴涵 d非形式谬误理论 e逻辑的非古典应用 4逻辑语言学 a结构理论(形态学) b意义理论 C有效性理论 1算术 2代数 3函数论 4证明论 5概率论逻辑 6集合论 7数学基础论 1物理应用 a量子论逻辑 b物理或因果模态理论 2生物应用 a伍杰方式的发展 b控制论逻辑 3社会科学应用 a规范逻辑 b价值逻辑 c法律应用 1伦理应用 a行为逻辑 b义务逻辑 c命令(祈使)逻辑 d优先逻辑和选择逻辑(效益、价值、对策和决策的逻辑问题) 2形而上学的逻辑应用 a存在性逻辑 b时序逻辑(时态、变化、过程逻辑) c部分与整体逻辑 d本体学 e构造性逻辑(逻辑还原主义等) f(唯名论与唯实论之争意义下的)本体论逻辑 3认识论应用 a问(答)逻辑 b认识论逻辑(相信、知道、相干) c假设逻辑(反事实的假设推理) d信息和信息过程的逻辑 e归纳逻辑 4归纳逻辑 a证实和确证的逻辑 b概率逻辑附录《墨经》之《小取》,是中国古典逻辑的一个名家代表人物纲要,比较集中完整地讨论了逻辑的基本内容。墨经》是墨家创始人墨翟思想的发展。后期墨家在逻辑理论方面作出了重要贡献。他们对“故”、“理”、“类”古代逻辑的三个基本范畴下了明确的定义,并对“名”、“辞”、“说”作了深入研究。论述了“辟”(比喻)、“侔”(附比)、“援”(类比)、“推”(间接的归纳与演绎)四种形式的推理(见后期墨家逻辑)。这些思想,在中国古代逻辑史上占有重要地位。印度因明从古代论辩术发展而来。先是五支论式,后发展为三支论式(宗、因、喻)。在分析正确论证和推理的同时,十分注重论证的“过”和反驳的“过”。因明于唐代传入我国并得到发展。墨子西方逻辑西方逻辑学创始人。《工具论》 6 篇奠定了逻辑的基础。主要贡献是对三段论的系统研究。斯多葛学派于三段论之外,研究了命题逻辑。提出理想语言和推理是计算的思想而成为现代逻辑的先驱。批判了形式逻辑,研究了辩证思维, 构造了辩证逻辑的体系。《新工具》针对亚氏的演绎逻辑而提出归纳和诉诸自然和经验。三表法。揭示了思维的辩证矛盾。证明了狭谓词演算的有效公式皆可证;如果一个初等数论的形式系统一致,则它是不完全的;这种系统的一致性在本系统中不能证明,更不能用有穷方法证明。他的这些工作正面或反面地,或是部分地解答了20世纪以来数学基础问题争论的最根本或最重要的问题现代归纳逻辑的发展有两个方向:“经典”