文献类型：期刊文章

作　　者：杜国平[1]

机构地区：[1]南京大学现代逻辑与逻辑应用研究所,江苏南京210093

出　　处：《东南大学学报（哲学社会科学版）》

基　　金：国家社科基金项目(02CZX0080);教育部人文社会科学重点研究基地重大项目"逻辑哲学重大问题研究"(05JJD720.40002)成果之一

年　　份：2007

卷　　号：9

期　　号：4

起止页码：43-46

语　　种：中文

收录情况：CSSCI、CSSCI2006_2007、NSSD、RCCSE、RWSKHX、ZGKJHX、普通刊

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

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

分 类 号：B812]