逻辑中“不一定发生”等价于“可能发生”吗?“可能发生”等价于“可能不发生”吗?
楼上所说的错了一半,对了一半。
你所说的是模态命题(判断),这种命题根据模态词分为两类:
①:必然命题;例如:必然、一定、肯定、绝对等
②:可能命题;例如:可能、或许、也许等
加上否定词后,模态命题就分成4类了,就是对当方阵中的那4类。它们的关系在对当方阵中说得很清楚了。
再考虑命题本身的否定(否定词放在命题的最前面),就变成8个命题了。不过,这8个命题是两两等价的。因此,归根到底,模态命题还是只有4个。它们的等价关系很有规律:
不必然=可能不;
不可能=必然不;
简单来说就是:交换否定词与模态词的位置,就要同时改变模态词的类型。
至于它们间的一般关系,可借用数学上的概率进行解释。模态命题和概率都是讨论可能性的,因此它们是相通的。任何事件,其概率范围是:[0,1];不同的模态命题就是表示了不同的概率:
①:必然是:p=1;
②:可能是:p>0;即:(0,1];
③:必然不;p=0;
④:可能不;p<1;即:[0,1);
所以,4类模态命题之间,是不可能等价的。只有它们的否定才会等价于其他模态命题。所以:
(不一定发生=可能不发生)≠可能发生;