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

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

基于哲学逻辑的集合论研究

20 世纪60 年代之后,涌现出了尝试以非经典逻辑为基础逻辑来拯救集合论的热潮. 在这一时期,诞生了模态集合论、弗协调集合论、直觉主义集合论等一些基于哲学逻辑的集合理论. 模态逻辑是在经典逻辑的基础上增加模态算子形成的一种二阶逻辑,因此,它是一种比经典逻辑强的逻辑.模态集合论相对于公理化集合论是一种加强了基础逻辑的公理化集合论. 与ZF公理化集合论用公理限制集合的方法不同,弗协调集合论也是一种改变了集合论的基础逻辑,选择了可以容纳或处理矛盾的弗协调逻辑,这样即使集合论中出现矛盾也不会使整个理论陷入不足道的困境. 由于在直觉主义逻辑中排中律不成立,所以直觉主义逻辑是一种比经典逻辑弱的逻辑. 直觉主义集合论相对于ZF公理化集合论是一种减弱了基础逻辑的公理化集合论.     

什么是弗协调逻辑?

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

量子逻辑、量子悖论与量子疑难

我们可以把为了解释各种量子疑难(包括所谓的量子悖论)而发明或创立的量子逻辑群总结为四类:冯.诺意曼等开创的量子格论学派、莱欣巴赫为代表的多值量子逻辑学派、玻尔等学者坚持的互补性辩证逻辑学派、范.弗拉森原创的模态逻辑解释学派。这四类量子逻辑对量子疑难的解决既有成绩也有不足。通过我们对量子力学理论的细致理解,来自于不确定关系、波粒二象性和双缝实验等的典型量子悖论都可以消解,因此前三种量子逻辑的创立基础很可能并不存在,而测量难题也并不能仅通过模态逻辑解释消解。但即便如此,仍不能说量子逻辑对于解释量子疑难不是有意义的尝试,更不能说量子逻辑作为非经典逻辑的本性已经完全昭然若揭。因此无论如何,量子逻辑进路是并且仍将是通过量子力学解释达到理解微观世界不确定性本性的一个十分重要的科学及哲学的理论传统。     

知识蕴涵直觉主义逻辑系统

在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性。在该系统中,矛盾律仍然成立,但是排中律、双重否定消去律、司各脱法则都不再成立。在该系统中,弗协调逻辑和直觉主义逻辑的基本特征都被保留了下来,该系统给出了一个处理矛盾问题的既是弗协调的、又是直觉主义的兼容方案。     

正规模态逻辑完全性理论研究综述

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

论情境语义学研究的发展

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

弗协调逻辑的发展及现状

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

相干逻辑的产生及评价

在概述“蕴涵怪论”与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改.认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景.然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑.     

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

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

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

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

模态逻辑与哲学

模态逻辑是关于必然性与可能性的逻辑,因此也就涉及到必然与可能相关的一些哲学问题。除语义学方面的问题外,模态逻辑自身也存在与哲学相关的问题,如本质主义问题、抽象实体的存在性问题等。模态逻辑也引发一些哲学问题,如可能世界的本体论问题,可能个体的跨界同一和识别问题等。模态逻辑的研究成果对当代哲学的发展也具有重要的意义。当代马克思主义哲学的研究也应该结合与考察现代逻辑的研究成果。     

心理咨询中当事人的语言逻辑

心理咨询中当事人的语言逻辑仍然经历概念、判断和推理的过程,和其他非当事人一样具有逻辑性的特征。但是当事人的逻辑前提具有主观虚拟性;表象语言指号与深层心理意义不一致;语境在其独特心理背景下表现为虚构的特征;当事模态逻辑具有专一角度特征;非陈述句逻辑的预设是其深层心理意义的信息。认识当事人语言逻辑的特殊性可以从语言的技术路线上更多地揭示当事人的心理可能世界。     

关于“秘密”的逻辑语义研究

“秘密”是知识与信念中的一个重要概念,也是信息网络隐私与安全所讨论的重要对象。文章从知识逻辑与信念逻辑两个方面分析了“秘密”的逻辑语义,并给出了其归约公理以及基于知识逻辑与信念逻辑的完全的公理化系统。然后从知识逻辑与信念逻辑两个方面剖析“纯秘密逻辑系统”的公理与规则,发现它们都是一个非正规模态逻辑系统ECKT4的扩张,这两个“纯秘密逻辑系统”只在讨论不同主体间的互动推理时存在差异,只是这两个系统的完全性问题还有待进一步研究。     

二十一世纪的逻辑与哲学

冯赖特于1991年写道,逻辑学中大多数具有哲学意义的技术性工作似乎均已完成。本文作者以二阶逻辑、直觉主义逻辑、连续统值逻辑、一阶模态逻辑,以及关于绝对无限一般性的逻辑等等为例,说明逻辑学中大量具有哲学意义的技术性工作才刚刚开始。对象语言中的非正统只有通过元语言的非正统才能得以充分探究与公正评价,这种非正统有时是关于逻辑的演绎力的,有时是关于语言的表达力的。两种类型的非正统导致在元逻辑研究方式上的争论。由于这方面工作的动机主要是哲学上的,而且所需要的技术常常具有哲学意味,这项工作必须由哲学家自己去完成。因此,在21世纪,逻辑学将继续受到哲学家的关注,哲学家也将继续对它的进一步发展做出贡献。     

悖论的辩证逻辑公式及其他

悖论的辩证逻辑公式应该显示出:悖论是人们主观上认为的悖论和实际上的悖论的两个矛盾方面的对立统一体.悖论创新法:自觉地建构并消解悖论,以此修正和发展学科理论系统.一个容纳悖论的辩证逻辑系统应该是把悖论的辨证逻辑公式作为该系统的定理的辩证逻辑系统.弗协调逻辑的根本缺点是把逻辑矛盾和辩证矛盾相混淆.建立辩证逻辑形式化系统应以对立统一思维律等辩证思维基本规律为公理或主要定理.     

C_n(1≤n<ω)及C_ω中的否定

在对当关系逻辑中,命题A与命题△A之间是一种下反对关系。在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系逻辑中算子△所具有的性质,在弗协调逻辑中其否定﹁也都具有这些性质,从而得出,弗协调逻辑中的否定﹁是一种特殊的下反对关系算子。     

法律论题学的逻辑基础

近现代法学理论的发展揭示法律推理在经典逻辑体系中不能得到很好表达,论题学方法为之提供了一个有益的进路.论题学实质是上基于问题的论辩思维框架,它具有前提的缺省性和开放性、推理机制的弗协调性和实质论辩性、结论的可废止性和似真性特点.法律论题学的逻辑基础是非形式逻辑,它与演绎逻辑不是替代或竞争的关系,而是相互补充的统一关系.论题学方法及其基本思想与现代广义模态逻辑、批判性思维、非形式逻辑理论相契合.     

一个拒斥逻辑矛盾、容纳辩证矛盾的命题演算系统

逻辑矛盾是思维混乱的产物,辩证矛盾是对象的运动之观念中所必然包含着的矛盾。前者是同时既肯定又否定同一个n（n∈N且 n≥1）级命题而形成的矛盾,后者是同时既肯定又否定同一个0级命题而形成的矛盾。经典命题演算没有区别辩证矛盾和逻辑矛盾, 它拒斥逻辑矛盾,但不容纳辩证矛盾,因而不能合乎逻辑地表达对象的运动。命题演算系统PC6区别了辩证矛盾和逻辑矛盾,具有拒斥逻辑矛盾并容纳辩证矛盾的特征,且具有可靠性和完全性,可以合乎逻辑地表达对象的运动。     

形式系统的可靠性和完全性问题

语法完全性仅与一个形式系统的语法构造相关，经典命题逻辑的有代入规则的系统是语法完全的，无代入规则的系统不是语法完全的。将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对干通常的语义解释是否具有强可靠性。对必然化规则和模态逻辑系统来说有类似的结果。