

首页  思维导图  详情



第七章模态命题及其推理

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、允许规范三段论

 Collect

Get Started

第七章函数

 Collect

Get Started

分离工程⁻第七章

 Collect

Get Started

第七章：糖代谢

 Collect

Get Started

第七章控制





0 条评论

下一页