论文部分内容阅读
以1950-1960年代的研究作为参照系,我国辩证逻辑思辨性的、使用日常语言的研究方式至今仍然保持青春活力,它为形式化研究提供原型并且富有启发性;更可喜的是,1990年代辩证逻辑形式化研究取得突破性进展。争论焦点已经从＂能不能形式化＂转移到＂什么样的形式化更好＂,这是新阶段的主要标志。2000年之后,从事计算机人工智能研究的学者开始热情关注并积极投入到辩证逻辑形式化的研究中。本文的基本定位是把辩证逻辑看成一种富有哲理性的非经典逻辑。