Lg06模态逻辑概要.ppt

第六章 模态命题及推理 教学要点 一、概述 二、模态命题的种类 三、模态命题的对当关系推理 谁打了纳粹军官？ 你知道是怎么回事吗？ 老妇人想：“真是活该！ 幸亏现在的姑娘们 学会了如何保护自己。” 逻辑分析： 原来，这位聪明的法国小伙子先吻了一下自己的手，然后打了纳粹军官一拳。这里，我们感兴趣的是其中所出现的判断“一定是他吻了这位老妇人或那位小伙子”，“可能是这个法国男子想吻这位姑娘”。第一个判断是断定他吻了这位老妇人或那位小伙子的必然性，而第二个判断则断定这个法国男子想吻这位姑娘的可能性。这种断定事物可能性与必然性的判断就是模态命题。 值得关注的问题： ※ 我们不仅要了解事物是（不是）什么， 而且还应进一步探究事物 可能是（不是）什么、 必然是（不是）什么。 第一节 概述 一、模态 1、模态的概念（modal） 2、模态的种类（真势、道义、时态、 认知） 3、模态的语言表达 请区分下列模态 冬天过后必然是春天。 火星上可能有高等生物。 每个人都应当热爱自己的祖国。 禁止吸烟。 我们要始终牢记发展是第一要务。 为了和平，有时必须战斗。 小王知道老舍是《茶馆》的作者。 二、模态命题 1、什么是模态命题 从语言形式上看，凡含有模态词（如“必然”、“允许”、“相信”）的命题都是模态命题。 2、模态命题的构成要素 每一模态命题，从逻辑形式上来看，都是由模态词和经典形式的命题两部分构成。 性质命题推理： 美国兵都是坐吉普车来的， 这一队士兵不是坐吉普车来的， ————————————— 所以，这一队士兵不是美国兵。 引入模态词的考虑： √ 这一队士兵可能不是美国兵。 ？这一队士兵必然不是美国兵。 第二节 模态命题的种类 一、基本模态命题的定义 基本模态命题也叫真实模态命题。它是反映事物情况存在的必然性和可能性的命题——必然命题和可能命题： 必然命题包括必然肯定命题和必然否定命题； 可能命题包括可能肯定命题和可能否定命题。 模态命题的语言表达形式： 在模态命题中，含有“必然”或者“可能”这两种模态词。它们在模态命题中的位置不是固定的，既可以前置，也可以后置，也可以居中。 例如： 客观规律必然不以人的意志为转移。（“必然”居中） 客观规律不以人的意志为转移是必然的。（“必然”后置） 不可能所有的错误都能避免。（“可能”前置） 二、基本模态命题的具体分析 （1）必然肯定命题 它是反映事物情况必然存在的命题。 通常被表示为： 必然p或□P。 □表示必然模态词的符号刻画。 例如：中国的现代化必然实现。或者：中国实现现代化是 必然的。  （2）必然否定命题 它是反映事物情况必然不存在的命题。 通常被表示为： 必然非P或□?P。 例如：犯罪必然不利于社会。或者：犯罪不利于社会是必 然的。 第三节 基本模态命题之间的对当关系 注意： 掌握上述真值模态命题之间的对当关系，最重要的 是记住必然肯定命题、必然否定命题、可能肯定命题、 可能否定命题四者在“逻辑方阵图”中的位置。 记住它们的位置，其真假制约关系与性质命题A、 E、I、O的真假制约关系完全一样。 四种关系的具体内容如下： 1、矛盾关系（两条对角线） （1）必然P与可能非P之间、必然非P与可能P 之间是矛盾关系。 （2）特点是：二者不能同真，不能同假。即： 一真则另一必假