辩证逻辑的数学化趋势_何华灿.pdfVIP

27 1　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　Vo.l27 No.1 2007 2　　　　　　　　　　　　　 JOURNALOFHECHIUNIVERSITY　　　　　 Feb.2007 , , 　 (　, 　 　710072 ) [　] 　本文首先分析了标准逻辑的局限性, 讨论了人工智能深入发展对逻辑学提出的各种 求, 指出蓬 勃兴起的各种非标准逻辑实质上都在从不同的层次或侧面探索如何处理各种矛盾和不确定性, 它们实质上都在探 讨辩证逻辑的数学化之路。 其次, 简单介绍了作者提出的实现辩证逻辑数学化的规划《泛逻辑学研究纲 》, 及在 纲 指导下建立的《标准命题泛逻辑学》 点, 指出该逻辑系统在包容各种辩证矛盾的同时, 有效地排除了逻辑矛 盾。 文章最后还介绍了世界泛逻辑研究动态和第二届世界泛逻辑大会, 希望引起大家的注意。 [] 　标准逻辑;非标准逻辑;人工智能;数理辩证逻辑;泛逻辑学 [] 　 811　　　[]　A　　　[]　167 2-9021(2007 )01-000