第四章模态规范逻辑.pptVIP

第四章 模态、规范逻辑  学习难点：模态命题的真假 重点掌握：模态对当推理、规范对当推理 掌 握：命题的特征、种类、真假 了 解：模态与非模态推理、必 然化推理、必须化推理 第一节 模态推理 一、模态命题 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 第一节 模态推理 （2）L ┑p和M ┑p间的真假制约关系 L ┑p →M ┑p　　　　　　　 ┑M ┑p → ┑L ┑p 可见，根据模态命题的差等关系，可以由必然命题为真推出可能命题为真；由可能命题为假推知必然命题为假。反过来，不正确。 第一节 模态推理 3、反对关系对当推理 　　模态命题间的反对关系指 Lp和L ┑p间的真假制约关系。 　　　　 Lp → ┑ L ┑p 　　　　　　　 L ┑p → ┑Lp 　　可见，Lp和L ┑p间具有反对关系，它们不可同真，但可同假。因此，根据反对关系，可由某一命题为真推知另一个命题为假，但不能由某一命题为假推知另一命题的真假。 第一节 模态推理 4、下反对关系对当推理 　　模态命题间的下反对关系指 Mp和M ┑p间的真假制约关系。 ┑Mp → M ┑p 　　　　　　　 ┑M ┑p → Mp 　　可见，Mp和M ┑p间具有反对关系，它们不可同假，但可同真。因此，根据下反对关系，可由某一命题为假推知另一个命题为真，但不能由某一命题为真推知另一命题的真假。 第二节 规范推理 一、什么是规范命题 　　规范命题是在一定情况下，给人（规范承受者）的行为提出某种命令或规定的命题。 　　在规范命题的语言表达形式中，都含有“必