逻辑学课件完整.pptxVIP

1 逻辑学课件完整 1.1 逻辑是什么 逻辑简史与逻辑类型 逻辑的语源学 逻各斯、Logic、名学、辩学等。 “逻辑”的多义性 　客观规律；思维规律、规则；看问题的视角、方法； 逻辑学等 逻辑学简史 　先秦名辩 名学和辩学的合称。主要指先秦诸子关 于名和辩的逻辑思想和理论，泛指中国古代的逻辑思想。整个先秦逻辑思想就是一个以正名为重点，包括名、辞、说、辩在内的古代逻辑学说。 逻辑是探求区分好论证与坏论证的方法和规则的科学。逻辑使人严谨。 第2页/共242页 《墨经》 之《小取》，是中国古典逻辑的一个 名家代表人物 纲要，比较集中完整地讨论了逻辑的基本内容。墨经》是墨家创始人墨翟思想的发展。后期墨家在逻辑理论方面作出了重要贡献。他们对“故”、“理”、“类”古代逻辑的三个基本范畴下了明确的定义，并对“名”、“辞”、“说”作了深入研究。论述了“辟”（比喻）、“侔”（附比）、“援”（类比）、“推”（间接的归纳与演绎）四种形式的推理(见后期墨家逻辑)。这些思想，在中国古代逻辑史上占有重要地位。 印度因明 从古代论辩术发展而来。先是五支论式，后发展为三支论式（宗、因、喻）。在分析正确论证和推理的同时，十分注重论证的“过”和反驳的“过”。因明于唐代传入我国并得到发展。 墨 子 第3页/共242页 　　　　　　　　　　　　　　　　　　 西方逻辑 西方逻辑 学创始人。《工具论》 6 篇奠定了逻辑的基础。主要贡献是对三段论的系统研究。 斯多葛学派于三段论之外，研究 了命题逻辑。 提出理想语言和推理是计算的思想而成为现代逻辑的先驱。 批判了形式逻辑，研究了辩证思维，构造了辩证逻辑的体系。 《新工具》针对亚氏的演绎逻辑而提出归纳和诉诸自然和经验。三表法。 揭示了思维的辩 证矛盾。 第4页/共242页 证明了狭谓词演算的有效公式皆可证；如果一个初等数论的形式系统一致，则它是不完全的；这种系统的一致性在本系统中不能证明，更不能用有穷方法证明。他的这些工作正面或反面地，或是部分地解答了20世纪以来数学基础问题争论的最根本或最重要的问题 现代归纳逻辑的发展有两个方向 ： “经典”数理统计方向和 由J.M.凯因斯和F.P.拉姆齐开创，流行于50～80年代初期的 贝叶斯运动。20世纪中叶以来，美国的P.J.科恩用模态逻辑 作为处理归纳推理的工具。 科恩指出，支持度可列为不同 的等级，不同等级的支持度， 就是证据给予假设不同等级 的必然性， 一个被证明了的理论就是由较低级的必然性达 到较高级的必然性。　　 把概率作为一个逻辑概念来处理，区别于以相对频率为根据的统计概率。逻辑概率是一切不 具有演绎必然性的归纳推理的基础，关于逻辑概率的理论就是归纳逻辑。它可给出假说的相对于给定证据的确认度 严格的因果陈述只是概率陈述的极限情况，科学中尤其是量子力学中的因果概念，并不一定要求概率接近 于 1。一切科学陈述均是概率陈述，科学的逻辑是取值为区间0～1上的全部实数的概率逻辑 第5页/共242页 逻辑的类型 Susan Haack Philosophy of Logics 列出的逻辑的范围 Traditional Logic 三段论 Classical Logic 二值命题、谓词演算（狭义数理逻辑） Extended Logics 模态、时态、规范、认知、择优、祈使、问句逻辑 Deviate Logics 多值、直觉、量子、自由逻辑 Inductive Logics 归纳逻辑 第6页/共242页 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控制论逻辑 3社会科学应用 a规范逻辑 b价值逻辑 c法律应用 E.哲学发展方面 1伦理应用 a行为逻辑 b义务逻辑 c命令（祈使）逻辑 d优先逻辑和选择逻辑（效益、价值、对策和决策的逻辑问题） 2形而上学的逻辑应用 a存在性逻辑 b时序逻辑（时态、变化、过程逻辑） c部分与整体逻辑 d本体学 e构造性逻辑（逻辑还原主义等） f（唯名论与唯实论之争意义下的）本体论逻辑 3认识论应用 a问（答）逻辑 b认识论