逻辑学研究

Study on the Formalization of Dialectical Logic from the Logic Philosophy Perspective

从逻辑哲学的眼光看，辩证逻辑应当定位于一种独特的、富有哲理性的非经典逻辑，因此它归属于逻辑，而辩证法作为它的原型则归属于哲学。辩证逻辑形式体系所追求的总体目标是越来越恰当地刻画、再现辩证法原型中的本质特征。我们所钟爱的辩证逻辑兼有次协调逻辑、相干逻辑和模糊逻辑这样的形式特性。辩证逻辑形式化研究并非只有独一无二的表现形式，相反，它可以有多元化的进路。

From the viewpoint of philosophy of logic, dialectical logic should be positioned as a unique non-classical logic with philosophical thoughts, a category of logic, whereas dialectics as the prototype of dialectical logic, a category of philosophy.The general goal of formal systems of dialectical logic is to adequately describe and represent the essential characteristics in the prototypes of dialectics. Dialectical logic has some formal properties of paraconsistent logic, relevant logic and fuzzy logic.However, studies on the formalization of dialectical logic could have plural approaches.