简介:次协调逻辑(Paraconsistentlogic)这一术语的主要含义是指,在新逻辑中当矛盾律的有效性被削弱之后,仍要保持一种次于经典逻辑的新的协调性。一般来讲,一个次协调逻辑系统应具备两个条件:1、不协调性,即A和?A部是系统的定理;2、不是过完备的(over—complete),即并非系统内的每一公式都是它的定理。由于次协调逻辑体系允许有意义、有价值的矛盾进入形式系统,并否认矛盾律的普遍性,因此它与数理逻辑和辩证逻辑都有密切的联系。自从1963年巴西逻辑学家达科斯塔创立这门学科以来,已吸引了大批逻辑学家、哲学家和数学家,最近几年又引起计算机科学和人工智能研究者的极大关注,现已成为国际逻辑学界一个新兴的研究领域,它的出现将使人们对逻辑科学产生新的理解。在我国,对次协调逻辑的研究还仅处于起步阶段。本文译自巴西逻辑学家阿鲁达(A.I.Arruda)的《次协调逻辑历史发展的若干问题》(‘Aspestsofthehistoricaldevelopmentofparaconsistentlogic’)一文的第二部分,它详细介绍了次协调逻辑发展的历史渊源,这对我们进一步理解这种新逻辑将有很大帮助。
简介:<正>以前在哈佛大学商学院执教,现任斯坦福大学教授的约翰·科阿曾这样告诫他的学生和客户:“我们毕竟生活在一个由权力社会向知识社会、由等级社会向网络社会、由喝脱脂奶的社会向喝2%脱脂奶社会转变的时代,你必须毫不怜惜地抛弃各种妨碍创造性的因素:标准的运作程序、礼仪、行为准则、限制性的品牌形象和对以往成功满怀崇敬的记忆”.事实上,以网络技术为核心的“知识经济”革命已向人们展示了比以往更丰富、更广泛的生活空间,极大地改变了人们的生产、生活方式,加速了社会文明的进程,使我们不得不置身于一个全新的生存境遇之中.全新的生存境遇需要全新的生存战略来应付,这是“知识经济时代”我们面临的最基本的挑战.
简介:除却逻辑与历史相统一的方法,马克思在《〈政治经济学批判〉导言》中还重点阐述了生产总体辩证法。这一哲学方法以资产阶级政治经济学的经验论方法为“靶子”,通过反思后者强调的物质生产基础来证实自身的合理性。它秉承了唯物史观的出发点,在将现实的个人及其一定社会性质的物质生产作为逻辑起点的同时,诉诸生产一般与生产特殊之间辩证关系的分析,完成理论前提的建构。在此基础上,马克思揭示出以生产为起点的有机体及其辩证运动,从而构成生产总体辩证法的核心内容,并运用到关于货币形式与资本一般的诠释过程中。此外,他还力图解决物质生产与精神生产的平衡问题,最终使生产总体辩证法成为一个逻辑严整、义理丰满的动态结构。