弗协调逻辑相关论文
直觉主义逻辑中的否定有直观而清晰的含义,意为“不可能”,其强于经典否定;而相干逻辑与弗协调逻辑中的否定缺乏直观性。一般地,非经典......
本文以科斯塔弗协调逻辑系统的技术处理为依据来分析命题A与其弗协调否定-A之间的逻辑关系、弗协调矛盾和不矛盾律与经典逻辑矛盾......
悖论是一个论证,它依据一定的背景知识和逻辑法则,从一些已知为真的前提出发却推出了互相矛盾的命题,或者在一个命题和它的否定之间可......
该文从模糊逻辑的语法和语义着手,扩充到模态词和道义词并建立了相应的逻辑系统,这类逻辑的真值域是Zadeh格。该文还从软代数的定义出发,建......
弗协调逻辑属于异常型的非经典逻辑。它的创始人是巴西逻辑学家达·科斯塔。由于弗协调逻辑修改了经典的否定词,使矛盾律失去了在系......
通过对认知逻辑的产生和发展的简单考察,本文分析了认知逻辑和认知科学的互动关系,以及认知逻辑产生和发展过程中逻辑学基础理论的......
该文试图从逻辑哲学的角度对弗协调逻辑作概括性的考察,一方面可以进一步加深人们对这一新兴逻辑的理解,另一方面从中发掘合理的思......
弗协调逻辑(Paraconsistent Logic)诞生于上世纪60年代,它是一种不能“从矛盾推出一切”的哲学逻辑,同时它也是非经典逻辑的一个分支......
“弗协调逻辑”(paraconsistent logic),又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支.它是一种不能从矛盾......
一个理论是协调的就是指一个理论是无矛盾的,即在该理论中不存在这样的命题A,A与它的否定非A都是该理论的定理;否则,我们就说该理......
弗协调逻辑是非经典逻辑中最具有革命性的逻辑学分支.它限制了经典逻辑中矛盾律作用的范围,能够容纳有意义的真矛盾,能够作为一切......
在对当关系逻辑中,命题A与命题△A之间是一种下反对关系。在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系......
弗协调逻辑是一种异常型的非经典逻辑。通过对其进行统揽分析和精细解读,可以清晰地看到:弗协调逻辑是从真矛盾观的哲学观念出发,通......
本文试图以弗协调模态逻辑CnG′为基础,建立一种弗协调认知逻辑CnEK....
弗协调逻辑是能够容纳矛盾但是从矛盾却不能推出一切的逻辑理论。弗协调逻辑在理论上可以追溯到古希腊,但古代中国的思想家也特别善......
弗协调逻辑是一种非经典逻辑,是现代逻辑中非经典逻辑方向的一个重要分支.第一,弗协调逻辑修改了经典逻辑中的矛盾律,在弗协调逻辑......
若限制一般意义的矛盾律,就会得到一种非亚氏(non-Aristotelian)逻辑,即弗协调(paraconsistent)逻辑。以弗协调逻辑系统C1为基础,对之......
弗协调逻辑,又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支。它是一种不能从矛盾推出一切的逻辑理论。论文指出......
弗协调逻辑的产生,引发了我们对如下几个问题的思考:弗协调逻辑有无产生的必要?弗协调逻辑与经典逻辑的关系如何?弗协调逻辑对矛盾律普......
为了适应新的需要,经典逻辑应在原有系统的基础上,建立新系统,提出新型的语义解释。弗协调逻辑可以对经典逻辑进行进一步的修正,但......
本文以胡世华教授建立的自然推理系统为基础,构造了一个弗协调逻辑H.在以H为逻辑的弗协调集合论S_H中,罗素(B.Russell)命题是可证......
【正】 1.弗协调逻辑弗协调逻辑是一种新的形式逻辑,它的先驱是J.卢卡西维茨和N.A.瓦西里耶夫。人们甚至可以认为,亚里士多德已经......
构建和谐社会理论的根本目标是要消除现实社会中存在的各种矛盾和不和谐现象。经典逻辑片面排除矛盾的做法只能解决泛矛盾;对于单......
弗协调逻辑是以怀疑经典逻辑矛盾律的普遍有效性为基础而发展起来的逻辑理论,它通过对经典逻辑否定的修改,弱化经典逻辑的否定来迭到......
20世纪60年代,经典逻辑发展相对停滞,非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后,人们对......
德·轲斯塔是弗协调逻辑的著名代表人物之一。近年来他将弗协调思想运刚于归纳逻辑的研究,提出了自己的归纳逻辑系统。柯斯塔的......
经典逻辑否定矛盾存在,坚持矛盾律的至上性。弗协调逻辑限制矛盾律的作用。相干弗协调逻辑主张存在真矛盾,这和辩证逻辑是一致的,否定......
弗协调逻辑在计算机科学和人工智能等领域都有广阔的发展前景。在此,通过对弗协调逻辑产生、发展和基本思想的介绍,指出弗协调逻辑的......
弗协调逻辑是一种可以容纳"矛盾"的非经典逻辑,但它只是要容纳那些不会导致系统不足道的"真矛盾".论文在详细阐述弗协调逻辑容纳"真矛盾......
道义逻辑的思想最早可上溯至亚里士多德。亚氏在构造三段论体系时就注意到了实践推理这种逻辑论证类型。亚里士多德论述“应该”不......
以弗协调命题逻辑Cn(1≤n<ω)为基础,在弗协调模态命题逻辑CnG′(1≤n<ω)的框架下,将弗协调逻辑措施应用于经典认知逻辑,建立一种......
弗协调逻辑是一种可以容纳"矛盾"的非经典逻辑,其所容纳的"矛盾"被称为"真矛盾"。在弗协调逻辑看来,逻辑悖论就是一种"真矛盾",是......
以弗协调命题逻辑Cn(1≤n<ω)为基础,采取逻辑分支相融合的方式,使用逻辑扩张的方法,可以将弗协调逻辑措施应用于多主体认知逻辑,......
在本文中,我们要区分出一些足以构造弗协调逻辑的多值逻辑的最低限度的函数方法,借此来确定作为片断而包含在弗协调逻辑内的多值......
几十年来人工智能取得了令人瞩目的成就,但它的发展并不是一帆风顺的,期间也遇到了许多问题和困难。人工智能要想达到真正的智能模拟......
悖论在近几十年来已成为多学科所共同研究的课题,并且向不同的领域辐射。作为引发第三次数学危机的罗素悖论,在各类型悖论中具有极......
以科斯塔弗协调逻辑系统的技术处理为依据来分析命题A与其弗协调否定A之间的逻辑关系可以知道弗协调矛盾和不矛盾律与经典逻辑矛盾......