简介:在现存的卡尔·马克思和弗里德里希·恩格斯的手稿中,约有三分之二保存在阿姆斯特丹国际社会史研究所(荷兰)。这些手稿在抵达阿姆斯特丹之前,曾流落于西欧各地,并受到各种政治态势的影响。故事要从卡尔·马克思和弗里德里希·恩格斯自身开始讲起。马克思和恩格斯都出生于德国,尔后游历欧洲各地。1850年左右,他们才在英格兰定居。马克思被德国、法国和比利时驱逐后,来到了伦敦。恩格斯住在曼彻斯特,他的家人在那里有一家纺织工厂。1870年之前,马克思及其家人在伦敦经常搬家,经济窘迫。随后,恩格斯搬到伦敦,他抽出大部分时间和大量金钱,来支持卡尔·马克思。此后,马克思一家终于住进了一所体面的房子,马克思终于有了自己的书房来保存自己的著作和笔记,其中包括他多年来一直在欧洲多地转移迁徙时带着的文件。
简介:次协调逻辑(Paraconsistentlogic)这一术语的主要含义是指,在新逻辑中当矛盾律的有效性被削弱之后,仍要保持一种次于经典逻辑的新的协调性。一般来讲,一个次协调逻辑系统应具备两个条件:1、不协调性,即A和?A部是系统的定理;2、不是过完备的(over—complete),即并非系统内的每一公式都是它的定理。由于次协调逻辑体系允许有意义、有价值的矛盾进入形式系统,并否认矛盾律的普遍性,因此它与数理逻辑和辩证逻辑都有密切的联系。自从1963年巴西逻辑学家达科斯塔创立这门学科以来,已吸引了大批逻辑学家、哲学家和数学家,最近几年又引起计算机科学和人工智能研究者的极大关注,现已成为国际逻辑学界一个新兴的研究领域,它的出现将使人们对逻辑科学产生新的理解。在我国,对次协调逻辑的研究还仅处于起步阶段。本文译自巴西逻辑学家阿鲁达(A.I.Arruda)的《次协调逻辑历史发展的若干问题》(‘Aspestsofthehistoricaldevelopmentofparaconsistentlogic’)一文的第二部分,它详细介绍了次协调逻辑发展的历史渊源,这对我们进一步理解这种新逻辑将有很大帮助。