【摘 要】
：
在经典命题逻辑的系统内,增加一个一元算子＊,通过定义引入两个一元算子2和△,可以建立一个经典命题逻辑的扩充系统——哲思逻辑系统。在该扩充系统内,有遵守矛盾律和排中律的
【基金项目】
：
国家社科基金项目（02CZX0080）,教育部人文社会科学重点研究基地重大项目“逻辑哲学重大问题研究”（05JJD720.40002）成果之一.
论文部分内容阅读
在经典命题逻辑的系统内,增加一个一元算子＊,通过定义引入两个一元算子2和△,可以建立一个经典命题逻辑的扩充系统——哲思逻辑系统。在该扩充系统内,有遵守矛盾律和排中律的经典否定算子,有遵守矛盾律而不遵守排中律的构造性否定算子,有不遵守矛盾律而遵守排中律的弗协调否定算子,还有既不遵守矛盾律又不遵守排中律的辩证否定算子。通过引入关于＊的一个形式语义,可以证明哲思逻辑系统具有可靠性和完全性。在哲思逻辑中,A和A之间是矛盾关系,A和2A之间是反对关系,A和△A之间是下反对关系,A和＊A之间是差等关系。所以,哲思逻辑
其他文献
摘 要 以舞阳县气象局CAWS600BS-M型自动气象站为例，通过这些年的实际应用，简要介绍了自动气象站系统构成及工作原理，针对自动气象站在运行出现的关键问题进行了详细分析，并给出了相关的维修对策。 关键词 自动气象站;关键问题;处理对策 中图分类号：S232.4 文献标志码：B 文章编号：1673-890X（2015）27--02 CAWS600BS-M型自动气象站可以自动实现对地面各种气
文章介绍了重水堆核电厂屏蔽塞的结构和功能,阐述了秦山第三核电厂2号机组故障屏蔽塞概况和经常出现故障屏蔽塞的原因,分析了故障屏蔽塞卸除过程中存在的主要风险,针对这些风
2001年春,我市经中国林业科学院经济林研究中心从美国引进7个杂交杏李品种,有味馨、风味玫瑰、风味皇后、恐龙蛋、味厚、味王,共936株,南北行栽植,株行距3 m×4 m.试验园