论文部分内容阅读
现代逻辑将事物的模态归约为命题的模态,从命题层面上处理模态语句,古典模态词“必然”和“可能”就成为一类特殊的命题联结词,具备了逻辑算子的功能。由此,(1)模态算子□(必然)、◇(可能)作用于实然命题P而形成的模态命题□P和◇P,完全可视为负命题之外的又一类特殊的复合命题;(2)如果说“非”算子使原命题的意义和真值情况发生反转,那么,模态算子则使实然命题的意义和真值情况强化或弱化了。