简介:次协调逻辑(Paraconsistentlogic)这一术语的主要含义是指,在新逻辑中当矛盾律的有效性被削弱之后,仍要保持一种次于经典逻辑的新的协调性。一般来讲,一个次协调逻辑系统应具备两个条件:1、不协调性,即A和?A部是系统的定理;2、不是过完备的(over—complete),即并非系统内的每一公式都是它的定理。由于次协调逻辑体系允许有意义、有价值的矛盾进入形式系统,并否认矛盾律的普遍性,因此它与数理逻辑和辩证逻辑都有密切的联系。自从1963年巴西逻辑学家达科斯塔创立这门学科以来,已吸引了大批逻辑学家、哲学家和数学家,最近几年又引起计算机科学和人工智能研究者的极大关注,现已成为国际逻辑学界一个新兴的研究领域,它的出现将使人们对逻辑科学产生新的理解。在我国,对次协调逻辑的研究还仅处于起步阶段。本文译自巴西逻辑学家阿鲁达(A.I.Arruda)的《次协调逻辑历史发展的若干问题》(‘Aspestsofthehistoricaldevelopmentofparaconsistentlogic’)一文的第二部分,它详细介绍了次协调逻辑发展的历史渊源,这对我们进一步理解这种新逻辑将有很大帮助。
简介:关于犁的起源有不同说法。一种意见认为商周之际牛耕出现之后才产生了犁;另一种意见认为,远在牛耕出现的新石器时代晚期就有了石犁。笔者赞同后者,并认为耕犁的起源,不能以牛耕的出现为依据,而应以耕作农具的演变为线索。随着我国考古工作的开展,大批石制农具的出土,为这一研究提供丰富的实物资料。在我国南方马家浜文化,良渚文化遗址中曾发现一种三角形石器。对此,目前考古界尚有不同看法,有的称犁形器或破土器;有的认为,它仍是原始农具的石耜冠。根据对这种三角形石器形制,特点及其耕作方式的分析,笔者认为已不是原始农具的耜,而具有犁的基本形体与特征,拟称原始石犁为妥,即是耕犁的滥觴。
简介:本文从众多文献资料中探讨了女巫和妓女的起源,认为上古女巫创造了歌舞,具备了以歌舞娱神,以性交通神的伎能,地位十分尊贵。因君王贪图享乐,促成女巫转为娱君、娱人的妓女。因此,妓女的起源与原始宗教的关系极为密切