辩证逻辑形式化的研究纲领

<正> 近年来,哲学逻辑、非经典逻辑发展的势头很猛,现在是总结其一般特征、通用原理和示向原则的时候了！由于我们特别感觉到辩证逻辑形式化已经出现新的转机,因此本文主要关心的是辩证逻辑这个特例。 1.“哲学逻辑论题”。早在1982年全国第二届辩证逻辑讨论会上就有人提出,辩证逻辑是一种“哲学逻辑”(李志才);一种“非经典逻辑”(桂起权)。(见[1]等18页和第4页)美国逻辑学家雷歇尔(N.Rescher)将“哲学逻辑”一词用作富有哲学意味的各种非经典逻辑,我们赞成这一种用法(它与牛津传统学者的“语言哲学用法”不同)。正如“数理逻辑”(即数学逻辑)一词表明了一种与数学和数学基础密切相关的逻辑研究;相对地,