试论制约人工智能发展的逻辑问题

基于目前阻碍人工智能发展的各种因素 ,提出了人工智能发展中的逻辑问题 :非确定性推理、形象思维和常识问题。指出这些逻辑问题是制约人工智能发展的瓶颈。从理论上对这些问题进行了分析和探讨     

马克思东方社会发展道路理论的三层逻辑探析

马克思前后时期关于东方社会发展道路的结论是彼此冲突的,这是马克思用唯物史观分析不同的历史环境的结果.唯有深入揭示马克思东方社会发展道路理论所涉及的三层逻辑关系,把历史逻辑、思想逻辑、方法论逻辑三个层面的逻辑综合起来加以考察,才能完整、准确地把握马克思东方社会发展道路理论.     

逻辑理论变革的必然趋势

逻辑学是一门古老的科学 ,从它产生至今已有两千多年的历史。逻辑理论的历史大致经历了传统逻辑和现代逻辑两个阶段 ;而现代逻辑的发展又经历了由经典逻辑到非经典逻辑的变革。恩格斯曾经说过 :“每一时代的理论思维 ,从而我们时代的理论思维 ,都是一种历史的产物 ,在不同时代具有非常不同的形式 ,并因而具有非常不同的内容。因此 ,关于思维的科学 ,和其他任何科学一样 ,是一种历史的科学 ,关于人的思维的历史发展的科学。[1 ]”逻辑学从传统逻辑到现代逻辑、从经典逻辑到非经典逻辑的历史 ,正好说明了这一点。     

实在论视野下的逻辑哲学——普特南逻辑哲学思想探赜

普特南是在世的几个最为著名的哲学家之一，被称之为“坚定的实在论者”。他的逻辑哲学思想是其整体哲学体系的有机组成部分，与其整体哲学思想是一脉相承的，因而也贯穿了实在论思想。普特南的逻辑哲学思想体现了逻辑学由经典逻辑向非经典逻辑、由绝对主义逻辑观向相对主义逻辑观以及当代美国实用主义和逻辑研究相结合的整体趋势。研究普特南的实在论逻辑哲学思想具有极为重要的意义。     

非标准逻辑基础上的知识逻辑SI

实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息，但是却不会得出“任意结论”。SI仍有完全逻辑全能，但是在一定程度上实现了对逻辑全能的控制。     

非单调逻辑的产生背景

非单调逻辑是近年来人工智能领域的一个活跃研究分支,是人工智能进一步发展的核心问题之一。人工智能研究的发展,迫使人们去面对人的常识和常识推理的形式化问题。因为人工智能要模拟人的智能,它的难点不在于人脑所进行的各种必然性推理,而在于最能体现人的智能特征的能动性、创造性思维活动,而常识推理就是这种智能性最集中的表现。常识推理具有非单调性的特点,即随着新信息的加入,原先的结论可能会被修改或废止。这样的推理被称为非单调推理。而现有的经典逻辑无法刻画非单调推理。非单调逻辑就这样应运而生。此外,非单调逻辑的产生还与一些启示性的问题以及处理不确定性中遇到的问题相关。本文就从这三个方面论述非单调逻辑的产生。     

当代内涵逻辑的理论发展

内涵逻辑是经典逻辑的一种重要的扩展类型.内涵逻辑是关于必然、可能、时间、空间、行动、知识、信念、义务和其他内涵概念的逻辑研究.内涵逻辑研究的主要目的是分析内涵概念,围绕内涵概念给出相应的形式系统,形式系统的语义模型解释及关于系统的可靠性和完全性证明等问题.内涵逻辑在哲学问题的分析和自然语言语义学及人工智能等领域都有极为重要的应用.本文概述当代内涵逻辑发展的主要类型以及它们之间的内在关联.结论部分给出了关于内涵逻辑与经典逻辑关系的两种观点,有助于人们更深刻地理解内涵逻辑.     

逻辑哲学与哲学逻辑

逻辑是我们这个时代哲学的独特标志,20世纪许多哲学分支的进步和发展是与现代逻辑所提供的严格的分析性技术密不可分的.逻辑几乎影响了整个语言哲学的风格,逻辑也为形而上学、元伦理学和心智哲学提供了丰富的资源.逻辑提供了各种形而上学理论发展的基本框架,甚至在哲学中扮演着中立仲裁者角色.但逻辑也受哲学的制约,逻辑依赖于哲学的基本预设,经典逻辑和各种非经典和反经典逻辑系统都有深刻的形而上学背景.逻辑哲学和哲学逻辑分别从逻辑的哲学方面和哲学的逻辑方面为我们正确地理解和刻画逻辑和哲学的这种复杂、动态和多样性关系提供了深刻的洞见.     

弗协调逻辑的发展及现状

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

试论非经典逻辑在人工智能中的应用

目前计算机科学以惊人的速度不断发展,作为其核心分支的人工智能研究也取得了很大的突破。在成就的背后,逻辑学是推动其前进的主要动力。本文重点探讨非经典逻辑在人工智能中的具体应用。     

量子逻辑:一种全新的逻辑构造

与经典逻辑相比,量子逻辑是一种全新的逻辑构造。其独特之处主要体现在:一是数学基础的新颖性。量子逻辑是一种新的、非布尔型的非经典逻辑,在语义和句法上由一种独特的代数结构确定,这种代数结构的重要特征是非分配性和不对易性。数学中新发展起来的格论直接推动了量子逻辑基本结构模型的建立。二是形式的多样性。作为言说量子世界的语言逻辑,量子逻辑的联结词、命题及其演算,最终都是基于量子实体和量子世界的经验内容之上的。其中一条重要特征是非决定性,非决定性和模糊性使得量子逻辑中包含有量子模糊逻辑。三是技术应用的广泛可能性。     

亚相容逻辑研究的路径分野及其哲学意蕴

亚相容逻辑的中心问题是如何在逻辑系统内刻画系统外的“亚相容性”,这就要求对爆炸原理的作用进行限制。“逻辑择代”路径主张修改经典逻辑的语义或语形,其结果或者无法真正刻画“不”相容性,或者在技术上过于特设。“逻辑应用”路径则不主张为经典逻辑构建择代系统,而是致力于把握逻辑法则在实际应用中的一般原则,形成了与“逻辑择代”研究路径的分野。其基本方法是引入“推出”和“相信”算子,通过刻画它们之间的相互作用机制来限制爆炸原理的可用性。“逻辑应用”路径更加合乎直观,完整保留了经典逻辑,具有明显的优势。对它的深入探讨更有可能促使形成国内逻辑学研究的主体性言说领域,其哲学意蕴深远。     

伟大建党精神形成与发展的四重逻辑

伟大建党精神是立党兴党强党的巨大精神动力,深入理解伟大建党精神的形成与发展必须从理论、历史、实践和价值逻辑着手,深挖四重逻辑之间的辩证统一关系。具体而言：从理论逻辑来看,伟大建党精神铸就“两个结合”的思想典范;从历史逻辑来看,伟大建党精神昭示百年未有之大变局;从实践逻辑来看,伟大建党精神彰显中华民族伟大复兴的实践伟力;从价值逻辑来看,伟大建党精神演绎党的初心使命。     

从转换生成语法看范畴类型逻辑的基本思想

范畴类型逻辑基本思想中的“完整的”和“非完整的”表达式的概念,以及乔姆斯基（Chom-sky）所提出的“完整的功能复合体”（complete functional complex,简称 CFC）的概念,分别是范畴类型逻辑和转换生成语法在句法结构层面的重要理论基础。两者虽有一定相似性但又有不同之处,加上自然语言的句法语义不对称现象,造成自然语言逻辑分析中的一些由于方法论和概念冲突而引起的问题。为此,在语料的基础上分析上述问题,论证范畴类型逻辑作为一种形式化分析自然语言语义的手段的优势和有待改进之处,并举例说明语言学研究和逻辑学研究之间是取长补短、互相促进的关系。     

习近平经济思想探析--基于总体性逻辑的视角

研究习近平总书记经济思想的逻辑方法是理解当下中国经济发展路径与战略的哲学学理与方法论基础。中国经济在改革开放30年后,发展速度趋缓,进入“新常态”。改革开放进入攻坚阶段。当下经济改革与发展需要一种全新的视角与方法。理解习近平经济思想背后的逻辑方法必须回归到辩证逻辑的框架中去,而习近平经济思想逻辑方法的最大特征便是总体性逻辑。     

法律论题学的逻辑基础

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

也谈逻辑的社会文化功能--与张建军先生商榷

文章是对张建军在<从"逻先生"看"德先生"与"赛先生"--关于逻辑的社会文化功能的对话>一文中显示的"演绎主义"思想的批评,指出(1)演绎逻辑和归纳逻辑各有所长也各有所短,在人们的认识中它们各自发挥着自己的特殊作用,谁也无法取代谁;(2)世界逻辑史的发展以及20世纪60年代非形式逻辑的创立和发展,都证明了"任何大逻辑观之‘大'都是在演绎逻辑基础上的发展"的说法是错误的;(3)21世纪辩证逻辑将成为逻辑发展的主流;(4)台湾学者殷海光反对唯物辩证法的根本原因在于他所处的台湾的社会、政治背景和他本人的世界观;(5)毛泽东在推动新中国逻辑科学的发展上功不可没.     

推进网络思想政治教育的行为逻辑分析

网络的诞生和发展,给思想政治教育的地位、方法、手段以及环境都带来了诸多改变,这是一种机遇也是一种挑战。推进网络思想政治教育以及增强其实效性是网络时代思想政治教育的主要目标,同时也具有重要的方法论意义,因此,从“应然之意”、“实然之路”、“必然之策”三个层次对网络思想政治教育进行行为逻辑分析很有必要,通过认识网络思想政治教育的必要性,直面网络思想政治教育存在的问题,提出增强网络思想政治教育实效性的对策建议。     

马克思东方社会理论的生成逻辑及其当代价值研究

马克思东方社会理论的生成具有深厚的历史逻辑、科学的理论逻辑和鲜明的实践逻辑，是马克思晚年思想成果的重要组成部分。从历史发展的脉络到思想资源的吸收再到东方国家的践行，东方社会理论的科学性正在时代发展的洪流中逐步验证。今天，重新探索马克思的东方社会理论，尤其将东方社会理论置于当代中国语境下，能够在守正创新的基础上为中国式现代化道路提供基本遵循，为构建人类命运共同体提供可行性思路，推动社会主义现代化的纵深发展。     

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

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