从易经逻辑到数理辩证逻辑

From Logic in The Book of Yi to Mathematical Dialectic Logic

早在6000多年前,中国先人就创造了以爻卦为命题形式,以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后,又给出了爻辞和卦辞的语义解释系统。后来,又给出了《易经》的语义和语用解释系统。它自古至今,长盛不衰,成为中国的传统逻辑、文化发展的活水源头。以互补结构整体思想的形式结构和推理有效式规律为研究对象的数理辩证逻辑,是以易经逻辑为其辩证逻辑基础的,它又是易经逻辑的一致性扩大系统。它为实现易经逻辑的现代化发展提供了现代逻辑形式化方法。易经逻辑形式公理系统DPA++就是其现代化形式公理系统。

As early as 6000 years ago, ancient Chinese created proposition forms using Yao - Gua and dialectic logic formal deductive systems using 8 - Gua and 64 - Gua. Thereafter, the interpretation systems of the semantic meanings for Yao and Gua were also created. Even later, the interpretation systems of the semantic meanings and the applications of The Book of Yi were created. For thousands of years, The Book of Yi has been the living sources of China＇ s traditional logic and culture. Mathematical dialectic logic has as its subject the formal structure and the rules of valid reasoning of complementary - structure - thoughts, which is based on the logic in The Book of Yi as its dialectic logic basis, and is also the consistent extension of the logic in the ,Book of Yi. Mathematical dialectic logic provides modem logic formalization methodologies for the modernization of the logic of the Book of Yi. The DPA ^＋＋ logic formal axiomatic systems explained in this paper which were founded in The Book of Yi is the modernized form of formal axiomatic systems.