次协调逻辑——辩证逻辑形式化的阶梯

<正> "次协调逻辑"(para-consistent logic)这个术语意味着,新逻辑的协调性次于经典逻辑,但又远高于完全不协调系统。换句话说,在新逻辑中当矛盾律的有效性减弱之后,仍能保持一种稍逊的协调性。次协调逻辑是近二、三十年来兴起于国际逻辑界的一种新思潮。它是作为一种颇带革命性的非经典逻辑而出现的,它允许"有意义的矛盾"进入形式演算系统,并否认矛盾律的普遍有效性,因此与数理逻辑、辩证逻辑都有密切的联系。这样,就不能不引起人们的浓厚兴趣。次协调逻辑产生于本世纪50年代,在70—80年代吸引了大批的逻辑学家、哲学家和数学家,目前已发展成一个独立的研究领域,对逻辑、哲学与集合论等学科都产生了相当的影响。巴西、澳大利亚、东欧、意大利乃至美国和苏联等国家和地区的学者都积极参与这个新领域的研究。