必然性推理(下)——模态推理.pptVIP

逻 辑 学 你可能在有些时刻欺骗有些人， 但你不可能在所有时刻欺骗所有人。 第五章 模态推理 模态命题概述 模态对当关系及其推理 模态命题与非模态命题的关系及推理 模态三段论 模态复合命题推理 第五章 模态推理 模态命题概述 模态对当关系及其推理 模态命题与非模态命题的关系及推理 模态三段论 模态复合命题推理 第五章 模态推理 模态命题概述 模态对当关系及其推理 模态命题与非模态命题的关系及推理 模态三段论 模态复合命题推理 A. 任何钥匙都必然有它打不开的锁。 B. 至少有一把钥匙必然打开天下所有的锁。 C. 至少有一把锁天下所有的钥匙都打不开。 D. 任何钥匙都可能有它打不开的锁。 E. 至少有一把钥匙可能打不开天下所有的锁。 第五章 模态推理 模态命题概述 模态对当关系及其推理 模态命题与非模态命题的关系及推理 模态三段论 模态复合命题推理 第五章 模态推理 模态命题概述 模态对当关系及其推理 模态命题与非模态命题的关系及推理 模态三段论 模态复合命题推理 第四节 模态三段论 4. 可能和实然三段论 可能MAP SAM 可能SAP 凡与被害人有仇恨的人都可能是作案凶手， 张某是与被害人有仇的人， 所以，张某可能是作案凶手。 不能必然得出。 MAP MAP SAM 可能世界1 （现实世界） 可能世界2 可能世界3 * * 欢迎进入逻辑殿堂！ 主讲：付 敏 二○○九年 澳门科技大学通识教育部 第五章 模态推理 命题的分类 模态命题 必然P、可能P 简单命题（变项＝概念） 复合命题（变项＝命题） 联言 选言 假言 关系命题 S和P有R关系 性质命题 S是P 负命题 非模态命题 命 题 第一节 模态命题概述—— 狭义与广义 模态逻辑（modal logic）：研究模态命题及其推理的逻辑。 模态命题（modal proposition）：包含模态词的命题。 必然性：必然、一定 …… 例：偶数必然能被2整除。 可能性：或许、也许 …… 例：不可能人能拔着自己的头发上天。 规范性：应当、必须、允许、禁止 …… 例：一个人应当做到：富贵不能淫，贫贱不能移，威武不能屈。 时态性：已经、将要、正在 、有时、始终 …… 例：如果你将来想做政治家，那么你现在要多参加社会活动。 认知性：知道、相信、认为、看见、但愿、要求、可证实 …… 例：我知道你不知道我知道地球是圆的。 … … 第一节 模态命题概述 —— 狭义与广义 狭义模态命题 （真值/真势/真理模态命题，alethic modal proposition） 必然模态命题 （Lp、L﹁ p ） 或（□p 、 □ ﹁ p） 可能模态命题 （Mp、M﹁ p ）或（◇ p、 ◇ ﹁ p） 广义模态命题 狭义模态命题 + 其他模态命题 实然命题：不包含“必然”、“可能”模态词的命题。 (p, SAP …) 例：太阳从东方升起。 必然太阳从东方升起。 可能太阳从东方升起。 第一节 模态命题概述 —— 狭义与广义 命题模态（从言模态，de dicto modality）：模态词位于命题 之前或之后，修饰、限制该命题。 例：必然地（如果物体受到摩擦，它就会生热）。 L(p → q ) 火星上和月球上都存在生命是可能的。 M ( p ∧ q ) 不可能人能举起自己。 ﹁ M p 事物模态（从物模态，de re modality）：位于语句之中，修 饰主语和谓语之间的联系方式。 例：所有人都是必然会死的。 ?x (R(x)→ L S(x)) 有些科大的学生可能成为国家的栋梁。 ?x (X(x)∧ M D(x)) 人不可能举起自己。 ?x (R(x)→ ﹁ M J(x)) 泰坦尼克号沉没可能是轮船设计有缺陷所