【摘 要】
：
在经典命题逻辑的系统内,增加一个一元算子＊,通过定义引入两个一元算子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型自动气象站可以自动实现对地面各种气
格尔木地区农牧业气候资源较为丰富。利用应用层次分析法对其资源开发的优先级进行分析,从而确定了以获得最大经济效益和广泛的社会效益为目的的各种措施的优先级别,为合理利
本刊讯日前，广西富川瑶族自治县富隆果业公司的500t脐橙在县工商局、县水果办、县林业局等部门的大力支持帮助下，经过精心加工包装后销往广东、香港及马来西亚、新加坡、越南等
改革开放以来,中国民主政治建设中被称为"草根民主"的村民自治取得了巨大的发展。但是,在发展的同时也存在着诸多问题,如村民自治与乡镇政府的关系问题就是村民自治实践过程
文章介绍了重水堆核电厂屏蔽塞的结构和功能,阐述了秦山第三核电厂2号机组故障屏蔽塞概况和经常出现故障屏蔽塞的原因,分析了故障屏蔽塞卸除过程中存在的主要风险,针对这些风
2001年春,我市经中国林业科学院经济林研究中心从美国引进7个杂交杏李品种,有味馨、风味玫瑰、风味皇后、恐龙蛋、味厚、味王,共936株,南北行栽植,株行距3 m×4 m.试验园
本刊讯道县野桔是湖南省永州市野生柑情资源的代表种，主要分布于都庞岭山脉。1966年经中国农业科学院柑桔研究所曾勉教授和湖南省农业科学院时任全国柑桔学会理事贺善文研究员
日前，国家工信部公布了《全国工业固体废物综合利用先进适用技术推广目录》，安徽省砀山县宇宁生物科技有限公司研发的“利用果皮、果渣提取果胶联产辛弗林综合利用工艺技术”名
根据本省各台站天气预报资料和实况资料传输、收集的实际情况，建立了自动化程度较高并且具有人机交互功能的预报评分系统。该系统从2000年下半年开始在青海省气象台试运行，该系
民族主义作为孙中山先生'三民主义'思想中产生最早、宣传最多、影响最大的理论,贯穿于他整个革命实践过程中,并且随着时代的发展变化始终坚持润色完善,彰显出鲜明的