第五章-模态逻辑.pptVIP

第五章 模态逻辑 第一节 模态逻辑 模态和模态词 模态：指事物或认识的必然性和可能性等这类性质。模态在思维中的反映，表现为一定的认识和观念，便形成了相应的模态概念。 模态词：语言中用以表示模态或模态概念的语词或符号。如：汉语中的“必然性”、“可能性”，英语中的单词“necessity”、“possible”。 模态算子：通常用人工语言符号“□”和“◇”来分别表示必然性和可能性，这些人工符号在模态推理中被称为模态算子。 模态的分类 模态按照不同的标准，可分为从物的模态和从言的模态；或客观模态和主观模态；或狭义模态和广义模态。 模态形式 模态形式：研究含有模态词的思维逻辑形式。它是在经典逻辑形式的基础上增加模态算子等模态成分而形成的逻辑形式。 下列模态命题均有对应的逻辑形式： 四种基本的模态命题 在命题p和?p上增加必然算子□和可能算子◇,可得到四种基本的模态命题： 模态推理 以模态命题为前提或结论的推理叫做模态推理。例如: （1）患阑炎但肚子不痛是不能的,所以患阑尾炎则肚子痛是必然的。 （2）如果小张是党员干部，那么他必然是党员；小张是党员干部。所以，他必然是党员。 其推理形式分别为： （1′）?◇(p∨?q)→□（P→q） （2′）（P→□q）∧P→□q 模态逻辑学是关于模态形式及其规律的逻辑学，目的在于得到有效的模态推理形式。 相应于经典的命题逻辑和谓词逻辑，模态逻辑