Skip to main navigation Skip to search Skip to main content

Universal logic theory: The comprehensive theory of logic

  • Northwestern Polytechnical University Xian

Research output: Contribution to journalArticlepeer-review

Abstract

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.

Original languageEnglish
Pages (from-to)185-197
Number of pages13
JournalCAAI Transactions on Intelligent Systems
Volume20
Issue number1
DOIs
StatePublished - 2025

Keywords

  • artificial intelligence
  • dialectical logic
  • flexible logic
  • formal logic
  • game logic
  • mathematical logic
  • unified theories
  • universal logic

Fingerprint

Dive into the research topics of 'Universal logic theory: The comprehensive theory of logic'. Together they form a unique fingerprint.

Cite this