第二章+命题与推理概述.pptVIP

逻 辑 学 欢迎进入逻辑殿堂！ 主讲：付 敏 二○一一年 澳门科技大学通识教育部 第二章 命题与推理 命题概述 推理概述 第一节 命题概述 ——命题及其特征 命题（proposition）：反映事物情况的思维形式（对事 物是否具有某性质有所断定） 真（true） 假（false） 二值逻辑（binary logic） 三值逻辑（ternay logic/ three-valued logic） 多值逻辑（many-valued/ multi-valued logic） 命题的特征：有真值(truth value) 真值间隙论（theory of truth value gap）逻辑 亚相容（弗协调）逻辑（paraconsistent logic） 第一节 命题概述 ——命题及其特征 补充：经典逻辑的特征 1. 外延原则：只考虑概念和命题的外延。 “同一性替换律”、“等值替换律” 概念：对象 命题：真值 2. 二值原则：任一命题或真或假，不存在既真又假或既不真又不假的命题。 （由矛盾律、排中律共同作用） 第一节 命题概述 ——命题及其特征 补充：经典逻辑的特征 3. 由假得全原则：从矛盾可以推出一切命题。 包含矛盾的理论是不足道的/琐碎的（trivial） 4. 采用实无穷抽象法：把无穷当做已经完成的整体，而非潜在的无穷的延伸过程。 5. 存在假定：个体域非空，量词都有存在含义。 命题（proposition） 什么样的命题是为真的命题？ 符合论？实用主义？...... 休谟（David Hume）问题！ 孔子东游，见两小儿辩斗。问其故。 一儿曰：“我以日始出时去人近，而日中时远也。” 一儿以日初出远，而日中时近也。 一儿曰：“日初出大如车盖，及日中则如盘盂，此不为远者小而近者大乎？” 一儿曰：“日初出沧沧凉凉，及其日中如探汤，此不为近者热而远者凉乎？” 孔子不能决也。两小儿笑曰：“孰为汝多知乎？” —— 两小儿辩日，《列子·汤问》 第一节 命题概述 ——命题及其特征 语句：对事物情况的符号（声音、文字）表达 语句与命题的区别：并非一一对应 陈述句、反问句 —— 表达命题 感叹句、祈使句 —— 间接表达命题 疑问句 —— 不表达命题 1. 有的语句不表达命题 第一节 命题概述 ——命题与语句 语句与命题的区别：并非一一对应 2. 同一语句可以表达不同命题 《穿井得一人》： 宋之丁氏家无井，而出溉汲，常一人居外。及其家穿井，告人曰：“吾穿井得一人。”有闻而传之者曰：“丁氏穿井得一人。”国人道之，闻之于宋君。宋君令人问之于丁氏，丁氏对曰：“得一人之使，非得一人于井中也。”求闻之若此，不若无闻也。 ——《吕氏春秋·察传》 第一节 命题概述 ——命题与语句 语句与命题的区别：并非一一对应 3. 不同的语句可以表达同一个命题 万物皆流，无物常在。 并非有的事物不会变化。 难道有什么事物是不变的吗？ 第一节 命题概述 ——命题与语句 判断：被断定了的命题 判断与命题的区别：是否涉及主体的态度 陈毅是个好同志。 毛泽东说：“陈毅是个好同志。” 在命题逻辑中，对命题和判断不作区分。 第一节 命题概述 ——命题与判断 命题的分类 模态命题 必然p、可能p 简单命题（变项＝概念） 复合命题（变项＝命题） 联言 选言 假言 关系命题 S和P有R关系 性质命题 S是P 负命题 非模态命题 命 题 第一节 命题概述 ——命题的种类 第二章 命题与推理 命题概述 推理概述 第二节 推理概述 ——推理及其构成 推理（reasoning/inference）：从一个或几个已知命题推出一个新命题的思维形式。 推理的构成： 前提（premise）：据以推出另一个命题的命题 结论（conclusion）：被推出的命题 标志词：所以、因而、可见、故 ……;so, therefore, thus, … 例：出来混总是要还的 黎叔是出来混的 所以，黎叔是要还的 推理的构成： 推出关系：前提与结论的逻辑联系 必然性推出关系：前提真则结论必真。 （前提存在结论就必然存在） 或然性推出关系：前提真但结论不必真。 （前提存在结论不一