期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
试论A、E、I、O的模态逻辑方阵
1
作者 刘天喜 时明德 《信阳师范学院学报(哲学社会科学版)》 1992年第1期45-48,共4页
现代逻辑将事物的模态归约为命题的模态,从命题层面上处理模态语句,古典模态词“必然”和“可能”就成为一类特殊的命题联结词,具备了逻辑算子的功能。由此,(1)模态算子□(必然)、◇(可能)作用于实然命题P而形成的模态命题□P和◇P,完... 现代逻辑将事物的模态归约为命题的模态,从命题层面上处理模态语句,古典模态词“必然”和“可能”就成为一类特殊的命题联结词,具备了逻辑算子的功能。由此,(1)模态算子□(必然)、◇(可能)作用于实然命题P而形成的模态命题□P和◇P,完全可视为负命题之外的又一类特殊的复合命题;(2)如果说“非”算子使原命题的意义和真值情况发生反转,那么,模态算子则使实然命题的意义和真值情况强化或弱化了。 展开更多
关键词 逻辑方阵 命题 下反对关系 现代逻辑 复合命题 实然命题 命题联结词 对当关系 特称命题 全称命题
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部