容纳矛盾逻辑系统与悖论

作     者：张金成 

作者机构：中央党校函授学院安徽广德242200 

出 版 物：《智能系统学报》 (CAAI Transactions on Intelligent Systems)

年 卷 期：2012年第7卷第3期

页      面：206-213页

学科分类：12[管理学] 01[哲学] 07[理学] 08[工学] 070104[理学-应用数学] 0101[哲学-哲学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 010104[哲学-逻辑学] 081104[工学-模式识别与智能系统] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：逻辑系统 矛盾 悖论 正域 反域 不动域 次协调逻辑系统. 

摘      要：分析了目前各种容纳矛盾逻辑系统的不足,提出了正域、反域、不动域的概念,进而发现悖论是逻辑思维领域的不动点,建立了一个容纳矛盾的逻辑系统S,并给出了系统S的语义模型,证明了系统S的元定理.在系统S中,命题演算被分成3个独立的域,正域、反域中所有经典逻辑的定理与演算模式都是有效的;不动域是一个包含矛盾的域,在不动域中,可以证明悖论是一个定理.系统S与Da Costa的次协调逻辑系统Cn相比较,它不但可以容纳矛盾,并且可以把矛盾解释清晰.以此逻辑系统为基础,可以建立一个容纳矛盾的数学基础.