辩证逻辑的数学化趋势

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

Mathematics Trend of Dialectical Logic

Firstly,the limitation of standard logic is analysed in this paper.Various demands to logics proposed by the further development of artificial intelligence are discussed.and it also proposed that various kinds of non-standard logics that rise vigorously explore from different level or side on how to deal with various kinds of contradiction and uncertainty,they are probing into the mathematics way of dialectical logic.Secondly,the realization of dialectical logic mathematics research planning" Research outline of universal logics"put forward by the authors is introduced briefly,and the main point of" the standard proposition universal logics" set up under the guidance of the outline is also introduced.This logic system is pointed out that while forgiving various kinds of dialectical contradictions,the system have got rid of the logical contradiction effectively.Finally,the world universal logic research status and the 2nd World Congress on Universal Logic are introduced in the article,hoping to bring everybody's attention.