简介:次协调逻辑(Paraconsistentlogic)这一术语的主要含义是指,在新逻辑中当矛盾律的有效性被削弱之后,仍要保持一种次于经典逻辑的新的协调性。一般来讲,一个次协调逻辑系统应具备两个条件:1、不协调性,即A和?A部是系统的定理;2、不是过完备的(over—complete),即并非系统内的每一公式都是它的定理。由于次协调逻辑体系允许有意义、有价值的矛盾进入形式系统,并否认矛盾律的普遍性,因此它与数理逻辑和辩证逻辑都有密切的联系。自从1963年巴西逻辑学家达科斯塔创立这门学科以来,已吸引了大批逻辑学家、哲学家和数学家,最近几年又引起计算机科学和人工智能研究者的极大关注,现已成为国际逻辑学界一个新兴的研究领域,它的出现将使人们对逻辑科学产生新的理解。在我国,对次协调逻辑的研究还仅处于起步阶段。本文译自巴西逻辑学家阿鲁达(A.I.Arruda)的《次协调逻辑历史发展的若干问题》(‘Aspestsofthehistoricaldevelopmentofparaconsistentlogic’)一文的第二部分,它详细介绍了次协调逻辑发展的历史渊源,这对我们进一步理解这种新逻辑将有很大帮助。
简介:《周易》涵具着卓异的“时的哲学”的智慧。《周易》“时的哲学”发轫于古经而成熟于《易传》。这一哲学晓示人们,包括人在内的宇宙万象,都是时的存在。人所值的时与该时下所存在之一切,相对于人就具有了遇的意义;时遇是人所不可自主选择的,但人却完全可以成为时遇的成功回应者与驾驭者;挺立人在时遇中的主体性,应时因机适遇而同时遇脉动之流相偕成一体,凭借方法论上的“时中”,人才能最大限度地创拓出自己人生德与业上的辉煌。自战国时代起,这一哲学又与孔子、孟子等的相关慧见渐次融而为一。从此,“时的哲学”成了儒家的基本哲学;“时的哲学”的精神,成了中华民族的基本精神之一。中华民族成为一自强不息、与时俱进、德业日新的伟大民族。