对计算机模拟中的逻辑、方法论的几点认识

随着计算机科学技术的发展,用计算机模拟人类实际科学推理的思维过程成为可能。于是,在计算机人工智能与认知心理学研究的交叉点上形成了“人类问题求解”理论。同时,又在计算机人工智能与逻辑研究的交叉点形成了适用于计算机的新颖逻辑理论及算法。计算机人工智能(AI)研究虽化分为两派,但无论哪一派,在对于思维的计算机模拟研究,包括机器学习和机器实现方面的研究,都为逻辑和科学方法论带来革命性变化和新的启示。     

从知识表示的角度看DRT与一阶谓词逻辑

DRT是一种自然语言逻辑理论,同时也是一种知识表示方法。作为知识表示方法,DRT不仅能够刻画一阶谓词逻辑所能够刻画的自然语句,还能够刻画一阶谓词逻辑所不能处理的很多语言现象。这说明,DRT较之一阶谓词逻辑而言有更强的刻画效力。     

20世纪的内涵逻辑

在20世纪,内涵逻辑、内涵语义学和内涵形而上学是由逻辑学家、哲学家和语言学家在逻辑哲学和语言哲学领域共同缔造的为数不多但却无可置疑的进步之一.自上世纪60年代内涵逻辑诞生以来,这一逻辑分支在计算机科学、人工智能、语言学和哲学甚至数学基础等众多领域以其强有力的理论和实践工具的方式发挥着自己的作用.然而,作为一门激动人心的学科,在内涵逻辑的研究中人们会遇到各种困难,对这些困难的解决不仅对逻辑学家,而且对哲学家、语言学家和计算机科学家都是一种挑战.本文通过解释内涵逻辑的关键性发展和存在的问题,进而梳理出一条20世纪内涵逻辑理论发展和未来趋势的路径.     

从实践思维看现代逻辑的发展

随着计算机科学和人工智能领域研究的不断深入,经典逻辑理论得到了广泛应用和发展,逻辑研究的观念、对象和方法也发生了变革.逻辑的作用不再仅仅局限于有效推理,而是比较全面地研究主体思维活动中存在的程序、模式、方法和准则.本文以实践思维为元思维(逻辑),从方法论的角度分析现代逻辑发展的动因,探讨实践思维在具体学科发展中的重要指导作用.     

论"存在"

在一阶逻辑的形式语言中,"存在"是一阶量词,但作为谓词的"存在"也是可以表达的.肯定"存在"的量词用法并不意味着必须否定作为谓词的"存在".蒯因消除单称句中的名字、将"存在"一律处理为量词的做法并不能解决"不存在"难题.承认在不同的理论之间的确有本体论承诺的差异,就必须承认"存在"的谓词用法.通过在逻辑语言中表示出不同...     

语用逻辑研究的新进展--蔡曙山的语用逻辑形式化研究述评

20世纪80年代以后,中国语用学与语用逻辑的研究开始起步.虽然起步较晚,但以蔡曙山教授为代表的一批学者,却能够站在当代西方语言哲学,特别是言语行为理论和语用学研究的基础上开展研究工作,在受到当代语言哲学大师塞尔高度赞誉的<言语行为和语用逻辑>一书中,蔡曙山构造了命题语用逻辑、量化语用逻辑以及模态语用逻辑的自然推理系统与形式公理推理系统及其各自的语义模型,探讨并证明了元逻辑问题.蔡曙山在这一领域的研究成果,拓展了语言逻辑研究的空间,促进了语用逻辑的形式化研究,从而为进一步推进计算机与人工智能逻辑、认知科学的研究,提供了完备的、精密的研究工具.这项研究成果标志着中国语用逻辑的形式化研究达到西方现代语用逻辑研究的相同水准,同时也发扬与光大了中国古老的语用学与语用逻辑的思想传统.     

江泽民同志"七一"讲话的逻辑力量

江泽民同志的"七一"讲话运用了一系列的逻辑方法、逻辑推理、逻辑论证,为人们在思维和表达中正确运用逻辑树立了一个光辉典范.指出和分析它们,不仅可以体会到一篇有说服力的讲话的逻辑力量,而且也有利于进一步明确"讲话"的精神实质.     

试论认知逻辑研究中的若干问题

认知逻辑研究的目的是为人工智能研究提供有力的工具。然而,目前认知逻辑的研究成果却难于应用于人工智能的实践之中。这种情况在很大程度上是由于认知逻辑自身存在的问题造成的。第一,认知逻辑理论缺少可操作性,人们不能用能行的方法构造认知逻辑系统定理的证明和根据系统所进行的推演。第二,认知逻辑理论所采用的可能世界语义学方法不能对认知语句做出合乎情理的解释。第三,认知逻辑的公理系统并不是人工智能研究所必需的。由于这些问题的存在,逻辑学家需要对原有的方法进行认真的反思。     

次协调思维的逻辑机制及其意义

次协调思维是一种能容纳矛盾并在此基础之上对矛盾进行灵活处理 ,使其削弱、软化的一种思维模式。次协调思维的产生和发展不仅在现代科学技术特别是人工智能科学领域内显示了它的重要作用 ,而且在理论上亦产生了对经典传统逻辑的反传统性。这些特性导致了人们对思维科学乃至逻辑科学的全新理解 ,因此 ,我们有必要对次协调思维产生的逻辑机制及其意义和应用潜力作一探讨。     

从客观逻辑到主观逻辑——胡塞尔的逻辑学之路

传统形式逻辑自以为是"形式的",但其未看到,所有的判断都是建立在时一个自在存在的世界的素朴信仰之上的,它预先赋予了世界以一种客观的意义和存在地位,因而变成了一门客观的"世界逻辑"与经验的实证科学.由于形式逻辑既无法实现自我证成,也无法帮助其他实证科学超越其实证性,所以,一门真正的哲学逻辑学,一门既能全面解释一般科学之本质可能性,又能引导其现实发展的科学论,最终只有通过先验现象学、先验主观性的奠基才能得以产生.从客观逻辑到主观逻辑,从形式逻辑到先验逻辑,这是胡塞尔借助现象学方法所铺就的一条逻辑之路.     

论哲学与逻辑学的辩证关系

《辩证逻辑应是逻辑而不是哲学》的发表,提出一个大问题:何谓“辩证逻辑”?十多年前,就有逻辑学家提出这个问题,也有人提出中国古来就没有哲学!现在,马佩教授在评析金顺福研究员主编的《辩证逻辑》时,从另一个角度提出辩证逻辑不是哲学。由此,有必要对辩证逻辑与哲学的辩证关系,以及形式逻辑与辩证逻辑的辩证关系加以说明。金顺福研究员主编的《辩证逻辑》与马佩教授的新作有所同,也有所异,两者互补,差异统一,相得益彰,对于普及和发展马克思主义的科学逻辑学,都作出了可喜的贡献。     

关于动态的矛盾的发展过程及其一分为三思想——黑格尔逻辑学“一分为三”思想研究（之三）

黑格尔哲学逻辑学之研究对象的动态的矛盾的发展过程,主要是关于矛盾,中介,质、量、度和量变———质变———量变的关系,肯定———否定———否定之否定,圆圈运动或螺旋运动,其中充满着丰富的一分为三思想。     

辩证逻辑应是逻辑而不是哲学--对金顺福先生主编《辩证逻辑》一书的评析

金顺福先生主编的<辩证逻辑>一书在一些内容上存有值得商榷之处,具体地体现在以下几方面1.根据"辩证逻辑乃是研究人类辩证思维的形式、规律和方法的科学"的共识,辩证逻辑的对象应是辩证思维形式及其规律而不是思维形式的辩证法;2.确实存在着与普通思维形式不同的辩证思维形式--辩证概念、辩证命题、辩证推理等;3.概念、命题(判断)等确实存在着辩证法,但这是思维形式的辩证法,它属于辩证法研究的对象.辩证逻辑的对象是辩证思维形式,不是思维形式的辩证法.辩证逻辑必须从哲学中脱离出来.     

驳《寻觅了半个世纪的辩证逻辑》——复诸葛殷同先生

当今之世,摧残了逻辑科学发展的并不是辩证逻辑学者。说逻辑化的辩证逻辑“是意识形态的产物,其基本原则相当程度上是似是而非的”,或者是对辩证逻辑的严重歪曲,或者是对辩证逻辑不甚了了。《寻觅了半个世纪的辩证逻辑》一文中“与马佩先生商榷两点”的内容本身也是值得商榷的。     

价值的思维逻辑和历史逻辑批判——形而上学批判的重要内容

形而上学批判是现代哲学一大潮流,而这一批判的最终旨归是价值批判。具体来讲,形而上学的价值论批判包括两重含义：思维逻辑批判和历史逻辑批判,通过这双重批判,现代哲学实现了哲学理性范式的转换和自身逻辑的跃迁,并完成了一次价值基础的批判与重建。     

论当代中国辩证逻辑研究的历史发展

辩证逻辑研究是我国当代逻辑学科研究的重要组成部分,但是,目前在该学科的学科属性及一系列基本问题上仍存在着广泛的争论,并形成了诸多不同学派与研究进路。系统总结我国辩证逻辑研究的历史发展,在当前具有特殊的重要意义。由于特殊的历史背景,"文革"前的辩证逻辑研究基本上限于苏联学界所设定的"问题域"。改革开放以来,我国辩证逻辑研究在深度与广度两方面都获得了一系列重要进展,形成了各具特色的七大主要研究进路,即辩证逻辑与形式逻辑的比较研究进路、范畴理论研究进路、科学方法论研究进路、非经典逻辑研究进路、现代逻辑与逻辑哲学新成果的辩证审视进路、应用研究进路、思想史研究进路。但与演绎逻辑及归纳逻辑相比,当代辩证逻辑研究尚未获得成熟形态,一些基本问题尚待进一步探索与澄清。辩证逻辑的发展既要鼓励各种研究路径的"百花齐放",又要提倡路径之间的深度互动与争鸣;同时,应进一步拓展国际交流的广度与深度。在"问题导向"的多学科、多视角合力攻关研究已成为学术研究主旋律的时代,加强跨学科交流与合作,进一步发挥各种研究路径的解题功能,是当代辩证逻辑研究的生命力之所在。     

康德的表象说及其哲学意义初探

＂表象＂概念与＂先天＂概念一样是构成《纯粹理性批判》的最基本概念。在该书及《逻辑学讲义》、《注解和片段》中,康德都把表象作为原始概念使用,并且存在对表象的不同分类。康德表象说的整分论实质反对理性主义和经验主义哲学家的表象（观念）的类图画论实质,这在近现代哲学史上具有重大意义。在康德试图通过组合来说明＂表象与对象相关＂和其他基本问题时,发现了其哲学体系中的一个＂漏洞＂。     

试论《资本论》逻辑结构之特色

《资本论》的逻辑结构是从抽象到具体的过程,是资本主义经济内部结构的理论表现。本文通过三个部分分析了《资本论》从抽象到具体的逻辑结构,分别是第一卷中商品进展为资本的过程;第二卷的逻辑结构;从第一卷到第三卷的过程即由剩余价值到各种形态的转化过程。     

奎因逻辑思想疏析

美国逻辑学家奎因,作为西方分析哲学的代表人物之一,始终如一地依靠数理逻辑所取得的成就,坚持逻辑实用主义,在二十世纪的现代逻辑学领域里,产生过重要的影响。文章在简要分析奎因的哲学思想基础上,论述了奎因的逻辑思想特征,以及奎因逻辑观的局限性。     

辩证概念、辩证命题形式质疑

概念是人的理性认识,它要随着人的认识和实践发展而不断完善丰富,这是一种内涵方面量的积累,但这种内涵的逐步丰富并不会使理性认识中产生出一种辩证类型的概念,因而把概念分为普通概念和辩证概念是没有根据的。辩证思想、辩证命题的辩证性来自思想的内容,不取决于它的命题形式。思维中不存在也不需要有某种独特类型的辩证命题形式。《辩证逻辑应是逻辑而不是哲学》一文关于“光既是粒子又是波”是辩证命题,其中联结词是辩证联结词的论证是不能成立的,说这一命题是辩证思维的结果,是违背科学史实际的。