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

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

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

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

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

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

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

“次协调逻辑”(para-consistent logic)这个术语意味着,新逻辑的协调性次于经典逻辑,但又远高于完全不协调系统。换句话说,在新逻辑中当矛盾律的有效性减弱之后,仍能保持一种稍逊的协调性。次协调逻辑是近二、三十年来兴起于国际逻辑界的一种新思潮。它是作为一种颇带革命性的非经典逻辑而出现的,它允许“有意义的矛盾”进入形式演算系统,并否认矛盾律的普遍有效性,因此与数理逻辑、辩证逻辑都有密切的联系。这样,就不能不引起人们的浓厚兴趣。次协调逻辑产生于本世纪50年代,在70—80年代吸引了大批的逻辑学家、哲学家和数学家,目前已发展成一个独立的研究领域,对逻辑、哲学与集合论等学科都产生了相当的影响。巴西、澳大利亚、东欧、意大利乃至美国和苏联等国家和地区的学者都积极参与这个新领域的研究。     

弗协调视域中的否定、矛盾律和爆炸原理

否定、矛盾律和爆炸原理是讨论弗协调逻辑与经典逻辑二者关系的核心概念。从弗协调逻辑的角度看，经典否定只是自然语言否定的一种模型，自然语言否定还有其他的模型，例如取消模型、弗协调保守模型、弗协调激进模型等，其中，弗协调保守模型是自然语言否定的最佳描述。矛盾的定义大致分为语义、语法、语用、本体论四种，不同的矛盾定义导致不同的矛盾律，考察弗协调逻辑在什么意义上否认矛盾律就是逐个考察各弗协调逻辑流派是否否认这四种矛盾律。爆炸原理有不同的形式，如果把它视为区分弗协调逻辑和经典逻辑的决定性因素，则{A,A}├B是爆炸原理的最恰当形式。     

弗协调逻辑的发展及现状

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

什么是弗协调逻辑?

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

次协调逻辑的悖论观

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

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

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

关于弗协调逻辑的思考

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

关于弗协调逻辑的思考

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

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

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

物质利益到社会协调——马克思社会协调思想初探

《莱茵报》时期,马克思遇到要对物质利益发表看法的“难事”,既而他从社会重新退回到书房,通观马克思的思想历程,有着这样的逻辑线索“理性——利益——阶级——共产主义”、“哲学——历史——政治经济学——共产主义”、“利益的阶级性——利益协调的政治性——共产主义的社会协调”。本文从物质利益、社会结构、社会调节以及协作等方面,对马克思关于社会协调的思想进行了梳理,在回顾历程、探寻踪迹中寻找新意,以求对马克思这一思想的深度挖掘,从而彰显它的现实意义和理论指导价值。     

怀疑逻辑的弗协调方案探赜

目的：提供一个建立在弗协调认知逻辑基础上的包含三分认知世界思想的怀疑逻辑构造方案。方法在系统 SPN 内定义相关的认知模态算子。结果怀疑逻辑三分认知世界的设想得以实现，同时由于弗协调认知逻辑的原因，一些怀疑逻辑公式的有效性发生了变化。     

弗协调逻辑的理论意义和实践价值

弗协调逻辑是非经典逻辑中最具有革命性的逻辑学分支。它限制了经典逻辑中矛盾律作用 的范围,能够容纳有意义的真矛盾,能够作为一切不协调理论的基础逻辑,在计算机和人工智能以及法律等领 域都具有广阔的应用前景。     

两种不同的悖论观——情境语义学解悖方案与次协调逻辑解悖方案比较研究

情境语义学解悖方案与次协调逻辑解悖方案反映了两种不同的悖论观,二者在以下四个方面存在重大差异:(1)对悖论中所包含的矛盾认识不同;(2)解悖思路不同;(3)对悖论产生根源问题认识不同;(4)解悖结果不同.     

利益协调与和谐党群关系的内在机理探究

从党群关系的实质、执政党的性质、历史方位、内在功能等方面分析,利益协调是和谐党群关系的逻辑起点。当前我国社会呈现出利益分化加剧,利益表达机制非制度化,利益协调机制缺位,利益"收敛"低效化等现象。因此,我们必须通过建立健全利益"发散"与"收敛"机制、利益协调与共赢机制、利益发展与保障机制来凝聚社会,巩固执政基础,促进党群关系和谐发展。     

环渤海地区法制协调机制研究

法制协调是环渤海地区进行经济合作不可缺少的前提条件。环渤海地区在立法、执法、司法方面还存在较多的问题,构成该地区经济合作和一体化的障碍。地区封锁合法化问题的存在、行政区划的现实、环渤海地区各省、自治区、直辖市的相对独立地位和利益都是这一地区法制协调的影响因素。建立环渤海地区法制协调机制,应设立权威性的立法协调机构,通过立法协调会议的形式实现立法方面的协调;推行行政机关间的行政合同,实现执法方面的协调;由各高级人民法院共同制定跨行政区域案件的法律选择规范,实现司法方面的协调。     

试论秘书协调工作与公共关系问题

(一)协调的任务协调(cordinating),是领导机关组织社会活动的一种手段,也是有效地进行行政管理的一项基本工作方法。任何社会活动,由于都会涉及到若干不同方面、若干不同人员,他们的情况、角度、利益、认识、水平、方法等都有差异,就必然会发生不同情况、不同程度的分歧、矛盾,需要进行科学的协调,才能使工作正常地、均衡地开展。任何领导机关,也都必须对所属的各种机构、各项工作、各方面的人员经常进行协调,才能使各方面人员都同心协力,相互配合,共同完成任务。马克思曾指出:“一切规模较大的直接社会劳动或共同     

协调在行政管理工作中的作用

<正> 行政管理工作是一项综合性的系统工程,在保证管理机器的正常运转,衔接各个方面、各个环节的有机联系,直接处理或经领导授意去解决问题时,协调则是贯穿其管理活动全过程的一种必不可少的手段。富有成效的协调,有助于理顺管理诸要素之间的关系,消除管理过程各阶段、环节之间的不和谐现象;有助于促进各部门、各方面最大限度地形成一种整体合力,步调一致,勤政高效。协调也是解决人民内部矛盾,调解纠纷、调整部门与部门间利益,妥善处理带有综合性或复杂性问题的一种行之有效方法,它有助于促进良好的合作关系和新型的人际关系的形成,从而对于促进社会的安定团结有着一定的积极意义。