简介:次协调逻辑(Paraconsistentlogic)这一术语的主要含义是指,在新逻辑中当矛盾律的有效性被削弱之后,仍要保持一种次于经典逻辑的新的协调性。一般来讲,一个次协调逻辑系统应具备两个条件:1、不协调性,即A和?A部是系统的定理;2、不是过完备的(over—complete),即并非系统内的每一公式都是它的定理。由于次协调逻辑体系允许有意义、有价值的矛盾进入形式系统,并否认矛盾律的普遍性,因此它与数理逻辑和辩证逻辑都有密切的联系。自从1963年巴西逻辑学家达科斯塔创立这门学科以来,已吸引了大批逻辑学家、哲学家和数学家,最近几年又引起计算机科学和人工智能研究者的极大关注,现已成为国际逻辑学界一个新兴的研究领域,它的出现将使人们对逻辑科学产生新的理解。在我国,对次协调逻辑的研究还仅处于起步阶段。本文译自巴西逻辑学家阿鲁达(A.I.Arruda)的《次协调逻辑历史发展的若干问题》(‘Aspestsofthehistoricaldevelopmentofparaconsistentlogic’)一文的第二部分,它详细介绍了次协调逻辑发展的历史渊源,这对我们进一步理解这种新逻辑将有很大帮助。
简介:在坚持和发展中国特色社会主义的伟大实践中,必须在贯彻落实“五大发展理念”中协调推进“四个全面”战略布局。贯彻落实“五大发展理念”是全面建成小康社会的先导,要以创新的理念破解发展难题,协调的理念统筹经济发展和社会发展,绿色的理念破解经济发展与资源环境之间的矛盾,开放的理念奉行互利共赢的发展战略,共享的理念着力打造全体人民的民生幸福。贯彻落实“五大发展理念”是全面深化改革的前提,要以创新的理念形成破解改革难题的新举措,协调的理念推进改革各项举措的系统性、整体性,绿色的理念疏通改革道路上的一切障碍,开放的理念营造透明、公正的改革氛围,共享的理念落实好各项惠民政策和民生工程。贯彻落实“五大发展理念”是全面依法治国的基础,要以创新的理念加快形成完备的法律规范体系,协调的理念营造国家硬实力和软实力同步提升的法治保障,绿色的理念营造公平正义的法治环境,开放的理念推动全社会牢固树立法治思维,共享的理念让人民群众在每一个司法案件中感受到公平正义。贯彻落实“五大发展理念”是全面从严治党的基石,要以创新的理念切实加强党的领导,协调的理念处理好党的建设与党的领导的关系,绿色的理念推动党内形成健康有序、生动活泼的政治局面,开放的理念吸取本国和其他国家的历史经验与教训,共享的理念保障党内不同群体的利益诉求。