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

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

论人工智能研究纲领的转变

以还原论为基础的“物理符号系统”假设是西方科学传统和哲学传统的产物。作为人工智能的研究纲领 ,它曾经发挥过重大作用。但是 ,由于这个研究纲领本身固有的缺陷 ,它不能解决真实世界的形式化问题。因此 ,在人工智能发展过程中 ,它将为以自组织理论为基础的“生命符号系统”假设所代替。     

认知科学背景下的逻辑学--认知逻辑的对象、方法、体系和意义

认知科学以体验哲学为基础 ,以涉身心智为研究对象 ,它对理性主义的逻辑学乃至近代以来整个西方的理性主义思想提出了挑战。本文提出建立认知逻辑的体系来适应科学技术特别是认知科学的发展。认知逻辑的体系包括哲学逻辑、语言逻辑、心理逻辑、文化与进化的逻辑、人工智能的逻辑、脑与神经系统的逻辑。认知逻辑体现了回归自然语言并基于经验、非形式化和非演绎、反映认知的规律三大特征。认知逻辑放弃作为思维立法者的企图 ,在语言基础和研究方法上更多地关心人 ,关心语言的使用者。认知逻辑将语言、逻辑与认知整合成一个以人为中心的体系 ,并与整个认知科学相关联 ,从语言、心理、脑与神经、文化与进化等多方面介入对人的生理、心理、语言和文化的研究。因此 ,认知逻辑是一种在新世纪展现认知科学特征的新的逻辑理论。     

对谓词逻辑在人工智能科学中应用的分析

谓词逻辑是人工智能科学赖以产生和发展的最重要理论基础,从计算机系统理想化知识表达法的要求来看,谓词逻辑表达法在人工智能科学应用中有着不可替代的优点.但由于受形式逻辑本身表达范围的影响,它在表达知识的水平和能力上又存在一些局限,而这正是我们应进一步探讨以求解决的问题.     

人何以自处？——从人工智能到“人工情能”之思

人们想象人工智能技术超常发展语境下的“人-机”关系,通常是从日常经验出发,以“设身处地”的、类比的方法进行问题思考,这无疑会使思想的洞察力、技术的突破困于人类的自我认知局限。同时,基于逻辑-数学框图所研发的人工智能机器技术亟待突破人类对情感乃至情能认知的黑洞与盲区,以实现人之情感和人之情能,从而真正成长为“类人类”。解决这两个问题的原则与方法则有待人类建立一种突破当前逻辑-数学主义思想的思维方式,从想象人类的末世境况出发,再返身思考人-机关系的可能性。     

乌托邦工程师的经济哲学——《历史决定论的贫困》述评

卡尔·波普所著《历史决定论的贫困》提出一个著名论点,社会科学研究与物理学的研究方法应是相同的(自然主义学说),即都必须采用逻辑演绎和对假说证伪的方法,并据此对历史决定论提出尖锐的批评(泛自然主义和反自然主义学说)。当然作为研究方法的逻辑演绎与假说证伪的一般性无疑是社会科学家普遍可以接受的,然而更重要的问题,在于波普对“整体”主义的批评和由此引出的社会哲学。波普认为,由于对社会科学的研究也必须采用逻辑演绎和假说证伪的方法,从而作为一种“整体”知识的社会科学理论假说是不能检验的,特别困难的是检验这种“整体”知识所需要的受控条件会完全改变理论假说形     

罗斯悖论与标准道义逻辑的语义理论

罗斯悖论反映了道义逻辑标准系统的定理与直观有效性的冲突。之所以会产生罗斯悖论,首先是由于道义逻辑的基本概念在形式系统中的意义与日常语言中的用法不一致,其次,标准道义逻辑的语义理论不能充分刻画道义推理的特征,存在严重的理论缺陷。     

人工智能伦理的人伦本质探析

随着经济社会的发展,人工智能逐渐深入千家万户,其伦理问题日益为人们所关注。然而,人工智能伦理的伪命题倾向、符号漂移倾向与责任泛化倾向等凸显了当前人工智能伦理的价值表象之困境,主要原因是其人伦本质受到了一定程度的遮蔽。保护隐私,本质上是保护人工智能对象人的隐私;防止偏见歧视,本质上是防止人工智能当事人的偏见歧视;促进公平,本质上是促进人工智能所涉及的弱势人群的公平,等等。这都确证了人工智能伦理的人伦本质。因此,在实践中着眼于人,尤其是提升人工智能当事人的伦理认知、促进其伦理行为之改善、矫正其严重伦理错误等,方可实现人工智能伦理的人伦复归。加强人工智能伦理的人伦本质探析,在理论上对于揭示人工智能伦理的本质规律,推进人工智能伦理研究系统深化,在实践上对于强化人工智能当事人的责任担当、实现社会善治、满足人对美好生活的追求等等,均具有必要的、积极的理论价值与现实意义。     

科学方法论与辩证哲学——科学方法论的元理论问题

如果把科学方法论作为一种对象理论,那么研究这种对象理论的理论就是元理论。本文试图对科学方法论的元理论问题作出一种马克思主义辩证哲学的解释。 “科学方法论”与“科学方法”是两个不同的概念,不能混淆。科学方法论所关心的是关于科学方法的理论问题,它并不具体研究各种科学方法,它是研究各种科学方法的理论基础。比如,科学理论发现的逻辑因素与非逻辑因素的关系、科学理论中的归纳与演绎的关系、实践检验与逻辑证明的关系、科学理论发展的渐进与革命的关系,逻辑真理与经验真理的关系;以及从整体上讲,科学方法论作为一门学科,是研究静态的科学理论的逻辑结构,还是研究动态的科学理沦发展过程的模式与合理性规范呢?诸如此类,都属科学方法论的理论基     

介于虚实之间的悬概念——从“神农架野人”说起

基于认知实际状况,从外延数量角度对概念进行基本的逻辑划分,除了外延大于等于一的实概念和外延为零的虚概念外,还应建立外延分子存在状态尚不能确定的悬概念.悬概念是内涵相对模糊、外延分子存在状态暂时无法确定的概念.从理论价值上说,它完善了概念的逻辑类别.     

语用学维度:人工智能框架问题与自然语言理解

语用学的基本理论有助于从语言的本质在于使用的角度来理解智能,为人工智能的框架问题提供哲学的视域和分析方法。现代人工智能的符号逻辑研究框架在哲学意义上具有脱离经验的根本局限性,联结论研究框架实质上与此相同。人工智能的框架问题研究需要奠基于"自然机制"为内核、"算法机制"为辅的哲学纲领。现代自然语言理解的句法和语义研究是脱离使用者与语境知识而处于指称层次的片面理解,而只有基于语用学层次的理解才是完整的。     

论辩理论及其应用

在认知科学的背景下,论辩研究已经成为了逻辑学、语言学、计算机和人工智能等共同关注的问题.然而不同学科在这一课题上却未能实现有效的交叉研究.本文立足于人工智能领域的论辩理论,对依据新论辩术理论所选择的最接近理想模型的辩论赛实例进行分析,以期为逻辑学与人工智能在论辩领域的交叉研究打下基础.     

法律方法中的逻辑真谛

有关法律方法的研究,普遍存在对逻辑真谛的诸多误解或曲解,逻辑形式并非就仅有一个三段论,也并非仅是人类已知的几个推理式,法律方法理应关注更多的已知、尤其未知的逻辑形式。并非复杂的案件不需要逻辑,并非涉及法律内容的思维就叫法律思维,法律内容的特征不能混同于法律思维的特征。当把法律思维跟非形式逻辑扯到一起时,须知"非形式"不是不讲形式,更不是不讲逻辑。法律方法至少应是对法律思维进行逻辑抽象的结果,逻辑抽象未必一抽到顶,是可以分层次进行的,用"分层抽象法"去审视法律思维,将可大大扩展法律方法的研究视野,使成就清晰、独立的法律方法论成为可能。     

人工智能生成物的著作权保护路径探析——兼评人工智能生成物著作权第一案

人工智能技术的发展对传统著作权制度带来了显著的冲击。以人工智能生成物著作权第一案为例,通过审视作品构成要件判断标准发现,独创性始终贯彻以人类作者为中心的评价标准,同时,智力成果要件则是认定人工智能生成物构成著作权法意义上作品与否的重要标准。从人类是否实际参与作品的创作过程来看,多数人工智能生成物不构成作品,而保护人工智能生成物的价值追求与邻接权制度的基本理念相适应,且邻接权制度的扩张趋势也为把人工智能生成物纳入其保护范畴创造了机会。建议立法通过扩张邻接权制度的权利内容与客体类型以对人工智能生成物提供必要保护。而在当前阶段,反不正当竞争法可以为人工智能生成物相关利益主体提供一定限度的过渡保护。     

关于科学发现逻辑的历史争论及其解决路径

近代以来在科学发现有无逻辑问题上的争论都各有自己的理论优势和难点,都是与对"科学发现"和"逻辑"两词的理解分不开的,科学发现的逻辑的研究必须走辩证综合的道路。"科学发现"是科学认识主体根据新的科学事实在思维中重建科学新理论的过程,是一个既有量的准备酝酿阶段又有质的飞跃的综合认识过程。科学发现的逻辑并不一定是形式逻辑,还可能是辩证逻辑,科学发现的逻辑并不是机械的、一成不变的程序或算法,非理性因素是科学发现逻辑的一个环节。     

逻辑与历史相统一的两个限度——重读马克思《〈政治经济学批判〉导言》

马克思的政治经济学以历史唯物主义为指导 因此,他所运用的抽象上升到具体的方法作为政治经济学研究方法之一,必然同历史唯物主义有着密切的联系 通过分析这一方法所表征的内在逻辑,可对深入理解历史唯物主义提供重要维度.以此为基础又可厘清逻辑与历史间的真正关系,从而找到二者统一的真正基础和明确限度.     

条件逻辑及其部分定理的证明与阐释

条件逻辑是以充分条件、必要条件、充分必要条件以及它们之间相互关系为研究对象的逻辑理论。运用现代逻辑的手段,深入研究各种条件联系及其它们相互之间的逻辑关系,这对提高我们的认识能力、有效从事实践具有指导意义。在给出的定义的基础上．我们可以证明有关充分条件、必要条件、充分必要条件的大量定理,条件逻辑就是由定义和定理所构成的形式系统。     

博弈逻辑的发展轨迹探析

博弈逻辑是博弈论和逻辑学相交叉的一个崭新领域,研究理性的主体互动行动中的推理过程,即研究博弈中的推理问题。目前对博弈逻辑的研究仅限于起步阶段,因而存在很多有待深入去探讨和解决的问题。对这些问题的考虑和分析必将引出博弈逻辑理论研究的许多有价值的课题,拓宽博弈逻辑的研究领域。