哲思逻辑的扩充及其应用

摘要：

在9种二值一元连接词中,非平凡的共有5个.由这5个连接词连接的命题和原命题之间形成了5种关系,即矛盾关系、差等关系、逆差等关系、反对关系和下反对关系.在扩充的哲思逻辑中包含了这5个一元连接词,这大大提高了命题逻辑的表达功能和推理功能.其中的逆差等命题○A和原命题A之间既不满足矛盾律也不满足排中律,既不能用A和○A进行反证法证明,也不能用A和○A进行归谬法证明.哲思逻辑在自然语言推理方面的应用主要体现在两个方面:基于哲思逻辑的自然语言形式表示;基于哲思逻辑的自然语言推理.

关键词：哲思逻辑、逆差等关系、逻辑应用

所属期刊栏目：33

分类号：B819(逻辑学(论理学))

资助基金：国家社会科学基金项目10BZX054;国家社科基金重大招标项目10&ZD073

在线出版日期：2011-08-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：65-68