简介:次协调逻辑(Paraconsistentlogic)这一术语的主要含义是指,在新逻辑中当矛盾律的有效性被削弱之后,仍要保持一种次于经典逻辑的新的协调性。一般来讲,一个次协调逻辑系统应具备两个条件:1、不协调性,即A和?A部是系统的定理;2、不是过完备的(over—complete),即并非系统内的每一公式都是它的定理。由于次协调逻辑体系允许有意义、有价值的矛盾进入形式系统,并否认矛盾律的普遍性,因此它与数理逻辑和辩证逻辑都有密切的联系。自从1963年巴西逻辑学家达科斯塔创立这门学科以来,已吸引了大批逻辑学家、哲学家和数学家,最近几年又引起计算机科学和人工智能研究者的极大关注,现已成为国际逻辑学界一个新兴的研究领域,它的出现将使人们对逻辑科学产生新的理解。在我国,对次协调逻辑的研究还仅处于起步阶段。本文译自巴西逻辑学家阿鲁达(A.I.Arruda)的《次协调逻辑历史发展的若干问题》(‘Aspestsofthehistoricaldevelopmentofparaconsistentlogic’)一文的第二部分,它详细介绍了次协调逻辑发展的历史渊源,这对我们进一步理解这种新逻辑将有很大帮助。
简介:毛泽东一身而兼具理论家和实践家双重身份,因而其理论活动便不可避免的会具有理论旨趣与实践旨趣双重性质,同时,对于一种哲学来说,解释世界与改变世界这双重功能,由于理论与实践关联的复杂性,很可能会在二者之间会出现不一致性。因此之故,这两者之间的不一致性在兼具理论家和实践家双重身份的毛泽东那里,有着特别典型的体现。就当时以苏联教科书为代表的马克思主义哲学而言,一方面,这种决定论的理论体系由于其具有马克思所说的理论上的彻底性,能够有效的用于掌握群众,从而不可弃绝之,但另一方面,又由于这种决论的理论不仅从逻辑上使得改变世界的行动成为不可能之事,而且还由于其抽象性、僵硬性而往往导致实践或行动的失败,因而又必须予以严厉批判。但既然这两方面都为成功的政治实践之所所必须,则尽管两个方面难于兼容,但却必须使之并存。这似乎便是毛泽东具有两种哲学之缘由。推而广之,对于任何兼具理论家与实践家的人来说,如果他既要正确地行动,同时又要掌握群众去行动,则其若要成功,必定需要两种哲学,一种用于掌握群众,另一种则用于正确地行动。这样,这种两种哲学的视野便可以作为一种方法论原则,去分析任何政治实践中的不同理论倾向及其间的张力问题。进而,对于一个行动着的理论家或者说对于一个需要理论指导和凝聚人心的政治集团来说,分别适应于正确行动和掌握群众的两种哲学的并存也表明,要想掌握群众,或许用一种理论上彻底的外来哲学理论便可,但要想成功地行动,或者说发展一种能够成功的行动的哲学,却必得借助于传统思维方式方有可能奏效。