简介:次协调逻辑(Paraconsistentlogic)这一术语的主要含义是指,在新逻辑中当矛盾律的有效性被削弱之后,仍要保持一种次于经典逻辑的新的协调性。一般来讲,一个次协调逻辑系统应具备两个条件:1、不协调性,即A和?A部是系统的定理;2、不是过完备的(over—complete),即并非系统内的每一公式都是它的定理。由于次协调逻辑体系允许有意义、有价值的矛盾进入形式系统,并否认矛盾律的普遍性,因此它与数理逻辑和辩证逻辑都有密切的联系。自从1963年巴西逻辑学家达科斯塔创立这门学科以来,已吸引了大批逻辑学家、哲学家和数学家,最近几年又引起计算机科学和人工智能研究者的极大关注,现已成为国际逻辑学界一个新兴的研究领域,它的出现将使人们对逻辑科学产生新的理解。在我国,对次协调逻辑的研究还仅处于起步阶段。本文译自巴西逻辑学家阿鲁达(A.I.Arruda)的《次协调逻辑历史发展的若干问题》(‘Aspestsofthehistoricaldevelopmentofparaconsistentlogic’)一文的第二部分,它详细介绍了次协调逻辑发展的历史渊源,这对我们进一步理解这种新逻辑将有很大帮助。
简介:存在问题在分析哲学的背景下取得了深入细致的研究成果。在“何谓存在”问题上,围绕“存在”是不是个体的属性从而是不是逻辑谓词的争论呈现出三派观点:弗雷格、罗素等从一阶逻辑出发,认为“存在”不是逻辑谓词,而是量词;皮尔士、斯特劳森等结合精致的自然语言分析,认为“存在”在某些特殊情况下表达了个体的属性,是一种特殊的谓词;自由逻辑学家则从自由逻辑的角度给出了肯定的答案。在“何物存在”问题上,蒯因“存在就是约束变项的值”的本体论承诺标准机智地揭示了存在问题的语言学实质。可以说,利用一阶逻辑解释存在问题的方法是比较成功的。如果将弗雷格、罗素的一阶语言扩展到高阶语言,则既能与蒯因的理论连贯一致,又能避免无谓的“存在”本体论纷争。这种做法的结果是“存在”具有了层次性的特征。掌握一定的逻辑学基础知识,有助于我们深入研究西方哲学。
简介:认知悖论总是相对于一定的认知主体或某一认知系统而言的。认知悖论的产生既离不开具体的认知主体的背景知识和某些假定的前提条件,也离不开具体的认知主体的逻辑推论。因而不能简单地把认知悖论归结为一种特殊的命题。与逻辑悖论和语义悖论相比,认知悖沦涉及到具体的认知主体及其心理状态,因而其推论过程更具有复杂性。认知悖论的推论不仅涉及到自指性问题的纠缠,而且建构认知悖论的严格形式,还需要发现一种真正的悖论性难题的严格公式化描述,而这样做将会导致重要的技术性进步。认知悖论是挑战人类理性思维和科学发展的难题,研究认知悖论具有十分重要的理论意义和现实意义。
简介:作为中观派思想家,清辨完全承续了龙树以“空”范畴为核心的批判哲学。所谓“空”即“无自性”,它由原始佛教的“无我”概念发展而来,是佛教反对各种“自性”、“神我”观念进而对世界作出统一性解释的集中表达。“空”是佛教哲学的核心概念。围绕着这一概念,中观派营建了一套关于人生痛苦和解脱的宗教思想体系。这个体系在龙树那里以否定的形式有了基本的展开,而清辨所面临的问题就是:如何从正面赋予“空”以具有充分说服力的逻辑形式,以巩固和完善中规派关于“空”的哲学构架。时代恰恰为清辨提供了这样一种逻辑——三支逻辑。清辨吸收、融汇和改造了由唯识学者也是因明大师的陈那创建的这种逻辑,并完成了关于“空”的逻辑证明。