逻辑学第七章.pptVIP

第七章 模态逻辑 教学重点与难点 模态命题及其种类 模态命题的真假与可能世界的理论 基本模态命题之间的对当关系 道义命题及其种类 模态命题推理、道义命题推理在法律中的应用 谁打了纳粹军官 你知道是怎么回事吗？ 老妇人想：“真是活该！幸亏现在的姑娘们学会了如何保护自己。” 少女寻思：“奇怪！他没有吻我，一定是吻了这位老妇人或那位小伙子。” 纳粹军官也在纳闷：“怎么啦？我什么也没做，可能是这个法国男子想吻这位姑娘，她失手打着了我。” 只有那位法国男子对事情了解得一清二楚。你知道是怎么回事吗？ 逻辑分析： 原来，这位聪明的法国小伙子先吻了一下自己的手，然后打了纳粹军官一拳。这里，我们感兴趣的是其中所出现的判断“一定是他吻了这位老妇人或那位小伙子”，“可能是这个法国男子想吻这位姑娘”。第一个判断是断定他吻了这位老妇人或那位小伙子的必然性，而第二个判断则断定这个法国男子想吻这位姑娘的可能性。这种断定事物可能性与必然性的判断就是模态命题。 值得关注的问题： ※ 我们不仅要了解事物是（不是）什么，而且还应进一步探究事物可能是（不是）什么、必然是（不是）什么。 ※ 17世纪，牛顿提出了万有引力理论，这在当时还只是一种推测，它是不是一个规律，或者说是否具有必然性还有待进一步验证。 ※ 18世纪，法国数学家克雷洛根据万有引力学说计算出哈雷慧星的轨道，并预言哈雷慧星经过近日点的日期是1759年4月4日或5日，前后可能偏差一个月。后来，慧星果然在3月12日经过了近日点，比克雷洛的预言早23天，这在很大程度上证实了万有引力学说的必然性。后来，长期的实践证明了此学说是科学的理论，揭示了“两个物体间引力的大小必然与它们质量的乘积成正比，而与物体间距离的平方成反比”。 模态逻辑的认知角度 命题-------模态命题-------模态逻辑 可能世界的理论 狭义模态 广义模态（道义、认知、时间） 第一节 模态逻辑概述 一、模态 1、模态的词源考察 2、模态概念的具体分析 3、模态的语言表达 4、模态的种类 从不同的根据出发，模态可以区分为不同的种类如下： 模态的种类 （1）狭义模态和广义模态 （2）客观模态和主观模态 （3）逻辑模态和非逻辑模态 （4）命题的模态与事物的模态 请区分下列模态 大象必然比蚂蚁大。 他可能估计不到严重的后果。 老张可能不是共产动员。 谎言不可能掩盖实事。 中国国家男子足球对必然能闯入2010年世界杯。 二、模态命题 1、什么是模态命题 从语言形式上看，凡含有模态词（如“必然”、“允许”、“相信”）的命题都是模态命题。 模态命题不仅包含有狭模态命题，而且包括道义命题、认知命题和时间命题。 2、模态命题的构成要素 每一模态命题，从逻辑形式上来看，都是由模态词和经典形式的命题两部分构成。 3、模态词的逻辑性质分析 经典命题的联结词具有真值函项性，模态词部具有真值函项性。 模态命题的语言表达形式： 在模态命题中，含有“必然”或者“可能”这两种模态词。它们在模态命题中模态词的位置不是固定的，既可以前置，也可以后置，也可以居中。 例如： 客观规律必然不以人的意志为转移。（“必然”居中） 客观规律不以人的意志为转移是必然的。（“必然”后置） 不可能所有的错误都能避免。（“可能”前置） 4、模态逻辑的真假与可能世界的理论 克里普克的可能世界语义学 现实世界与可能世界 命题的必然性、可能性与可能世界 模态命题的真假 对模态命题的真假应有这样的认识： 一明题的真假是相对的，即描述和反映某一个个体或事件的命题，有可能在一可能世界中真，而在另一个可能世界中假。 不能一般的说某一命题是必然的或可能的，而只能说某一命题在某一特定世界中是必然的或可能的。一命题在一可能世界中是必然的，只要求它在与该世界有关的所有可能世界中真，而不无限制的要求它在所有可能世界中真。 三、模态逻辑 1、模态逻辑的定义 模态逻辑是研究模态词构成的命题及其推理的逻辑