关于辩证逻辑形式化问题

On the Formalization of Dialectic Logic

辩证逻辑的研究重心究竟是什么 ,这是关于辩证逻辑发展的一个关键问题。从 2 0世纪 80年代末开始 ,有人提出应当把研究重心放在对它的形式化上 ,并为此付出了不懈努力。但是 ,我认为在这门学科尚未完全成熟的情况下 ,谈论如何对它进行形式化为时尚早 ,并且形式化也不是判断辩证逻辑是否是逻辑的标准。现在建立辩证逻辑形式系统的条件还不成熟 ,目前的关键是要搞清楚辩证思维的内在结构和机制 ,然后才能考虑使用何种语言 (包括人工语言 )

What's the research core of dialectic logic on earth? It is a key question about how to develop it. From the late eighties of the twentieth century, some logicians thought that the research core of dialectic logic should be it's formalization, and they had made great efforts for this. But the author thinks that this subject is not fully developed yet, so, it's too early to talk about formalizing it. Furthermore, formalization is also not the criterion of determining whether the dialectic logic is logic or not. The author holds that the reason for constructing formal system of dialect logic is not sufficient. At the present time, exploring it's internal structure and machanism is the sticking point, and our task afterward is using which language (including artificial language) to describe it.