次协调逻辑——辩证逻辑形式化的阶梯

“次协调逻辑”(para-consistent logic)这个术语意味着,新逻辑的协调性次于经典逻辑,但又远高于完全不协调系统。换句话说,在新逻辑中当矛盾律的有效性减弱之后,仍能保持一种稍逊的协调性。次协调逻辑是近二、三十年来兴起于国际逻辑界的一种新思潮。它是作为一种颇带革命性的非经典逻辑而出现的,它允许“有意义的矛盾”进入形式演算系统,并否认矛盾律的普遍     

从逻辑哲学看辩证逻辑的形式化

从逻辑哲学的眼光看,辩证逻辑应当定位于一种独特的、富有哲理性的非经典逻辑,因此它归属于逻辑,而辩证法作为它的原型则归属于哲学。辩证逻辑形式体系所追求的总体目标是越来越恰当地刻画、再现辩证法原型中的本质特征。我们所钟爱的辩证逻辑兼有次协调逻辑、相干逻辑和模糊逻辑这样的形式特性。辩证逻辑形式化研究并非只有独一无二的表现形式,相反,它可以有多元化的进路。     

关于辩证逻辑形式化问题

辩证逻辑的研究重心究竟是什么 ,这是关于辩证逻辑发展的一个关键问题。从 2 0世纪 80年代末开始 ,有人提出应当把研究重心放在对它的形式化上 ,并为此付出了不懈努力。但是 ,我认为在这门学科尚未完全成熟的情况下 ,谈论如何对它进行形式化为时尚早 ,并且形式化也不是判断辩证逻辑是否是逻辑的标准。现在建立辩证逻辑形式系统的条件还不成熟 ,目前的关键是要搞清楚辩证思维的内在结构和机制 ,然后才能考虑使用何种语言 (包括人工语言 )去刻画它     

对辩证逻辑形式化的研究

辩证法的基本规律的表述能否形式化以及应怎样形式化?辩证逻辑能否成为严格意义上的逻辑?这是一个意义重大的问题,也是一个高度繁难争论极大的问题。本文的作者是一位没有上过大学的青年农民,他在本文中提出了一套辩证逻辑的形式系统。本刊特予以发表,并同时发表本校哲学系陈晓平、桂起权同志对此文提出的形式系统的评价和补证文章。我们希望引起学术界的关注和讨论。     

对辩证逻辑形式化的研究

辩证法的基本规律的表述能否形式化以及应怎样形式化?辩证逻辑能否成为严格意义上的逻辑?这是一个意义重大的问题,也是一个高度繁难争论极大的问题。本文的作者是一位没有上过大学的青年农民,他在本文中提出了一套辩证逻辑的形式系统。本刊特予以发表,并同时发表本校哲学系陈晓平、桂起权同志对此文提出的形式系统的评价和补证文章。我们希望引起学术界的关注和讨论。     

次协调形式系统——矛盾中求协调的逻辑

次协调逻辑学说是越来越引人注目的一种国际逻辑新思潮。它是与数理逻辑、辩证逻辑、人工智能三方面都有密切关系的一种新颖奇特的非经典逻辑。本文从次协调逻辑的基本特征、形式刻划的必备概念、产生的动因、现实原型、历史渊源、次协调逻辑的基本形式系统以及在计算机科学中的简单应用等方面对新逻辑作出评介。     

次协调形式系统——矛盾中求协调的逻辑

次协调逻辑学说是越来越引人注目的一种国际逻辑新思潮。它是与数理逻辑、辩证逻辑、人工智能三方面都有密切关系的一种新颖奇特的非经典逻辑。本文从次协调逻辑的基本特征、形式刻划的必备概念、产生的动因、现实原型、历史渊源、次协调逻辑的基本形式系统以及在计算机科学中的简单应用等方面对新逻辑作出评介。     

次协调逻辑的悖论观

<正> 笔者曾在《当代数学哲学与逻辑哲学入门》一书中,对形形色色的悖论、悖论的解救办法、关于悖论本性的各种有代表性的看法作了批判性考察,并就悖论与辩证哲学的联系提出过一些看法。后来,笔者发现次协调逻辑(para-consistent logic)关于矛盾和悖论问题有一整套独特而深刻的见解,是不容忽视的。然而,由于它与关于矛盾律的正统看法格格不入,因此人们稍不小心就会陷入误解。本文的主要目的是阐明次协调逻辑关于悖论和矛盾的基本观点的真实含义并澄清一些误解。     

辩证逻辑--创新的逻辑

以往的逻辑有许多弊端,突出表现在未考虑创新思维及其特征,不能为创新提供思维工具.创新过程的本质是提出假说或假设的过程,创新思维具有主观猜测性和假定性.创新思维的形式有其自身的特征.要素组合推理、逆反推理等辩证逻辑的推理方法是创新思维最常用的推理方法.应建立一门以创新思维形式及其规律,以及创新思维方法为研究对象的创新逻辑.辩证逻辑应该担当起这种创新逻辑的重任.     

用次协调逻辑的思想认识矛盾问题

逻辑矛盾、辨证矛盾和悖论究竟是不是三类性质不同的矛盾 ?这个问题一直是我国逻辑学界争论的一个焦点 ,至今尚未取得共识。本文试图用次协调逻辑的思想重新认识思维领域中的矛盾问题     

试论次协调逻辑的辩证否定观

在经典逻辑的所有联结词中 ,最少受人怀疑的就是否定词。因为对否定词的不同解释往往形成不同的逻辑系统。亚里士多德的传统逻辑就是建立在“非此即彼”的否定模式基础之上的。然而 ,“非此即彼”的否定模式受到了来自现实生活和科学领域的严重冲击 ,因此 ,只用反映“非此即彼”模式的经典否定是远远不够的 ,还必须对经典的否定词进行修正 ,使它既能反映“非此即彼”模式又能反映“亦此亦彼”的模式 ,次协调否定词正是体现这种“辩证否定”思想的否定词。     

辩证逻辑形式化的新进展——对张金成系统Z的评价与补证

本文从系统Z与传统辩证法、经典逻辑、次协调逻辑的相互关系着手(特别从句法和语义角度加以考虑),评价系统Z对辩证逻辑形式化的开拓性作用。还给出了系统Z原先所缺少的语义完全性的证明。     

辩证逻辑形式化的新进展——对张金成系统Z的评价与补证

本文从系统Z与传统辩证法、经典逻辑、次协调逻辑的相互关系着手(特别从句法和语义角度加以考虑),评价系统Z对辩证逻辑形式化的开拓性作用。还给出了系统Z原先所缺少的语义完全性的证明。     

汉语逻辑研究的新进展——邹崇理汉语逻辑形式化研究述评

20世纪90年代,汉语逻辑研究取得了新的进展。邹崇理运用MG与GQ的基本方法,分析了汉语量化词的语义特征,在对汉语量化句特征全面把握的基础上,构造了汉语量化句的部分语句系统FC。采用时间区间语义学方法处理汉语的时态结构,经过巧妙构思,构造了一个专门刻画汉语时态结构的部分语句系统。他的这些工作是具有开创性的,为汉语逻辑的研究闯出了一条新路,展示了广阔的研究前景。     

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

试论次协调逻辑的哲学意义及应用

亚里士多德的矛盾律和经典的否定概念 ,历来被认为是逻辑学中不可动摇的支柱。可是 ,次协调逻辑在逻辑上首次以严谨的态度动摇了矛盾律的绝对地位 ,相应地从根本上改变了否定词的原有概念 ,从而形成了新的非经典逻辑体系。这种非经典逻辑体系以新的视角、新的途径、新的方式和方法 ,为人们处理各种矛盾提供了经典逻辑远不及的、具有辩证意味的“亦此亦彼”的逻辑模式和洞察力。因此 ,次协调逻辑的产生和发展具有深远的哲学意义和实用价值     

黑格尔论逻辑学、普通逻辑与辩证逻辑

黑格尔认为逻辑学的对象是思维形式及其规律,逻辑学是关于认识真理的科学。黑格尔认为知性思维、理性思维是思维发展的两个阶段,前者是第一阶段,其本质在于认识事物的规定性和差别性,其基本规律是同一律,后者是思维发展的第二阶段,其本质在于认识事物的矛盾。黑格尔把他所谓的知性逻辑也叫普通逻辑,也就是人们所谓的传统逻辑。他为了说明普通逻辑的局限性不惜歪曲它的基本规律同一律、排中律和充足理由律。黑格尔把所谓的理性逻辑又叫思辨逻辑,亦即辩证逻辑。黑格尔并未提供辩证逻辑相对完整的系统,他把辩证逻辑和辩证法混为一谈。黑格尔的辩证逻辑是唯心主义的,非科学的,他不应作为辩证逻辑的创始人。     

从黑格尔关于逻辑对象的思想看辩证逻辑的对象——兼评当前关于辩证逻辑对象的若干观点

辩证逻辑对象究竟是什么?这不仅关系到辩证逻辑的研究方向,而且也是涉及这门学科生死存亡的关键问题。为了推进对这一问题的研究,笔者认为有必要探源溯流,从评判黑格尔关于逻辑对象的观点出发,提出笔者对于辩证逻辑对象的基本设想。一、辩证逻辑的对象与哲学认识论和本体论的对象逻辑学的对象本来是与哲学认识论的对象有明确区分的,但是,康德在其先验逻辑中,使逻辑学的对象与认识论的对象合二而一了,而黑格尔在其思辨逻辑中则进一步把逻辑学的对象与本体论的对象融合起来了。原因何在呢?