试论A、E、I、O的模态逻辑方阵 |
| |
引用本文: | 刘天喜
,时明德.试论A、E、I、O的模态逻辑方阵[J].信阳师范学院学报(哲学社会科学版),1992(1). |
| |
作者姓名: | 刘天喜 时明德 |
| |
摘 要: | 现代逻辑将事物的模态归约为命题的模态,从命题层面上处理模态语句,古典模态词“必然”和“可能”就成为一类特殊的命题联结词,具备了逻辑算子的功能。由此,(1)模态算子□(必然)、◇(可能)作用于实然命题P而形成的模态命题□P和◇P,完全可视为负命题之外的又一类特殊的复合命题;(2)如果说“非”算子使原命题的意义和真值情况发生反转,那么,模态算子则使实然命题的意义和真值情况强化或弱化了。
|
本文献已被 CNKI 等数据库收录! |
|