简介:次协调逻辑(Paraconsistentlogic)这一术语的主要含义是指,在新逻辑中当矛盾律的有效性被削弱之后,仍要保持一种次于经典逻辑的新的协调性。一般来讲,一个次协调逻辑系统应具备两个条件:1、不协调性,即A和?A部是系统的定理;2、不是过完备的(over—complete),即并非系统内的每一公式都是它的定理。由于次协调逻辑体系允许有意义、有价值的矛盾进入形式系统,并否认矛盾律的普遍性,因此它与数理逻辑和辩证逻辑都有密切的联系。自从1963年巴西逻辑学家达科斯塔创立这门学科以来,已吸引了大批逻辑学家、哲学家和数学家,最近几年又引起计算机科学和人工智能研究者的极大关注,现已成为国际逻辑学界一个新兴的研究领域,它的出现将使人们对逻辑科学产生新的理解。在我国,对次协调逻辑的研究还仅处于起步阶段。本文译自巴西逻辑学家阿鲁达(A.I.Arruda)的《次协调逻辑历史发展的若干问题》(‘Aspestsofthehistoricaldevelopmentofparaconsistentlogic’)一文的第二部分,它详细介绍了次协调逻辑发展的历史渊源,这对我们进一步理解这种新逻辑将有很大帮助。
简介:存在问题在分析哲学的背景下取得了深入细致的研究成果。在“何谓存在”问题上,围绕“存在”是不是个体的属性从而是不是逻辑谓词的争论呈现出三派观点:弗雷格、罗素等从一阶逻辑出发,认为“存在”不是逻辑谓词,而是量词;皮尔士、斯特劳森等结合精致的自然语言分析,认为“存在”在某些特殊情况下表达了个体的属性,是一种特殊的谓词;自由逻辑学家则从自由逻辑的角度给出了肯定的答案。在“何物存在”问题上,蒯因“存在就是约束变项的值”的本体论承诺标准机智地揭示了存在问题的语言学实质。可以说,利用一阶逻辑解释存在问题的方法是比较成功的。如果将弗雷格、罗素的一阶语言扩展到高阶语言,则既能与蒯因的理论连贯一致,又能避免无谓的“存在”本体论纷争。这种做法的结果是“存在”具有了层次性的特征。掌握一定的逻辑学基础知识,有助于我们深入研究西方哲学。
简介:随着德性伦理学的复兴,友谊问题重新得到哲学家的重视。当代学术界对友谊的讨论深受亚里士多德的"世俗的友谊"影响,阿奎那在亚里士多德的基础上,创造性地提出"仁爱的友谊",成为扬弃亚里士多德式的世俗友谊的一般友谊。仁爱的友谊具有超越时代的价值和意义,为全人类所向往。由于两种友谊观在理论和思想背景方面的巨大差异,世俗的友谊似乎阻碍"仁爱的友谊"成为一般的友谊。然而,以仁爱诠释友谊的做法并不是对亚里士多德世俗友谊观的简单否定,它能包容并完善世俗友谊的主要特质。而且,由于仁爱的友谊能处理好"爱朋友"与"爱其价值"之间的关系,从而对当代探讨友谊问题具有不容忽视的价值。
简介:中华人民共和国的政治性的庆祝游行是一个内容丰富而驳杂的文化主题,于此,史家可以更深入地理解中国共产党的性质及其政策。中国共产党的国家景观,其中首推二十世纪五十年代天安门广场举行的五一节和国庆节(10月1日)庆祝活动,都是精心组织并有着多重目的的政治仪式:既是打破旧秩序、迎接社会主义新时代的反传统的节日,也是对中国共产党权威的合法化,又是共产主义领导下无数成就的展示,亦是对中国现代革命史上毛泽东中心地位的肯定,同时还宣告着中国在国际社会主义阵营中的存在。尽管受到苏联的影响,这些庆祝游行还是表现出浓重的民族风格。它们也反映了一个国家正在经历着的政治上和经济上的变化。最终,毛泽东和其他党内高层领导,同时充当着演员和导演,小心翼翼地控制和编排游行者的动作,让作为观众的游行者们在天安门广场上对党和党的主席所取得的成就大加赞颂。