第四章模态规范逻辑介绍.ppt

第二节 规范推理 3）矛盾关系对当推理 　　规范命题之间的矛盾反对关系是指 Op与P ┑p、O ┑p与Pp间的推演关系。 　 Op←→ ┑P ┑p P ┑p←→ ┑Op F p←→ ┑Pp Pp←→ ┑Fp 第二节 规范推理 　　根据规范命题间的矛盾关系，它们既不能同真也不能同假，因此，可由一个命题的假推知另一个命题的真；也能由一个命题的真推知另一个命题的假。 第二节 规范推理 （ 4）差等关系对当推理 规范命题之间的差等关系是指 Op与Pp、Fp与P ┑ p间的推演关系。 Op → Pp ┑Pp → ┑Op F p → P ┑p ┑P ┑p → ┑F p 第二节 规范推理 根据规范命题间的差等关系，因此，可由必须命题为真，推知允许命题真；也能由允许命题假，推知必须命题真。 　　从“不允许上课打瞌睡”可以推出“不应该上课打瞌睡”。 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅读科技书籍，我们能丰富知识， 培养逻辑思维能力； 通过阅读文学作品，我们能提高文学鉴赏水平， 培养文学情趣； 通过阅读报刊，我们能增长见识，扩大自己的知识面。 有许多书籍还能培养我们的道德情操， 给我们巨大的精神力量， 鼓舞我们前进。 * * 第四章 模态、规范逻辑  学习难点：模态命题的真假 重点掌握：模态对当推理、规范对当推理 掌 握：命题的特征、种类、真假 了 解：模态与非模态推理、必 然化推理、必须化推理 第一节 模态推理 一、模态命题 1、定义： 　　模态命题就是陈述事物情况的可能性或必然性的命题。 第一节 模态推理 在模态命题的语言表达形式中，都含有“必然”或“可能”这两种模态词。 例如： 　　客观规律必然不以人的意志为转移。（“必然”居于命题之中） 　　客观规律不以人的意志为转移是必然的。（“必然”后置） 　　不可能所有的错误都能避免。（“可能”前置） 第一节 模态推理 2、模态命题的种类 （1）必然肯定命题 　　必然肯定命题就是陈述事物情况必然存在的命题。 　　例如：任何事物都必然包含有矛盾。 　　语言形式结构： “必然P”。 　　符号形式结构： 模态词“必然”，可以表达为 Lp 第一节 模态推理 (2)必然否定命题 　　必然否定命题就是陈述事物情况必然不存在的命题。 　　例：客观规律必然不以人的意志为转移。 　　语言形式结构：“必然非P”。 符号形式结构：L ┑ p 第一节 模态推理 （3）可能肯定命题 可能肯定命题就是陈述事物情况可能存在的命题。 例：某人可能是法学专业的学生。火星上可能有生物。 语言形式结构：“可能P”。 符号形式结构： Mp 第一节 模态推理 (4)可能否定命题 可能否定命题就是陈述事物情况可能不存在的命题。 例：明天可能不会刮风。 语言形式结构：“可能非P”。 符号形式结构：M ┑ p 第一节 模态推理 3、模态命题的真假 “可能世界”这个概念最早是由莱布尼茨提出的,是指能够为人们 合乎逻辑 地设想出来的各种各样的情况和场合。 第一节 模态推理 “必然 p”真，当且仅当p在所有可能世界中都真。 “可能 p”真，当且仅当p至少在某一个可能世界中为真。 “必然非 p”真，当且仅当p在所有可能世界中都假。 “可能非 p”真，当且仅当p至少在某一个可能世界中为假。 第一节 模态推理 二、模态对当推理 　　“必然P”、“必然非P”、“可能P”、“可能非P”，这四种模态命题之间的真假关系，与A、E、I、O四种性质命题之间的真假关系相同，我们可以借用性质命题的逻辑方阵图来表示模态命题之间的真假关 系。 第一节 模态推理 1、矛盾关系对当推理 模态命题间的矛盾关系指 Lp和M ┑p、L ┑p和Mp之间的真假制约关系。 （ 1）Lp和M ┑p间的真假制约关系 　　 Lp←→ ┑ M ┑p　　　　　　　 M┑p←→ ┑Lp 第一节 模态推理 （ 2）L ┑p和Mp间的真假制约关系 L ┑p←→ ┑Mp　　　　　　　 Mp ←→ ┑L ┑p 　　可见， Lp和M ┑p、L ┑p和Mp之间具有矛盾关系，它们既不能同真又不能同假。由其中的一个命题为真，可推知另一命题假；由其中的一个命题假，可推知另一命题真。 第一节 模态推理 2、差等关系对当推理 　　模态命题间的矛盾关系指 Lp和Mp、L ┑ p和M ┑p之间的真假制约关系。 （ 1）Lp和Mp间的真假制约关系 　 Lp → Mp　　　　　　　 ┑Mp → ┑Lp 第一节 模态推理