逻辑学基础(第五章)-(精选·公开·课件).ppt

第五章 模态逻辑 第一节 模态逻辑 模态和模态词 模态：指事物或认识的必然性和可能性等这类性质。模态在思维中的反映，表现为一定的认识和观念，便形成了相应的模态概念。 模态词：语言中用以表示模态或模态概念的语词或符号。如：汉语中的“必然性”、“可能性”，英语中的单词“necessity”、“possible”。 模态算子：通常用人工语言符号“□”和“◇”来分别表示必然性和可能性，这些人工符号在模态推理中被称为模态算子。 模态的分类 模态按照不同的标准，可分为从物的模态和从言的模态；或客观模态和主观模态；或狭义模态和广义模态。 模态形式 模态形式：研究含有模态词的思维逻辑形式。它是在经典逻辑形式的基础上增加模态算子等模态成分而形成的逻辑形式。 下列模态命题均有对应的逻辑形式： 四种基本的模态命题 在命题p和?p上增加必然算子□和可能算子◇,可得到四种基本的模态命题： 模态推理 以模态命题为前提或结论的推理叫做模态推理。例如: （1）患阑尾炎但肚子不痛是不能的,所以患阑尾炎则肚子痛是必然的。 （2）如果小张是党员干部，那么他必然是党员；小张是党员干部。所以，他必然是党员。 其推理形式分别为： （1′）?◇(p∨?q)→□（P→q） （2′）（P→□q）∧P→□q 模态逻辑学是关于模态形式及其规律的逻辑学，目的在于得到有效的模态推理形式。 相应于经典的命题逻辑和谓词逻辑，模态逻辑也可分为模态命题逻辑和模态谓词逻辑。 从逻辑史来看，模态逻辑又可分传统模态逻辑和现代模态逻辑。 传统模态逻辑的对当方阵 传统模态逻辑的对当方阵 由对当关系方阵，可得四种基本模态命题之间的真值关系： （1）矛盾关系：□p与◇?p、□?p与◇p不能同真，也不能同假。 （2）反对关系：□p与□?p不可同真，但可同假。 （3）下反对关系：◇p与◇?p不可同假，但可同真。 （4）差等关系：□p真则◇p真；◇p假则□p假；□p假则◇p真假不定；◇p真则□p真假不定。□?p与◇?p也有这种关系。 传统模态逻辑的对当推理 矛盾关系对当推理： （1）□p├┤?◇?p； （2）□?p├┤?◇p （3）◇p├┤?□?p； （4）◇?p├┤?□p 反对关系对当推理： （5）□p├ ?□?p； （6）□?p├ ?□p 下反对关系对当推理： （7）?◇p├ ◇?p； （8）?◇?p├ ◇p 差等关系对当推理： （9）□p├ ◇p； （10）□?p├ ◇?p （11）?◇p├ ?□p； （12）?◇?p├ ?□?p 模态对当推理的应用实例 （1）“罪犯必然有犯罪时间”（□p）为真，可得： “罪犯必然无犯罪时间”（□?p）为假； “罪犯可能有犯罪时间”（◇p）为真； “罪犯可能无犯罪时间”（◇?p）为假。 （2）“并非明天必然下雪”（?□p）等值于“明天可能不下雪”（◇?p） （3）“并非他必然不被当选”（?□?p）等值于“他可能被当选”（◇p） 模态六角图 实然命题与必然命题、可能命题间的推理 经典逻辑中不含模态词的命题叫实然命题。 从六角图可以得到如下有效推理： （1）□p├ p （2）p├ ◇p （3）□?p├ ?p （4）?p├ ◇?p （5）?◇p├ ?p （6）?p├ ?□p （7）?◇?p├ ??p （8）??p├ ?□?p 实然命题与必然命题、可能命题间的推理 (1)——(8)的推理式体现了结论从弱原则：结论的模态不能强于前提的模态，即必然强于实然，实然强于可能(或然)。故上述推理可以简化为： （9）□p├ p├ ◇p （10）□?p├ ?p├ ◇?p （11）?◇p├ ?p├ ?□p （12）?◇?p├ ??p├ ?□?p 根据实然命题的真假可推知相应模态命题的真假： （13）p├ ◇p├ ?□?p （14）?p├ ◇?p├ ?□p （15）?p├ ?□p├ ◇?p （16）??p├ ?□?p├ ◇p 直言模态命题 根据“必然”、“可能”这两个模态词和A、E、I、O四种基本直言命题的组合，得到八种基本的直言模态命题： 1、必然全称肯定命题(□SAP)； 2、必然全称否定命题(□SEP)； 3、必然特称肯定命题(□SIP)； 4、必然特称否定命题(□SOP)； 5、可能全称肯定命题(◇SAP)； 6、可能全称否定命题(◇SEP)； 7、可能特称肯定命题(◇SIP)； 8、可能特称否定命题(◇SOP)； 直言模态方阵图 其中，箭头直线为差等关系线，无箭头直线为矛盾关系线，上虚线为反对关系线，下虚线为下反对关系线。 直言模态方阵图的有效推理 1、根据直言模态命题之间的矛盾关系得出的等值式有： （1）□SAP├┤?◇SO