模态性质命题传统逻辑方阵的建立

作者：许春红

摘要：通过建立模态性质命题：模态A、模态E、模态I、模态O命题间的5个逻辑方阵，以及将模态单称命题：模态单称肯定命题（a）和模态单程否定命题（e）引入模态性质命题逻辑方阵，能够有效地涵盖模态性质命题推理的56个有效式，以及关于模态单称命题与模态A、模态E、模态I、模态O命题之间推理的48个有效式，从而有利于用传统逻辑的方法掌握繁多的模态性质命题问的关系及推理。

发文机构：仰恩大学社科部

关键词：模态性质命题逻辑方阵

分类号： B812.3[哲学宗教—逻辑学]