第七讲 模态逻辑.pptVIP

第七讲 模态逻辑 王华生 右江民族医学院 马克思主义基本原理教研室 新办公楼703室 /hswang6767 Contents: Modal Logic 第一节 模态命题 第一节 模态命题 第一节 模态命题 第一节 模态命题 第一节 模态命题 第一节 模态命题 第一节 模态命题 第一节 模态命题 第一节 模态命题 第一节 模态命题 第一节 模态命题 第一节 模态命题 第一节 模态命题 第一节 模态命题 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第二节 模态推理 第三节 道义命题 第三节 道义命题 第三节 道义命题 第三节 道义命题 第三节 道义命题 第三节 道义命题 第三节 道义命题 第三节 道义命题 第三节 道义命题 第三节 道义命题 第三节 道义命题 第三节 道义命题 第三节 道义命题 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 第四节 道义推理 三、四种主要规范命题的对当关系 Op O?p Pp P?p 矛盾 关系 反对关系 下反对关系 差等关系 差等关系 矛 盾 关 系 一、基本道义命题推理 依据上述对当关系中的矛盾关系，我们可以得到以下四种基本道义命题推理： ⑴Op?? ?P?p ⑵O?p?? ?Pp ⑶ Pp ?? ?O?p ⑷ P?p ?? ?Op 一、基本道义命题推理 第一，P是必须的，当且仅当非P是不允许的。 即凡是必须做的事情不做都是不允许的，凡是不允许不做的事情都必须做。 学生应当尊敬老师??学生不尊敬老师是不允许的。 一、基本道义命题推理 第二，非P是必须的，当且仅当P是不允许的。 即凡是必须不做的事情都不允许做，凡是不允许做的事情都必须不做。 公共场所应当不吸烟??公共场所吸烟是不允许的。 一、基本道义命题推理 第三，P是允许的，当且仅当非P是不必须的。 即凡是允许做的事情都不应该不做，凡是不应该不做的事情都允许做。 允许大学生谈恋爱??不准大学生恋爱是不必要的。 一、基本道义命题推理 第四，非P是允许的，当且仅当P是不必须的。 即凡是允许不做的事情都不必须做，凡是不必须做的事情都允许不做。 允许学生生病不来上课??学生生病不必来上课。 笑话 禁止游泳 一美女到游泳池脱了衣服准备游泳时，管理员走过来，鞠躬道：“姑娘，这里不允许游泳。” “你怎么不在我脱衣之前说呢？” “脱衣服是允许的。” 二、根据道义逻辑方阵进行推演的道义推理 第一，必须P?允许P 如果P是必须的，则P是允许的。 凡是必须做的事情都允许做。 吸烟必须在吸烟室?允许在吸烟室吸烟 二、根据道义逻辑方阵进行推演的道义推理 第二，必须非P ?允许非P 如果非P是必须的，则非P就是允许的。 凡是必须不做的事情都允许不做。 男子汉应当富贵不能淫，贫贱不能移，威武不能屈?允许男子汉富贵不淫，贫贱不移，威武不屈。 二、根据道义逻辑方阵进行推演的道义推理 第三，必须P?不允许非P 如果P是应当的，则非P就是不应当的。 凡是应该做的事情都不应该不做。 逻