TY - JOUR
T1 - Universal logic theory
T2 - The comprehensive theory of logic
AU - He, Huacan
AU - He, Zhitao
N1 - Publisher Copyright:
© 2025, Author. All rights reserved.
PY - 2025
Y1 - 2025
N2 - The research practice of artificial intelligence in the past 80 years has proved that it cannot be guided by the traditional material discipline paradigm, but needs to change the discipline paradigm and accept the guidance of the information discipline paradigm. Accordingly, logic, as one of the basic theories of the intelligence discipline, also needs to change its logic paradigm, from mathematical formal logic to mathematical dialectical logic. This paper expounds the difference and relationship between mathematical formal logic and mathematical dialectical logic, affirming that the two are the unity of opposites and insufficiencies, and have the relationship of complementing each other and fulfilling their respective functions. The universal logic proposed in this paper can be gradually expanded into mathematical dialectical logic on the basis of mathematical formal logic. Because mathematical formal logic (standard logic, rigid logic) is an idealized basic logic that is fully constrained by "either-or", and mathematical dialectical logic is a higher-level logic that faces the real world with "this and that” or even "this and that",and basic logic is a special case of higher-level logic, just as algebra is a special case of calculus. The mission of universal logic is to gradually release the nnon-this and non-that” of some logical factors on the basis of basic logic, introduce “this and that*1, or even Hnon-this and non-that”,and form a variety of different non-standard logic or super-coordinated logic, which are part of the whole mathematical dialectical logic. Moreover, it is proved that flexible propositional logic operators and flexible neurons can be equivalent in one body and two sides, and neural networks can not be black boxes, but have clear logical meanings. Finally, it is pointed out that mathematical dialectical logic is an open logic system, its boundary can be expanded continuously, there is no upper limit. The universal logic can support the need of the paradigm change of intelligence discipline comprehensively and without dead Angle.
AB - The research practice of artificial intelligence in the past 80 years has proved that it cannot be guided by the traditional material discipline paradigm, but needs to change the discipline paradigm and accept the guidance of the information discipline paradigm. Accordingly, logic, as one of the basic theories of the intelligence discipline, also needs to change its logic paradigm, from mathematical formal logic to mathematical dialectical logic. This paper expounds the difference and relationship between mathematical formal logic and mathematical dialectical logic, affirming that the two are the unity of opposites and insufficiencies, and have the relationship of complementing each other and fulfilling their respective functions. The universal logic proposed in this paper can be gradually expanded into mathematical dialectical logic on the basis of mathematical formal logic. Because mathematical formal logic (standard logic, rigid logic) is an idealized basic logic that is fully constrained by "either-or", and mathematical dialectical logic is a higher-level logic that faces the real world with "this and that” or even "this and that",and basic logic is a special case of higher-level logic, just as algebra is a special case of calculus. The mission of universal logic is to gradually release the nnon-this and non-that” of some logical factors on the basis of basic logic, introduce “this and that*1, or even Hnon-this and non-that”,and form a variety of different non-standard logic or super-coordinated logic, which are part of the whole mathematical dialectical logic. Moreover, it is proved that flexible propositional logic operators and flexible neurons can be equivalent in one body and two sides, and neural networks can not be black boxes, but have clear logical meanings. Finally, it is pointed out that mathematical dialectical logic is an open logic system, its boundary can be expanded continuously, there is no upper limit. The universal logic can support the need of the paradigm change of intelligence discipline comprehensively and without dead Angle.
KW - artificial intelligence
KW - dialectical logic
KW - flexible logic
KW - formal logic
KW - game logic
KW - mathematical logic
KW - unified theories
KW - universal logic
UR - https://www.scopus.com/pages/publications/86000734331
U2 - 10.11992/tis.202311040
DO - 10.11992/tis.202311040
M3 - 文章
AN - SCOPUS:86000734331
SN - 1673-4785
VL - 20
SP - 185
EP - 197
JO - CAAI Transactions on Intelligent Systems
JF - CAAI Transactions on Intelligent Systems
IS - 1
ER -