论第2次数理逻辑革命

On the second revolution of mathematical logic

人工智能理论危机暴露了经典数理逻辑的局限性,各种非经典数理逻辑的大量涌现表明,第2次数理逻辑革命已经开始.为了使各种逻辑能在统一的泛逻辑学框架内协调一致地发展,为人工智能提供新的逻辑理论基础,提出了第2次数理逻辑革命的总纲领:实现部分辨证逻辑的数学化,建立可包容各种不确定性、矛盾和演化的柔性逻辑学;根据总纲领和逻辑学4要素,提出了革命的若干具体纲领,并指出当前最重要的任务是建立柔性命题逻辑学,它是建立整个柔性逻辑学的基石.根据纲领建立了柔性命题逻辑学,表明它可包容或生成各种命题逻辑.

The theoretical crisis of artificial intelligence exposed the limits of classical mathematical logic. At present, the second revolution of mathematical logic, which was revealed by the establishment of various nonclassical mathematical logics, have begun. In order to make all kinds of logic develop in the unified universal logics framework and provide the new logic foundation for AI, firstly , the general creed of this revolution was proposed to make some dialectical logic mathematicalized, and to establish flexible logics which contained various uncertainty, contradiction and evolvement; Secondly, regarding the general creed and four elements of logic, the concrete creed of the revolution was proposed and it was pointed out that the current important task was to establish flexible propositional logics, which was the footstone of the entire flexible logics. The flexible proposition logic, which could contain or generate various proposition logics, had been established regarding the creed.