辩证逻辑形式化中的哲学问题
Philosophical Aspects in the Formalization of Dialectical Logic

长期以来，中国逻辑学界围绕“辩证逻辑”的主要争议是这一逻辑是否可能存在。这种仅仅围绕基本概念的讨论因缺乏共识而难以为继，在现代逻辑的研究范式冲击下逐渐消亡。本文试图为读者展现一种近年来为学界逐渐接受的更加务实的方法。这种方法旨在考虑形式逻辑表达哲学上的“辩证”概念，并将其视为逻辑系统正当性的来源。这一进路促使国内不同领域的学者们先后提出了多种相互竞争的辩证逻辑。进一步，尽管对辩证这一概念的理想翻译可能是不存在的，但我们没有理由将这样一种尚在探索的逻辑排除在逻辑家族之外。