7模态逻辑.pptVIP

* 7.1. 概 述 关于包括广义模态词即 “必然”、“可能”、“ 应当 ” “允许”等词的命题和推理的逻辑。 狭义模态命题 包括“必然”、“可能”模态词的命题。如， 摩擦必然生热 吸烟可能导致肺癌 科学与技术一旦获得革命性进步，就会引起整个社会的变革，这是必然的 给定任意一个命题p，加上“必然”、“可能”等模态词，就能形成模态命题。 设命题形式有p 和 ?p，必然＝□ 可能＝◇ ，则有 必然肯定命题： □p 必然否定命题： □?p 可能肯定命题： ◇p 可能否定命题： ◇?p 用“可能世界语义学”定义狭义模态命题 逻辑的可能和逻辑的必然不是物理的可能和物理的必然 （逻辑的可能世界）可能世界＝可想像的世界＝不矛盾的世界 可能世界 可能世界1 可能世界2 可能世界3 (现实世界) 可能世界1 可能世界2 可能世界3 (现实世界) □p：p 在每一可能世界均 为真 p p p 可能世界1 可能世界2 可能世界3 (现实世界) ?p ?p ?p 可能世界1 可能世界2 可能世界3 (现实世界) p 可能世界1 可能世界2 可能世界3 (现实世界) ?p □?p：p 在每一可能世界均 为假，或 ?p均为真 ◇p ：p 在至少一个可能 世界 为真 ◇ ?p ： p 在至少一个可能世界 为假，或?p为真 □p □?p ◇p ◇?p 矛盾 关系 反对关系 下反对关系 差等关系 差等关系 矛 盾 关 系 □p?◇p □?p ?◇?p ?◇p??□p ?◇?p??□? p □p ? ?□?p □?p ??□p ?◇p ?◇?p ?◇?p ?◇p □p ?? ?◇ ?p □?p ?? ?◇p 反对关系 下反对关系 差等关系 矛盾关系 □p ??◇ ?p ?□p ?◇?p ◇?p ??□p ?◇ ?p ?□p □?p ??◇ p ?□?p ?◇p ◇p ??□?p ?◇p ?□?p 可能世界1 可能世界2 可能世界3 模态对当关系推理 7.2.模态推理 □p?p?◇p □?p??p ?◇?p ?◇p??p??□p ?◇?p??（?p） ??□?p 三种命题依次为差等关系 可能世界1 可能世界2 可能世界3 (现实世界) p ：p在现实世界（可能世界1） 中为真 实然、必然、可能之间的关系 可能世界1 可能世界2 可能世界3 (现实世界) 绿色植物必然能进行光合作用 海洋里的藻类必然是绿色植物 所以，海洋里的藻类必然能进行光合作用 必然MAP 必然SAM 必然SAP MAP MAP MAP SAM SAM SAM SAP SAP SAP 灵长类动物必然有发达的大脑 那个小动物可能是灵长类动物 所以，那小动物可能有发达的大脑 可能世界1 可能世界2 可能世界3 (现实世界) MAP MAP MAP SAM SAP 必然MAP 可能SAM 可能SAP 模态三段论 必然模态三段论 必然和可能模态三段论 所有在历史上产生的东西必然最终要死亡 资本主义制度是历史上产生的东西 所以，资本主义制度必然最终要死亡 可能世界1 可能世界2 可能世界3 (现实世界) MAP MAP MAP SAM SAP 必然MAP SAM 必然SAP 不能得出必然SAP，只能得出SAP 可能世界1 可能世界2 可能世界3 (现实世界) MAP MAP SAM 凡与被害人有仇恨的人都可能是 作案凶手 张某是与被害人有仇的人 所以，张某可能是作案凶手 可能MAP SAM 可能SAP 不能必然得出 必然和实然模态三段论 可能和实然模态三段论 规范命题 包括“应当”、“允许”、“禁止”等规范词的命题。它们是广义模态命题。 共产党员应当关心群众疾苦