简介:次协调逻辑(Paraconsistentlogic)这一术语的主要含义是指,在新逻辑中当矛盾律的有效性被削弱之后,仍要保持一种次于经典逻辑的新的协调性。一般来讲,一个次协调逻辑系统应具备两个条件:1、不协调性,即A和?A部是系统的定理;2、不是过完备的(over—complete),即并非系统内的每一公式都是它的定理。由于次协调逻辑体系允许有意义、有价值的矛盾进入形式系统,并否认矛盾律的普遍性,因此它与数理逻辑和辩证逻辑都有密切的联系。自从1963年巴西逻辑学家达科斯塔创立这门学科以来,已吸引了大批逻辑学家、哲学家和数学家,最近几年又引起计算机科学和人工智能研究者的极大关注,现已成为国际逻辑学界一个新兴的研究领域,它的出现将使人们对逻辑科学产生新的理解。在我国,对次协调逻辑的研究还仅处于起步阶段。本文译自巴西逻辑学家阿鲁达(A.I.Arruda)的《次协调逻辑历史发展的若干问题》(‘Aspestsofthehistoricaldevelopmentofparaconsistentlogic’)一文的第二部分,它详细介绍了次协调逻辑发展的历史渊源,这对我们进一步理解这种新逻辑将有很大帮助。
简介:海德格尔指出现代技术的根源在技艺(tehne),但其中艺术的一面受到压抑,因而此技术的本质就被硬化为强逼产出的座架,超出了人类的掌控.这个转变的深层原因是古希腊就出现了的“数学因素”它通过笛卡尔的主客二元化使世界成为被主体表象的图象,万物成为确定的客体.要摆脱座架的控制,必须重现技艺的艺术维度,让它“自身缘构发生”(Erelgms)的柔性允诺性重新主导技术.在这方面,海德格尔和海森堡都曾从老庄之道中得到过启发或与之产生了共鸣.儒家会十分欣赏海德格尔对现代技术本质的批判,特别是这种批判与归家思想的结合.但是,儒家要指出海德格尔的批判的不足,它忽视了个体主义对座架的促成力和单向度的存在论区分导致的忽视实际家庭的家园观,由此而使得他的解决方案稀松无根.只有以家庭为源头的有机社团,不管是儒家的还是阿米什人的,才可能摆脱现代技术本质对人的裹挟.
简介:本文以《资本论》及其手稿为例介绍了MEGA2即历史上第二次启动的马恩全集历史考证版的编纂工作和特征。作者指出,马克思和恩格斯之间的差异,以及马克思研究工作方式的开放性,是MEGA2这一历史考证版力图展现的两个重点,这一全集版本将开启通向马克思与恩格斯及其浩瀚著作的新入口。文章主体分三个部分,第一部分以《资本论》及其手稿的写作过程为例考察了马克思的工作方式,即他在研究写作中体现出的作为修改者和收集者的特征;第二部分以MEGA2中《资本论》及其手稿的编纂为例,介绍了这一历史考证版是如何展现马克思的工作方式,以及作者马克思和编者恩格斯之间差异的;第三部分介绍了目前网络空间里MEGA2的发布情况。(摘要为译者补充)