邏輯中如何區分模態判斷和非模態判斷

模態與非模態判斷推理是基於模態判斷與非模態判斷的真假關系的演繹推理。【例1】A是限制行為能力人，所以A可能是限制行為能力人。【例2】法律必然是統治階級意誌的體現，所以法律是統治階級意誌的體現。【例3】A不是兇手，所以A可能不是兇手。【例4】這個案子肯定不會是壹個人做的，所以這個案子不會是壹個人做的。我們所說的“必然性”和“可能性”是指客觀必然性和可能性。壹切客觀的、必然的東西，總是現實的；壹切現實的東西都是客觀存在的可能性。模態判斷和非模態判斷的真假關系表示如下:□P？0?3PP？0?3◇P就非模態判斷的真假而言，P確實意味著P在現實世界中是真的，現實世界是許多可能世界中的壹個。因此，當□P為真，即P在所有可能的世界都為真時，那麽P在現實世界中為真，即P為真。而當P為真時，也就是現實世界中P為真時，那麽P至少在壹個可能的世界中為真，也就是▽◇P為真。因此，我們可以從□P為真推斷P為真；從P到真，推斷出◇P為真。但當p為真時，只能說p在現實世界，即在壹個可能的世界中為真，而不能保證p在所有可能的世界中都為真；當◇P為真，即P在至少壹個可能世界為真，但不能保證這個可能世界就是真實世界。所以我們不能從P為真的事實來推斷□P為真；也不能從◇P為真來推斷P為真。為了□?0?1P 、?0?1P和◇？0?1P的真假關系也可以用同樣的方法分析。