容纳矛盾逻辑系统与悖论

被引：3
作者：
张金成
机构：
[1] 中央党校函授学院
来源：
智能系统学报 | 2012年 / 7卷 / 03期
关键词：
逻辑系统; 矛盾; 悖论; 正域; 反域; 不动域; 次协调逻辑系统.;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
分析了目前各种容纳矛盾逻辑系统的不足,提出了正域、反域、不动域的概念,进而发现悖论是逻辑思维领域的不动点,建立了一个容纳矛盾的逻辑系统S,并给出了系统S的语义模型,证明了系统S的元定理.在系统S中,命题演算被分成3个独立的域,正域、反域中所有经典逻辑的定理与演算模式都是有效的;不动域是一个包含矛盾的域,在不动域中,可以证明悖论是一个定理.系统S与Da Costa的次协调逻辑系统Cn相比较,它不但可以容纳矛盾,并且可以把矛盾解释清晰.以此逻辑系统为基础,可以建立一个容纳矛盾的数学基础.
引用
收藏
页码：206 / 213
页数：8
相关论文
共 8 条
[1]  
次协调逻辑与人工智能.[M].桂起权等著;.武汉大学出版社.2002,
[2]  
泛逻辑学原理.[M].何华灿等著;.科学出版社.2001,
[3]  
不动点定理.[M].张奠宙;顾鹤荣著;.辽宁教育出版社.1989,
[4]  
不动点类理论.[M].江泽涵著;.科学出版社.1986,
[5]  
元数学导论.[M].[美]S·C·克林 著.科学出版社.1984,
[6]  
几何基础.[M].傅章秀 编.北京师范大学出版社.1984,
[7]  
数理逻辑基础.[M].胡世华;陆钟万 著.科学出版社.1981,
[8]   辩证逻辑形式化的研究纲领 [J].
桂起权 ;
陈晓平 .
云南社会科学, 1992, (05) :43-49
1