简介：次协调逻辑（Paraconsistentlogic）这一术语的主要含义是指,在新逻辑中当矛盾律的有效性被削弱之后,仍要保持一种次于经典逻辑的新的协调性。一般来讲,一个次协调逻辑系统应具备两个条件:1、不协调性,即A和?A部是系统的定理;2、不是过完备的（over—complete）,即并非系统内的每一公式都是它的定理。由于次协调逻辑体系允许有意义、有价值的矛盾进入形式系统,并否认矛盾律的普遍性,因此它与数理逻辑和辩证逻辑都有密切的联系。自从1963年巴西逻辑学家达科斯塔创立这门学科以来,已吸引了大批逻辑学家、哲学家和数学家,最近几年又引起计算机科学和人工智能研究者的极大关注,现已成为国际逻辑学界一个新兴的研究领域,它的出现将使人们对逻辑科学产生新的理解。在我国,对次协调逻辑的研究还仅处于起步阶段。本文译自巴西逻辑学家阿鲁达（A.I.Arruda）的《次协调逻辑历史发展的若干问题》（‘Aspestsofthehistoricaldevelopmentofparaconsistentlogic’）一文的第二部分,它详细介绍了次协调逻辑发展的历史渊源,这对我们进一步理解这种新逻辑将有很大帮助。

简介：二十世纪后期以来，再也没有哪一种逻辑像次协调逻辑那样，在取得丰富研究成果的同时，也领略到了极为尖锐的批判，仿佛其本身就是一种意味深长的“矛盾”。依照次协调逻辑“真矛盾”的观点所构建的次协调逻辑系统，夷非所思地试图要容纳我们所认知的悖论、辩证矛盾、甚至逻辑矛盾。次协调逻辑试图要和悖论永久共存，但我们可以为了暂时的搁置这种矛盾，发展某理论的其他方面而接受这种逻辑技术。次协调逻辑在反映人脑的容错机制上具有重要的描述功能，这对提高计算机的智能化具有十分重要的实践意义。

简介：

简介：

简介：1．统一收稿人。收稿人负责覆盖稿件作者姓名，并将覆盖了作者姓名的稿件打印交给编辑部。2。由编辑部根据稿件内容聘请国内外该问题研究著名专家对匿名稿件进行评审，并将通过审阅的稿件匿名提交编辑部。

简介：企业精神具有客观性、稳定性、价值取向性与鲜明个性。在建立现代企业制度过程中培育企业精神,有利于企业形成独特的经营哲学,增强内部凝聚力,实现管理现代化和科学化,促进精神文明建设。当前,我国企业精神正处在形成过程中,应着重突出企业精神的个性化、具体化、人情味,以促进现代企业制度的建立和完善。