第七章 模态命题及其推理.ppt

1、第 七 章,模态命题及其推理,本章要点,模态命题 模态推理 规范命题 规范推理,第一节 模态命题,什么是模态命题 模态命题的种类 模态命题之间的关系,表示 “说话人对句子所表达的命题或命题所描述的情境（situation）的观点或态度”的语词，如“必然”、“可能”、“应该”、“允许”、“相信”、“知道”、“过去”、“将来”等等，如： （1）明天可能下雨。 （2）允许青年人出去闯闯。 （3）我相信神农架有野人。 （4）台风“帕尔”将在浙江登陆。,一、什么是模态命题,语言学家往往把这类语词称为情态词（modality），而逻辑学则称之为模态词（modalities）。,广义上说，凡包含模态词的命题

2、就是模态命题。 狭义上，模态命题是指包含“必然”、“可能”的命题，又称为真值模态。 包含“必须”、“允许”等的称为规范（道义）模态。 包含“知道”、“相信”等的称为认知模态。 包含“过去”、“将来”等的称为时间模态。,一、什么是模态命题,主观模态与客观模态 （1）在标准大气压下，水在100时必然沸腾。 （2）A：明天开会老张会来吗？ B：他可能不会来。 逻辑学上，一般将主观模态都处理为客观模态。 事物模态与命题模态 （3）正义事业是必然会胜利的。 （4）小张考上大学是可能的。 一般的，将事物模态都处理为命题模态。,一、什么是模态命题,二、模态命题的种类, 模态命题分为可能（）模态和必然（ ）模

3、态,实然命题可以是肯定的，也可以是否定的，因此，模态命题主要有以下四种： 可能肯定命题： 可能p p 可能否定命题： 可能非p p 必然肯定命题： 必然p p 必然否定命题： 必然非p p,模态命题的真值定义： p真，iff，p在所有的可能世界（w）中为真。 p真， iff，p在至少一个可能世界中为真。,三、模态命题之间的关系,模态对当关系, p,下反对关系,差等关系,差等关系,矛 盾 关 系,反对关系,p,p,p,矛 盾 关 系,第二节 模态推理,模态对当关系推理 必然、实然和或然之间的推理,一、模态对当关系推理,根据矛盾关系的推理： p p p p 根据差等关系的推理： p p p p,二

4、、必然、实然、或然之间的推理,p真，iff，p在所有的可能世界（w）中为真。 p在现实世界（w0）中为真，即p真。 p p p真，即p在现实世界（w0）中为真，则p在至少一个可能世界中为真 p 真 p p,二、必然、实然、或然之间的推理,p假，iff，p在所有的可能世界（w）中为假。 p在现实世界（w0）中为假，即p。 p p P假，即p在现实世界（w0）中为假，则p在至少一个可能世界中为假， p 假 p p,小李可能去杭州，所以，小李不必然去杭州。 苏州人不必然会讲普通话，所以，苏州人可能会讲普通话。 卢老师可能不住在二楼，所以，卢老师不可能住在二楼。 今年元旦不可能下雪，所以，今年元旦不下雪是必然的。,练习：P167,请列出下列模态推理的形式，并说明它是否正确？,第三节 规范命题,规范命题是含有“必须”（O）、“允许”（P）、“禁止”（F）的命题 Fp