| 辩证法形式化的批判性思考 |
| |
| 引用本文： | 葛宇宁.辩证法形式化的批判性思考[J].唐山学院学报,2016,29(4):42-47,100. |
| |
| 作者姓名： | 葛宇宁 |
| |
| 作者单位： | 河南理工大学 马克思主义学院, 河南 焦作 454000 |
| |
| 基金项目： | 河南理工大学博士基金项目（SKB2015-5） |
| |
| 摘 要： | 自二十世纪八十年代,随着现代逻辑在国内的复兴,一部分学者开始思考并着手使辩证法形式化、数理逻辑化,从而建构辩证数理逻辑体系。但是,这种做法一开始便遇到另外一部分学者的反对,从而引起持续至今的长期争论。实际上,支持辩证法形式化的理由都是有问题的,长久的实践结果也证明了这条路是没有前途的。辩证法可以有条件地采取一些形式化的方法来进行研究,而辩证法本身则是永远不能形式化的,这是因为辩证法的根本精神、主体以及基本特性都是与形式化不相容的。
|
| 关 键 词： | 辩证法 辩证逻辑 形式化 经典逻辑 |
A Critical Research into the Formalization of Dialectics |
| |
| GE Yu-ning.A Critical Research into the Formalization of Dialectics[J].Journal of Tangshan College,2016,29(4):42-47,100. |
| |
| Authors: | GE Yu-ning |
| |
| Institution: | School of Marxism, Henan Polytechnic University, Jiaozuo 454000, China |
| |
| Abstract: | Since the 1980s, with the revival of the modern logic in China, some scholars have begun to reflect on and formalize dialectics, so as to construct the dialectical logic system of mathematics. However, these efforts have caused a long-term controversy that has continued now. In fact, the reasons for the support of the dialectical method are defective, and the results have proved that the approach is not promising. Dialectics can be researched into with the dialectical method, but dialectics itself can never be formalized. This is because the fundamental spirit, the subject and the basic characteristics of the dialectical method are incompatible with the formalization. |
| |
| Keywords: | dialectics dialectical logic formalization classical logic |
|
| 点击此处可从《唐山学院学报》浏览原始摘要信息 |
| 点击此处可从《唐山学院学报》下载免费的PDF全文 |
|
