什么是弗协调逻辑?

20世纪 6 0年代 ,经典逻辑发展相对停滞 ,非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后 ,人们对经典逻辑发起挑战 ,认为矛盾律并不是普遍有效的。在这一背景下达·科斯塔创立了弗协调逻辑。当将弗协调逻辑运用于真值模态逻辑时 ,可得到一避免了善良的撒玛利亚人悖论的道义逻辑系统 ,于是我们可得出结论

解析作为解悖方案的弗协调逻辑

弗协调逻辑是一种可以容纳"矛盾"的非经典逻辑,其所容纳的"矛盾"被称为"真矛盾"。在弗协调逻辑看来,逻辑悖论就是一种"真矛盾",是可以被弗协调逻辑系统所容纳的。在分析逻辑悖论语法表现的基础上,我们可以清楚地看到弗协调逻辑消解悖论的逻辑机制。弗协调逻辑作为一种解悖方案,实际上是隔离了悖论对系统的不良影响,这种隔离意义上的悖论消解具有重要的现实意义;同时其相对于协调而区分出来的弗协调,也具有重要的逻辑哲学价值。

一种弗协调认知逻辑C_nEK(英文)

本文试图以弗协调模态逻辑C_nG′为基础,建立一种弗协调认知逻辑C_nEK．

论弗协调逻辑的特异性质

弗协调逻辑是一种异常型的非经典逻辑。通过对其进行统揽分析和精细解读,可以清晰地看到:弗协调逻辑是从真矛盾观的哲学观念出发,通过修改否定词的含义从而区分出来了两类否定——经典否定和弗协调否定;进而又通过对两类否定的界定,弱化了"一般意义"上的矛盾律,限制了"一般意义"上的司各脱规则,从而最终达到了容纳"真矛盾"的逻辑目标。但实际上,弗协调逻辑并没有对经典否定意义上的矛盾律产生弱化影响,并且也没有限制经典否定意义上的司各脱规则,更没有容纳经典否定意义上的逻辑矛盾。

弗协调逻辑的理论渊源和历史发展

弗协调逻辑是能够容纳矛盾但是从矛盾却不能推出一切的逻辑理论。弗协调逻辑在理论上可以追溯到古希腊,但古代中国的思想家也特别善长于弗协调思维。作为一门学科,弗协调逻辑是在现代才创立发展起来的,先驱人物是卢卡西维茨和瓦西列夫,创立者是雅斯可夫斯基和科斯塔。弗协调逻辑在计算机科学和人工智能等领域都有广阔的发展前景。

弗协调逻辑及其理论特征

弗协调逻辑是一种非经典逻辑 ,是现代逻辑中非经典逻辑方向的一个重要分支。第一 ,弗协调逻辑修改了经典逻辑中的矛盾律 ,在弗协调逻辑中 ,矛盾律不普遍有效 ,这是对经典逻辑的重大“革命” ;第二 ,在弗协调逻辑系统中 ,矛盾不能推出一切 ,经典逻辑中的有些重要定理不再是弗协调逻辑中的定理 ;第三 ,弗协调逻辑是弗协调理论的逻辑基础 ,是为弗协调理论寻找依据而建立起来的 。

经典逻辑视野中的弗协调逻辑

以科斯塔弗协调逻辑系统的技术处理为依据来分析命题A与其弗协调否定A之间的逻辑关系可以知道弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律之间存在很大差别;由此可见科斯塔弗协调逻辑不是真正意义上的弗协调逻辑,但是科斯塔弗协调逻辑作为非经典逻辑其理论意义是重大的,这正如非欧几何之与欧氏几何。

解析弗协调逻辑容纳“真矛盾”的逻辑机制

弗协调逻辑是一种可以容纳"矛盾"的非经典逻辑,但它只是要容纳那些不会导致系统不足道的"真矛盾"。论文在详细阐述弗协调逻辑容纳"真矛盾"的核心逻辑机制的基础上,对逻辑真理观进行了逻辑哲学层面的反思,并明确提出:传统形式逻辑和现代形式逻辑的真理都是具有严格相对性的,而弗协调逻辑的真正哲学价值不在于它自身特异的逻辑性质,而在于它自觉贯彻了逻辑真理的这种严格相对性。

弗协调命题逻辑C_n的判定性问题

弗协调逻辑,又译作"次协调逻辑"、"超协调逻辑",是非经典逻辑的一个新兴分支。它是一种不能从矛盾推出一切的逻辑理论。论文指出弗协调逻辑的代表系统Cn的可判定方法存在漏洞,并给出了一个修正办法。

面向认知冲突的弗协调置信逻辑

若限制一般意义的矛盾律,就会得到一种非亚氏(non-Aristotelian)逻辑,即弗协调(paraconsistent)逻辑。以弗协调逻辑系统C1为基础,对之进行语法和语义扩张,即可得到弗协调置信逻辑系统C1D。这种特殊的认知逻辑可以容忍认知冲突,若以之为基础逻辑,知识或信念的暂时不协调将不会导致逻辑上的无意义(不足道)。基于该系统的特异逻辑性质,相信一个陈述及其否定在逻辑上将变得并非不可能。该系统作为处理悖论的容悖路径,尽管在实质上没有排除掉悖论,但在那些认知悖论彻底解决之前,却可为理性认知提供一个可靠的逻辑基础。

关于弗协调逻辑的思考

弗协调逻辑的产生,引发了我们对如下几个问题的思考:弗协调逻辑有无产生的必要?弗协调逻辑与经典逻辑的关系如何?弗协调逻辑对矛盾律普遍性的置疑是否意味着逻辑规律是可修正的?

弗协调单主体认知逻辑系统C_nEK及其扩张

以弗协调命题逻辑Cn(1≤n<ω)为基础,在弗协调模态命题逻辑CnG′(1≤n<ω)的框架下,将弗协调逻辑措施应用于经典认知逻辑,建立一种可以处理弗协调性的基本的弗协调单主体认知逻辑系统CnEK。在CnEK的基础上,通过扩张的方法,可以进一步得到一系列的弗协调单主体认知逻辑系统。还给出了CEK的扩张系统CED和CET。

论经典逻辑的局部修正——以弗协调逻辑为例

为了适应新的需要,经典逻辑应在原有系统的基础上,建立新系统,提出新型的语义解释。弗协调逻辑可以对经典逻辑进行进一步的修正,但这种修正是局部的,并非根本性的。经典逻辑与弗协调逻辑是"前身"与"延伸"的关系,弗协调逻辑包含了经典逻辑,可以取代经典逻辑。

弗协调多主体认知逻辑系统C_nE_mK

以弗协调命题逻辑Cn(1≤n<ω)为基础,采取逻辑分支相融合的方式,使用逻辑扩张的方法,可以将弗协调逻辑措施应用于多主体认知逻辑,建立一个弗协调逻辑与多主体逻辑的融合系统CnEmK(1≤n<ω);CnEmK(1≤n<ω)具有可靠性和完全性,并且是一个可以处理弗协调性的多主体认知逻辑系统;CnEmK(1≤n<ω)也是一种基本的弗协调多主体认知逻辑系统,以之为基础可以进一步扩张得到关于公共知识、共同知识、协同知识的弗协调多主体认知逻辑系统。

弗协调逻辑思想述评

弗协调逻辑在计算机科学和人工智能等领域都有广阔的发展前景。在此,通过对弗协调逻辑产生、发展和基本思想的介绍,指出弗协调逻辑的重要意义和价值,以引起国内学界的关注,深入开展这方面的研究工作。

罗素悖论与弗协调逻辑

本文以胡世华教授建立的自然推理系统为基础,构造了一个弗协调逻辑H.在以H为逻辑的弗协调集合论S_H中,罗素(B.Russell)命题是可证的.

弗协调逻辑的发展及现状

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。

论经典否定、直觉主义否定和弗协调否定

本文从语形和语义两个角度探讨了经典否定、直觉主义否定和弗协调否定的含义、性质与特征。并对这三种否定进行比较,指出其相同与相异之处。此外,还通过否定揭示出经典命题逻辑系统、直觉主义命题逻辑系统和弗协调命题逻辑系统之间的关系。

关于弗协调逻辑的否定与矛盾

弗协调逻辑是以怀疑经典逻辑矛盾律的普遍有效性为基础而发展起来的逻辑理论,它通过对经典逻辑否定的修改,弱化经典逻辑的否定来达到对矛盾律的限制。关于弗协调逻辑的否定与矛盾一直是争议的焦点,本文试图从国内关于这两点的一些分析及争论出发,探讨弗协调逻辑的否定与经典逻辑否定的关系,并进而分析弗协调逻辑所说的矛盾与经典逻辑的矛盾律是否一致。

弗协调逻辑与《金匮要略》“方证论治系统”

弗协调逻辑是哲学逻辑的一个重要的分支,能处理经典逻辑中的矛盾关系,也能够容纳矛盾,不取消矛盾,但不能从矛盾推出一切的逻辑理论。弗协调逻辑在世界一些重要的国家逐渐发展起来,现在已经扩展到澳大利亚、波兰、美国、阿根廷、比利时、厄瓜多尔、意大利、秘鲁和中国。研究弗协调逻辑的人数增加的原因之一,是弗协调逻辑与相干逻辑和辩证逻辑存在的密切关系。