| 葛宇宁.辩证法形式化的批判性思考[J].唐山学院学报,2016,29(4):42-47,100 |
| 辩证法形式化的批判性思考 |
| A Critical Research into the Formalization of Dialectics |
| |
| DOI：10.16160/j.cnki.tsxyxb.2016.04.008 |
| 中文关键词: 辩证法 辩证逻辑 形式化 经典逻辑 |
| 英文关键词: dialectics dialectical logic formalization classical logic |
| 基金项目:河南理工大学博士基金项目（SKB2015-5） |
|
| 摘要点击次数: 6953 |
| 全文下载次数: 5530 |
| 中文摘要: |
| 自二十世纪八十年代，随着现代逻辑在国内的复兴，一部分学者开始思考并着手使辩证法形式化、数理逻辑化，从而建构辩证数理逻辑体系。但是，这种做法一开始便遇到另外一部分学者的反对，从而引起持续至今的长期争论。实际上，支持辩证法形式化的理由都是有问题的，长久的实践结果也证明了这条路是没有前途的。辩证法可以有条件地采取一些形式化的方法来进行研究，而辩证法本身则是永远不能形式化的，这是因为辩证法的根本精神、主体以及基本特性都是与形式化不相容的。 |
| 英文摘要: |
| 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. |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |