辩证逻辑的数学化趋势

摘要

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