山东理工大学教案第13次.docVIP

第 13 次课 教学课型：理论课 √ 习题课√ 实践课□ 技能课□ 其它□ 主要教学内容（注明：重点 # 难点 ）： 第五章 模态逻辑 第一节? 模态逻辑 重点①模态逻辑命题的对当关系及推理；②规范模态命题及形式；③模态逻辑与命题逻辑和谓词逻辑的联系。 难点6种规范命题归结为4种规范命题。* 教学目的要求： 1、掌握命题逻辑有效性的判定方法。 2、重点掌握真值表和简化真值表的运用 教学方法和教学手段： 讲授、板书、练习。 讨论、思考题、作业： 1．课后练习题。 2．补充练习题。 参考资料： 1．《普通逻辑》.吴家国主编.上海人民出版社，1999年版. 2．《逻辑学基础教程》.彭漪涟主编.华东师范大学出版社，2005年版. 3．《逻辑学》.姜全吉主编.高等教育出版社，2004年版. 注：教师讲稿附后 第四章 模态逻辑 [教学目的] 使学生初步掌握模态命题的基本形式，能够理解和掌握最基本的模态推理知识和技能。 [教学重点] ①模态逻辑命题的对当关系及推理；②规范模态命题及形式；③模态逻辑与命题逻辑和谓词逻辑的联系。 [教学难点] 6种规范命题归结为4种规范命题。 ? ? “模态”一词是英文“modal”的音译，原意为“样式的”，“情态的”。模态逻辑是研究包含模态词“必然”、“可能”的模态命题及其推理的科学。 模态逻辑历史很悠久，早在两千多年前，亚里士多德就对模态命题做过许多讨论，研究了模态词和模态三段论，但在很长一段时间里模态逻辑的价值被忽略了，因而模态逻辑基本上没有得到发展。 直到本世纪初，美国逻辑学家刘易斯（I.Lewis）用数理逻辑的方法和观点对模态逻辑作了系统的研究，这才使模态逻辑的发展进入了一个崭新的时期。 Lewis所建立的严格蕴涵系统，形成了一个模态逻辑的命题演算系统。其他逻辑学家也通过研究，建立了包括谓词演算在内的种种模态逻辑系统。也有人对模态提出了更广义的解释，从而开拓了一些新的研究领域。 ? 第一节? 模态逻辑 一、模态逻辑的定义 ?“模态”一词译自英文的“modal”，它有“形式的、情态的，语气的或模式的”等涵义。从字面上看，模态词是一些是表示情态、语气等的特殊语词。 例如 ??? （1）“太阳系有9颗行星是必然的。” ??? （2）“火星上有生命是可能的。” ??? （3）“9大于7是必然的。” ??? （4）“一个有黑眼睛的人没有眼睛是可能的。” 在上述语句中出现的特殊语词“必然”和 “可能”就是模态词。也就是说， 1、定义： 模态—— 是指事物或认识的必然性和可能性等性质。 模态词——语言中用以表示模态或模态概念的语词或符号称为模态词。 模态算子——“必然”和“可能”都是模态词，我们一般用人工语言符号“ □ ”表示“必然”，用符号“◇”表示“可能”，这些人工语言符号在 模态形式——含有模态词的思维逻辑形式叫模态形式。模态形式是对经典逻辑的形式的一种扩张。 命题的模态形式——含有模态算子的命题形式。 必然模态形式——含有必然模态算子的命题形式。 可能模态形式——含有可能模态算子的命题形式。 模态逻辑——是研究含有模态词的逻辑系统。相应于经典逻辑的两种基本形式，分为模态命题逻辑和模态谓词逻辑。本书只介绍模态命题逻辑。 2、模态的分类： 1）、模态可分为从物模态（事物模态）和从言模态（命题模态）。 从物模态（事物模态）——指的是事物或对象的模态。 例如：9必然大于7? 这里的必然性指事物本身的。 从言模态（命题模态）——指的是关于命题的模态。就“9大于7是必然的”而言，可以理解为“9大于7”为真具有必然性，这里的必然性是关于命题的，是从言模态。 2）、模态还可分为客观模态和主观模态。 客观模态——指客观存在的必然性和可能性等性质。人们使用模态命题用以如实反映事物本身确实存在的可能性和必然性的模态称作客观模态， 例：生物受环境影响是必然的。 制服癌症是可能的。 飞机的速度不可能超过光速。 它们就分别反映了客观事物确实存在的可能性和必然性，是一种客观的模态，由于也可以说这是一种事物的模态，所以客观模态又叫事物的模态。 主观模态——指认识中的确定性和不确定性。我们对事物是否确实存在某种情况，一时还不十分清楚，不很确定，因而只好用可能命题来表示自己对事物情况反映的不确定的性质。 例如：火星上可能有生物， 他可能是大学毕业。 这种反映人们认识的不同的确实程度的模态性称作主观模态。由于这些可以说是一种认识的模态，所以主观模态又叫认识的模态。 二者的区别： 这两种模态显然是有所不同的，不能将它们混淆起来。客观模态是客观事物存在的实际情况，它是不依我们的认识，从而也不依我们认识的模态为转移的。主观模态则是由于人们在认识过程中，对事物情况认识的不同程度而形成的，它是