逻辑学PPT课件

1.1 逻辑是什么
逻辑是探求区分好论证 与坏论证的方法和规则的科 学。逻辑使人严谨。
逻辑简史与逻辑类型
逻辑的语源学 逻各斯、Logic、名学、辩学等。
“逻辑”的多义性 客观规律；思维规律、规则；看问题的视角、
方法； 逻辑学等
逻辑学简史 先秦名辩 名学和辩学的合称。主要指先秦诸子关
于名和辩的逻辑思想和理论，泛指中国古代的逻辑思想。整个先秦逻辑 思想就是一个以正名为重点，包括名、辞、说、辩在内的古代逻辑学说。
计划学时： 72或54学时 学习技巧：课堂理解 多做作业 留心应用
推理思考 ：有一妇女，刚搬到一个新的村子上
居住，这个村子很明显地分为村东和村西两头。 她听说村东和村西的人有一边喜欢说真话，有 一边喜欢说假话。又听说村里只有一个磨房， 但不知是在东头还是在西头。一天，这位妇女 想去磨房，她遇见村子里的一个人，但又不知 是村东还是村西人。一开始不知道该如何问， 但她琢磨了一下，结果只问了一句话，对方回 答后，她便知道磨房的位置了。你知道她是如 何问的吗？
语言学等。
2、西方近代逻辑
1）培根《新工具》与归纳逻辑。 2）法国笛卡尔学派的《波尔.罗亚尔逻
辑》，在西方影响很大的逻辑教材。 3）英国穆勒的寻求因果联系方法：“穆勒
五法” 4）康德首次使用“形式逻辑”一词。 5）莱布尼茨关于逻辑数学化的构想。 6）布尔代数初步实现了莱布尼茨的构想。
3、西方现代逻辑
….bad reasoning well as good reasoning is possible; and this fact is the foundation of the practical side of logic. —Charles Sanders Peirce
课程目的：培养批判性思维习惯； 掌握评估论证的标准和技巧； 提高理解能力和论说水平
提出理 想语言
《新工具》 针对亚氏 的演绎逻 辑而提出 归纳和诉 诸自然和 经验。三 表法。
和推理
是计算
的思想
批判了形式
而成为
现代逻
辑的先 驱。
揭示了思维的辩
逻辑，研究 了辩证思维， 构造了辩证 逻辑的体系。
证矛盾。
现代归纳逻辑的发展有两个方向 ： “经典”数理统计方向和 由J.M.凯因斯和F.P.拉姆齐开创，流行于50～80年代初期的 贝叶斯运动。20世纪中叶以来，美国的P.J.科恩用模态逻辑 作为处理归纳推理的工具。 科恩指出，支持度可列为不同 的等级，不同等级的支持度， 就是证据给予假设不同等级 的必然性， 一个被证明了的理论就是由较低级的必然性达 到较高级的必然性。
（一）中国古代逻辑
1、名家的逻辑思想 1）邓析的名、辩思想。“刑名之辩”、“两可之说”
（从两个相反的角度考察同一事物，使两个截然相反 的结论均得以成立。据记载：有（前有三点水）水甚 大，郑之富人有溺者，人得其死者，富人赎之，其人 求金甚多，以告邓析。邓析曰：“安之，人必莫之卖 矣。”得死者患之，以告邓析。邓析又答之曰：“安 之，此必无所更买矣。” 2）惠施的类比推理。
献。他们对“故”、
“理”、“类”古代逻辑
的三个基本范畴下了明确
的定义，并对“名”、
“辞”、“说”作了深入
研究。论述了“辟”（比
印度因明 从古代论辩术发展而来。
先是五支论式，后发展为三支论式（宗、 因、喻）。在分析正确论证和推理的同 时，十分注重论证的“过”和反驳的 “过”。因明于唐代传入我国并得到发 展。
喻）、“侔”（附比）、 “援”（类比）、“推” （间接的归纳与演绎）四 种形式的推理(见后期墨 家逻辑)。这些思想，在 中国古代逻辑史上占有重 要地位。
（二）西方逻辑
西
西方逻辑 斯多葛学派于三段论之外，研究 学创始人。 了命题逻辑。
方
《工具论》
逻
6 篇奠定了
辑
逻辑的基础。 主要贡献是
ቤተ መጻሕፍቲ ባይዱ
对三段论的
系统研究。
1、西方古代逻辑
1）亚里士多德的逻辑学。 逻辑学的创始人，西方逻辑之父。 主要逻辑著作《工具论》主要研究了概念、
判断、推理（三段论、词项逻辑）。逻 辑规律。《形而上学》中讨论了逻辑学 基本规律同一律、矛盾律等。 2|斯多葛学派的命题逻辑。
三个源流逻辑思想产生的共同原 因
一是社会转型时期的明辩环境。 二是学派林立，民主的论辩风气。 三是相关学科的支持。比如哲学、数学、
证明了狭谓词演算的 有效公式皆可证；如 果一个初等数论的形 式系统一致，则它是 不完全的；这种系统 的一致性在本系统中 不能证明，更不能用 有穷方法证明。他的 这些工作正面或反面 地，或是部分地解答 了20世纪以来数学基 础问题争论的最根本 或最重要的问题
把概率作为 一个逻辑概 念来处理， 区别于以相 对频率为根 据的统计概 率。逻辑概 率是一切不
1）弗雷格《概念语言》中建立公理化的两个演算。标志 数理逻辑的诞生。
2）英国的德摩根的关系逻辑数理逻辑的贡献。 3）罗素、怀特海的《数学原理》使现代数理逻辑初步定
型。 4）20世纪30年代以来的三大贡献：德国哥德尔的不完全
性定理（一阶逻辑的完全性和形式数论系统的不完全 性，有的定理在本系统中得不到证明。）、波兰塔斯 基的形式语言真理论，研究了什么是真，区分了元语 言和对象语言，建立了一阶逻辑语义学、图灵（英国） 机及图灵判定问题，提出图灵机理论，建立了计算机 的理论模型。使数理逻辑逐步完善。
父子子。在《论语》中大量运用类比推 理。 孟子：注重“求故”，对诡辩的反驳。
4、法家的逻辑思想
韩非子的矛盾律思想。“自相矛盾”的典 故。
名家代表人物
《墨经》 之《小取》，是中国古典逻辑的一个
纲要，比较集中完整地讨
墨 子
论了逻辑的基本内容。墨 经》是墨家创始人墨翟思 想的发展。后期墨家在逻
辑理论方面作出了重要贡
3）公孙龙的“白马非马“论。
2、墨家的逻辑思想
代表人物主要有墨自及其弟子和再传弟子。 《墨经》是代表作，是我国第1部完整的系
统的逻辑学著作。 主要思想：包括概念、命题、推理等基本
思维形式的研究；和同一律、矛盾律、 排中律等逻辑规律的研究。
3、儒家的逻辑思想
代表人物主要有：孔子、孟子。 孔子：正名思想和类比推理，君君臣臣父
具有演绎必然性的归纳推理的 基础，关于逻辑概率的理论就 是归纳逻辑。它可给出假说的 相对于给定证据的确认度
严格的因果 陈述只是概 率陈述的极 限情况，科 学中尤其是 量子力学中 的因果概念， 并不一定要 求概率接近
于 1。一切科学陈述均是概 率陈述，科学的逻辑是取值 为区间0～1上的全部实数的 概率逻辑