辩证逻辑和形式逻辑的关系,是逻辑学界多年来一直讨论的问题。这种讨论对于理解形式逻辑的实质和特征是大有帮助的,对于辩证逻辑这门学科的建树也颇具益处。然而,要真正弄清楚这两个逻辑的共性和差异,就必须明了理论思维过程中的两类矛盾。所谓理论思维,是指以概念和概念体系的形式揭示事物本质和规律的思维,包括抽象思维和辩证思维两个不可分割的阶 The relationship between dialectical logic and formal logic is what the logic community has been discussing for many years. This kind of discussion is of great help in understanding the essence and characteristics of formal logic, and is also beneficial to the success of the discipline of dialectical logic. However, to truly understand the commonalities and differences between these two logics, we must understand the two types of contradictions in the theoretical thinking process. The so-called theoretical thinking refers to the concept and conceptual system to reveal the nature of things and the law of thinking, including abstract thinking and dialectical thinking of two indivisible