▲点击上方“蓝字”关注我

今天是我日更的第178/200天

模态判断，是断定事物情况存在的必然性或可能性的判断。

模态推理，是以模态判断为前提或结论，并根据模态判断的逻辑性质进行推演的推理。

模态判断有4种对当关系，反对关系、下反对关系、从属关系、矛盾关系。

模态推理也分为4种。

（一）反对关系模态推理

3.12必然是植树节，所以，并非3.12必然不是植树节。

由（必然P）推出（并非必然非P）

1.2必然不是元旦节，所以，并非1.2必然是元旦节。

由（必然非P）推出（并非必然P）

（二）下反对关系模态推理

并非人可能长生不老，所以，人可能不会长生不老。

由（并非可能P）推出（可能非P）

并非杜甫可能不是诗圣，所以，杜甫可能是诗圣。

由（并非可能非P）推出（可能P）

（三）从属关系（等差关系）模态推理

人必然要吃饭，所以，人可能要吃饭。

由（必然P）推出（可能P）

并非急救电话可能是122，所以，并非急救电话必然是122。

由（并非可能P）推出（并非必然P）

6.2必然不是儿童节，所以，6.2可能不是儿童节。

由（必然非P）推出（可能非P）

并非牙齿可能不是白的，所以，并非牙齿必然不是白的。

由（并非可能非P）推出（并非必然非P）

（四）矛盾关系模态推理

江苏省会必然是南京，所以，并非江苏省会可能不是南京。

由必然p，推出并非可能非p。

由必然非p，推出并非可能p。（举例省略）

并非山东省会必然是北京。所以山东省会可能不是北京。

由并非必然p，推出可能非p。

由并非必然非p，推出可能p。（举例省略）

安徽省会可能不是蚌埠，所以并非安徽省会必然是蚌埠。

由可能非p，推出并非必然p。

由可能p，推出并非必然非p。（举例省略）

并非福建省会可能不是福州，所以福建省会必然是福州。

由并非可能非p，推出必然p。

由并非可能p，推出必然非p。（举例省略）

自学逻辑，内容有错欢迎指正。

我是郑懿，关注我，陪你一起持续进步。

文中部分内容引自《图解逻辑学》明道（著），中国华侨出版社，2018年3月出版