哲思逻辑——一个形而上学内容的公理体系

摘要：

在经典命题逻辑的系统内,增加一个一元算子*,通过定义引入两个一元算子▽和△,可以建立一个经典命题逻辑的扩充系统--哲思逻辑系统.在该扩充系统内,有遵守矛盾律和排中律的经典否定算子,有遵守矛盾律而不遵守排中律的构造性否定算子,有不遵守矛盾律而遵守排中律的弗协调否定算子,还有既不遵守矛盾律又不遵守排中律的辩证否定算子.通过引入关于*的一个形式语义,可以证明哲思逻辑系统具有可靠性和完全性.在哲思逻辑中,A和(→)A之间是矛盾关系,A和▽A之间是反对关系,A和△A之间是下反对关系,A和*A之间是差等关系.所以,哲思逻辑又可以称为对当关系逻辑.

关键词：否定、弗协调、直觉主义

所属期刊栏目：9

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

资助基金：国家社会科学基金02CZX0080;教育部人文社会科学研究基地基金05JJD720.40002

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

页数：共4页

页码：43-46