第七章模态命题及其推理
2015-07-02 11:57:35 1 举报AI智能生成
（笔记）形式逻辑第七章模态命题及其推理
作者其他创作
大纲/内容
第一节 模态命题
模态命题的定义：一切包含有模态词的命题。如：必然、可能、应当、禁止、允许。
真值模态命题：反映事物必然或可能性的命题。含有：必然、可能
规范模态命题：涉及人的行为规范的模态命题。含有：应当、禁止、允许
模态命题的分类
可能命题 例：今天可能要下雨
必然命题 例：生物的新陈代谢是必然的
模态命题的四种形式
可能肯定命题 例：今天可能下雨。
公式：S可能是P
可能否定命题 例：今天不可能下雨。
公式：S不可能是P
必然肯定命题 例：新的制度必然要胜利。
公式：S必然是P
必然否定命题 例：客观规律必然不以人的意志为转移。
公式：S必然不是P
第二节 模态推理
定义：由模态命题构成的演绎推理。
根据模态逻辑方阵进行的推演
模态命题矛盾关系的直接推理
1、必然P，推出并非可能非P
2、并非必然P，推出可能非P
3、可能非P，推出并非必然P
4、并非可能非P，推出必然P
5、必然非P，推出并非可能P
6、并非必然非P，推出可能P
7、可能P，推出并非必然非P
8、并非可能P，推出必然非P
模态命题反对关系的直接推理
1、必然P，推出并非必然非P
2、必然非P，推出并非必然P
模态命题下反对关系的直接推理
1、并非可能P，推出可能非P
2、并非可能非P，推出可能P
模态命题等差关系的直接推理
1、必然P，推出可能P
2、并非可能P，推出并非必然P
3、必然非P，推出可能非P
4、并非可能非P，推出并非必然非P
模态三段论
1、两个前提都是必然命题
2、一个前提是必然命题，一个前提是可能命题
3、一个前提是必然命题，一个前提是直言命题
4、一个前提是可能命题，而另一个前提是直言命题
5、两个前提都是可能命题
第三节 规范命题
定义：给人如何行动提出某种命令或规定的命题，含有必须（O）、允许（P）、禁止（F）等涉及人的行为规范的词。
规范命题的种类
必须P（Op）
必须非P（Oˉp）
允许P（Pp）
允许非P（Pˉp）
规范命题的逻辑方阵关系
1、必须p（Op）与必须非p（Oˉp） 反对关系
2、允许p（Pp）与允许非p（Pˉp） 下反对关系
3、必须p（Op）与允许p（Pp)；必须非p（Oˉp）与允许非p（Pˉp） 等差关系
4、必须p（Op）与允许非p（Pˉp）；必须非p（Oˉp）与允许p（Pp） 矛盾关系
第四节 规范推理
定义：以规范命题为其前提和结论的演绎推理
根据规范命题逻辑方阵进行的推演
1、矛盾关系直接推理
1、必须p，推出并非允许非p（Op→￣Pˉp）
2、并非必须p，推出允许非p（￣Op→Pˉp）
3、允许非p，推出并非必须p（Pˉp→￣Op）
4、并非允许非p，推出必须p（￣Pˉp→Op）
5、必须非p，推出并非允许p（Oˉp→￣Pp）
6、并非必须非p，推出允许p（￣Oˉp→Pp）
7、允许p，推出并非必须非p（Pp→￣Oˉp）
8、并非允许p，推出必须非p（￣Pp→Oˉp）
2、反对关系直接推理
1、必须p，推出并非必须非p（Op→￣Oˉp）
2、必须非p，推出并非必须p（Oˉp→￣Op）
3、下反对关系直接推理
1、并非允许p，推出允许非p（￣Pp→Pˉp）
2、并非允许非p，推出允许p（￣Pˉp→Pp）
4、等差关系直接推理
1、必须p，推出允许p（Op→Pp）
2、并非允许p，推出并非必须p（￣Pp→￣Op）
3、必须非p，推出允许非p（Oˉp→Pˉp）
4、并非允许非p，推出并非必须非p（￣Pˉp→￣Oˉp）
规范三段论（必须遵守直言三段论的全部规则）
1、必须规范三段论
2、禁止规范三段论
3、允许规范三段论
0 条评论
下一页
