003-23模态及假言推理.pptVIP

模态命题推理规则 可能与必然的逻辑定义 必然 ??不可能不 不可能不??必然 模态命题的推理规则 孙勇 第10版p16 所谓“模态命题”指的是含有相当于如下模态词的命题： 可能（也许）；必然（必定、一定） 今天可能有雨 今天不可能下雨 明天一定晴天 明天不一定晴天 四种模态命题 （在这里小写的p代表的是命题） p：proposition的缩写，表示命题 P：predication的缩写，表示谓项（概念） 必然肯定 （必然p） 必然否定 （必然-p） 可能肯定 （可能p） 可能否定 （可能-p） 模态词加在命题之前 说明它们是形容整个命题的，即使在句中，也可单独提取出来 今天可能下大雨 ?今天下大雨是可能的 ?可能今天下大雨 当今美国总统可能不是奥巴马 刘翔可能获得这次锦标赛的百米栏冠军 P17模态命题的对当关系： 现实命题，即去掉模态词之后的命题 现实肯定：p：今天下了雨（事实） 现实否定：-p：今天没下雨（事实） 矛盾关系：必然与可能不 必然不与可能 反对关系：必然与必然不 下反对关系：可能与可能不 从属(差等)关系：必然与可能 必然不与可能不 对当关系推理依然适用p17 对模态的不同否定： p17