[第五章必然性推理下——模态推理.pptVIP

逻 辑 学 你可能在有些时刻欺骗有些人， 但你不可能在所有时刻欺骗所有人。 第五章 模态推理 模态命题概述 模态对当关系及其推理 模态命题与非模态命题的关系及推理 模态三段论 模态复合命题推理 第五章 模态推理 模态命题概述 模态对当关系及其推理 模态命题与非模态命题的关系及推理 模态三段论 模态复合命题推理 第五章 模态推理 模态命题概述 模态对当关系及其推理 模态命题与非模态命题的关系及推理 模态三段论 模态复合命题推理 A. 任何钥匙都必然有它打不开的锁。 B. 至少有一把钥匙必然打开天下所有的锁。 C. 至少有一把锁天下所有的钥匙都打不开。 D. 任何钥匙都可能有它打不开的锁。 E. 至少有一把钥匙可能打不开天下所有的锁。 第五章 模态推理 模态命题概述 模态对当关系及其推理 模态命题与非模态命题的关系及推理 模态三段论 模态复合命题推理 第五章 模态推理 模态命题概述 模态对当关系及其推理 模态命题与非模态命题的关系及推理 模态三段论 模态复合命题推理 第四节 模态三段论 4. 可能和实然三段论 可能MAP SAM 可能SAP 凡与被害人有仇恨的人都可能是作案凶手， 张某是与被害人有仇的人， 所以，张某可能是作案凶手。 不能必然得出。 MAP MAP SAM 可能世界1 （现实世界） 可能世界2 可能世界3 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * * 欢迎进入逻辑殿堂！ 主讲：付 敏 二○○九年 澳门科技大学通识教育部 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第五章 模态推理 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 命题的分类 模态命题 必然P、可能P 简单命题（变项＝概念） 复合命题（变项＝命题） 联言 选言 假言 关系命题 S和P有R关系 性质命题 S是P 负命题 非模态命题 命 题 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第一节 模态命题概述—— 狭义与广义 模态逻辑（modal logic）：研究模态命题及其推理的逻辑。 模态命题（modal proposition）：包含模态词的命题。 必然性：必然、一定 …… 例：偶数必然能被2整除。 可能性：或许、也许 …… 例：不可能人能拔着自己的头发上天。 规范性：应当、必须、允许、禁止 …… 例：一个人应当做到：富贵不能淫，贫贱不能移，威武不能屈。 时态性：已经、将要、正在 、有时、始终 …… 例：如果你将来想做政治家，那么你现在要多参加社会活动。 认知性：知道、相信、认为、看见、但愿、要求、可证实 …… 例：我知道你不知道我知道地球是圆的。 … … Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第一节 模态命题概述 —— 狭义与广义 狭义模态命题 （真