摘要
如果一个构建出的形式化的系统可以将辩证法的三个基本规律容纳进去,并通过分析、概括、解释和重建,再现辩证法的本质,那么我们称这一过程为"辩证法的形式化",称这个形式化系统为"形式化的辩证法"。通过对形式逻辑的哲学性质进行分析可以看出,在形式逻辑的发展过程中,不乏辩证思维的引导和参与,辩证法的思维方式对于形式逻辑尤其是现代逻辑的发展具有重要的意义。辩证法可以构建出形式化的系统,形式逻辑的发展过程也蕴含着辩证法的精神。在某些条件下,辩证法和形式逻辑可以走向融合发展的道路。
If one of the formal system can accommodate the three basic laws of dialectics, it can be called formal dialectics by the analysis , interpretation , summarizing and reconstruction to reproduce the nature of dia- lectics. By the analysis of the philosophical nature of formal dialectics, it can be seen that in the process of the development of formal logic , it is not a lack of guidance and participation of the dialectical thinking. Dialec- ticThinking is very important to the development of formal logic especially to modem logic. Dialectics can construct the formal system. The process of the development of formal logic also contains the spirit of dialectics. Under some conditions , dialectics and formal logic can take the road of fusion development.
出处
《内蒙古社会科学》
CSSCI
北大核心
2016年第5期52-58,共7页
Inner Mongolia Social Sciences
基金
国家社科基金重大项目"现代归纳逻辑的新发展
理论前沿与应用研究"(编号:2015ZDB018)
关键词
辩证法
形式化
形式逻辑
辩证化
Dialectics
Formalized
Formal Logic
Dialectical
