模态对当关系 modal opposition 一般指必然p、必然非p、可能p、可能非p四种模态命题之间的对当关系。它用一个四方形表示出四种模态命题之间具有类似于性质命题对当关系的那样一种真假关系。其图为:模态对当关系所表示的四种模态命题之间的真假关系如下:(1)矛盾关系:“必然p”与“可能非p”、“必然非p”与“可能p”之间的关系。当其中一个命题为真时,则另一个命题必假;当其中一个命题为假时,则另一个命题必真。(2)反对关系:“必然p”与“必然非p”之间的关系。当其中一个命题为真时,则另一个命题必假;而当其中一个命题为假时,则另一个命题真假不定。(3)下反对关系:“可能p”与“可能非p”之间的关系。当其中一个命题为假时,则另一个命题必真;而当其中一个命题为真时,则另一个命题真假不定。(4)差等关系:“必然p”与“可能p”、“必然非p”与“可能非p”的关系。当“必然p”真时,“可能p”必真;当“必然非p”真时,“可能非p”必真;而当“必然p”假时,“可能p”真假不定;当“必然非p”假时,“可能非p”真假不定,此即蕴涵关系。相应地“可能p”对“必然p”、“可能非p”对“必然非p”则为反蕴涵关系。当“可能p”假时,则“必然p”必假;当“可能非p”假时,则“必然非p”必假;而当“可能p”真时,则“必然p”真假不定;当“可能非p”真时,“必然非p”真假不定。 .JPG) |