人工智能框架问题的情境表征

经典人工智能中的一个主要难题是"框架问题",即智能体如何在行动中有效和恰当地表征一个变化的、复杂的世界.本研究以科学实践哲学的理论与框架为视角,认为智能体与环境之间的互动表征生成于情境化的实践过程,人工智能应对复杂情境的举一反三、随机应变是情境化选择的结果,是一种动态维度的地方性产物,人工智能框架问题表征的规范性,正是...     

语言连接世界何以可能——试论普特南实在论哲学的一致性

与"普特南善变"的标准看法恰恰相反,普特南的实在论是连续的、整体的、一以贯之的。"语言如何连接世界"是贯穿普特南实在论哲学的核心问题:科学实在论初步确立了"语言"对"世界"的指称关系,在这个问题上树立起实在论的大旗;内在实在论不是科学实在论的反动,而是在科学实在论的前提下进一步具体描述"语言"与"世界"的基于经验的指称关系,强调实在论内在于科学;自然实在论或实用主义实在论则把"语言如何连接世界"的问题追溯回"心灵如何连接世界",进而打破了笛卡尔心灵图画对现代哲学的钳制,肯定了"知觉"和"心灵"具有指称"世界"的能力,因而是比科学实在论和内在实在论更加"实在论的"主张。     

不可消解的科学表征构成问题

科学理论语义观认为科学理论就是模型的集合,传统理论如何联系现实的问题也因此发展为模型如何联系世界的新问题.科学哲学界针对这一问题进行了激烈的讨论.卡伦德与科恩认为这样的讨论是不必要的,不一定存在区别于艺术表征、语言表征的科学表征问题,只需要在一般表征问题域内讨论表征问题就已经足够了.在此基础上,科学表征问题,尤其是科学...     

数学工具主义者对弗雷格问题的认识论分析

在数学哲学实在论和反实在论对抗的大背景下,德特勒夫森复活了希尔伯特的有限主义。他把自己的思想称为希尔伯特工具主义,这是一种改良版的实在论。通过对弗雷格问题的解决,我们看到希尔伯特工具主义者是如何既承认抽象对象的存在,又发展出关于抽象对象的认识论。通过在有限思维中加入抽象的元素,他解决了抽象对象存在的问题。通过复制主义策略和证明模式认识论,他解决了认识抽象对象的问题。这种实在论既不同于弗雷格的实在论,也不同于菲尔德的唯名论,它是一种介于实在论和唯名论间的新形式。     

操纵与表征:莫丽森的不相容模型研究

科学模型的中心问题之一是"科学模型何以表征真实世界",围绕着这一中心问题哲学界主要产生了科学模型的实在论与反实在论之争。莫丽森的不相容模型由于自身的矛盾性(互补性与不一致性共存),被反实在论者借用成为了反驳实在论者的论据,因此不相容模型论据的产生与存在威胁着科学模型实在论者的立场,严重影响着"科学模型何以表征真实世界"的中心问题的解决与推进。对此,实在论者莫丽森提出世界本身选择了模型和"实践"证明了不相容模型能够表征真实世界的观点,并在"实践"的过程中引入了"信念"、"操纵"这两个重要因素,形成了莫丽森的用来确证实体存在的独特视角和方法,即"操纵观"、"局部模型"和"模型相似法"。     

论模型认识论中的同构关系

讨论模型与世界的关系,涉及"模型认识论"问题.从1912年罗素提出的"人的知觉与被知觉的物理世界之间有一种同构的关系",到后来的沃勒尔在实在论与反实在论的争论中创新性地提出了结构实在论而引发人们对模型理论中"同构"关系的思考,再到2003年弗伦奇和科斯塔指出模型的表征与现实世界是一种同构或部分同构(结构)的关系.无论问...     

从世界3到虚拟世界的涌现

借助于计算机和网络技术，人类已经开始创建一个崭新的世界——虚拟世界。如何确定这个世界的本体论地位以及它与物理世界的关系已成为当代哲学的前沿问题之一。本文从认定虚拟世界是对波普尔意义上的世界3的超越着手，提出了一种新的实在论——计算实在论。我们主张，实在的本质是计算，而虚拟实在和物理实在则是计算本质的两种实现方式，因此虚拟世界与物理世界在本体论上具有计算对等性。基于这样的考虑，我们进一步论证了虚拟世界的自主性和复杂性，并从它的可理解性反过来为物理世界的可知性作出了新辩护。     

科学实在论的仪器因果机制指称理论

在科学哲学中,实在论与工具主义争论的焦点集中在科学理论是否的确指称与描述实际存在的对象还是仅需要具有经验恰当性这个核心问题之上。问题的根源在于将理论视为一种以逻辑映射方式对应描述世界的语言结构。因此,提出一种新型的语言与世界的关系,将语言与世界视为借助仪器因果机制的相互实现就可以解决实在论与工具主义的争论,使实在论构筑在更坚实的基础上。同时,这种语言与世界的新型关系将引导建立起对科学理论的新的理解方式。     

人工智能的语境论范式探析

人工智能的发展历程中贯穿着鲜明的语境论特征,现有的范式理论已无法对人工智能的发展状况做出正确描述,语境论有望成为人工智能理论发展的新范式。语境论范式的最大特征,就是所有问题都围绕语境问题而展开。人工智能中的语境,可分为表征语境和计算语境。建立在现有范式之上的语境论范式,必然以表征语境和计算语境为主要特征。表征语境与计算语境围绕智能模拟的语境问题逐步走向融合,将是语境论范式下人工智能发展的主要趋势。     

人工智能的框架问题及其解决策略

框架问题是经典人工智能的主要难题。它旨在寻找出一种表征形式,让行动中的能动者可以有效和恰当地表征一个变化的、复杂的世界。经典人工智能直接可用的显性符号表征由于难以实时、自动地更新,也无法捕捉大量的隐性知识,从而无力表征现实世界,面临框架问题的困扰。寻找一种打破显性/隐性区分的表征形式是解决框架问题的关键。联结主义采取了内在性策略,用内在表征取代外在表征,从而可以对表征自动更新;情境进路采取了交互性策略,让表征与对象之间保持高度的交互,从而可以让表征对语境充分敏感。但两种方案仍然没有完全解决框架问题。强化学习同时满足了内在性和交互性标准,或许将是解决框架问题的最佳路径。     

认知动力模型面临的几个问题

认知动力系统模型作为新的认知范式,将身体与环境作为两个重要的参数纳入到认知操纵过程之中,体现了一种新的认知理念。但它在批评传统的认知主义研究模型的同时,本身也存在一些问题:在对待认知的时间维度时,过分倚重认知发生的在线性耦合,忽视离线的去耦过程;完全否定表征的意向性;新增加的身体与环境这两个参数是否能完全补足框架的缺省值;动力模型能否从类比阶段的隐喻稳定地向实在论方法论过渡。认知动力模型要想成为成熟的认知范式,就必须回答或解决这些问题。     

实在论、反实在论与准实在论——当代西方解释休谟因果观的三种立场

围绕着休谟是否承认外部世界中存在着因果关系这个问题,当代西方休谟研究者形成了三种立场:实在论、反实在论与准实在论。实在论者认为休谟是一位因果实在论者,休谟主张外部世界中存在着因果力量和必然联系,对休谟的因果观作出了新的解释;反实在论者坚持传统的观点,从休谟的观念理论及其复现原则出发论证了休谟否认客观因果关系的存在;而准实在论者则试图调和实在论与反实在论之争,以投射论来说明休谟的因果观介于实在论与反实在论之间。实在论、反实在论与准实在论都缺乏根本的说服力,但其探索和争论深化了人们对休谟因果观的研究和理解,推动了休谟哲学的研究。     

数字新世界背景下的虚实之分

虚拟现实技术迅速发展,逼真的虚拟体验使人们产生笛卡尔式的追问:"如果虚拟环境足够逼真,如何证明我此刻不是在虚拟现实里?"虚拟世界与现实世界中产生感觉材料的物理过程在形而上学的意义上是相同的,很可能无法以此分辨"现实世界"和"虚拟世界".那么,如何恢复直觉上的区分?通过对科学表征的分析,论证"虚拟现实"在认识论上被当作是...     

“群落实在论”研究述评

群落是生态学最基本的研究对象之一,但其实在性却受到学界质疑。科学哲学界仅有一篇以"群落实在论"为主题的研究,但该研究侧重于对群落概念做抽象分析,欠缺更具体的理论支持;回溯生态学史可知,群落的实在性问题缘起于"机体论"和"个体论"学派的对立,这也引发了学界关于"群落是否存在"的争论。鉴于此,群落实在论研究的重点应在于,发现和使用与群落特征契合的科学实在论作为理论工具,对生态学史进行分析。     

趋向建构论的科学本质观

对科学本质问题的理解，存在着内在论与外在论这间的争论，并持续了差不多一个世纪。本文试图通过建构的实在论来理解科学的本质问题。第一，建构的实在论强调了人与自然的关系。第二，理论与实在、模型与世界之间的关系是一种相似关系，这种相似关系符合建构实在论对科学本质的理解。第三，世界是随着人类创造能力的进步而不断丰富起来的，这种特性既不符合实在论的理解，也不符合反实在论的理解。第四，建构的实在论充分地考虑到了认识论的“自然化”与“社会化” 合壁。     

命题何以表征世界

关于命题何以表征世界的理论有自然化命题和命题原初主义。自然化命题包括语言事实理论和认知行为类型理论,前者将命题的表征能力诉诸人对语言的解释,后者将命题的表征能力诉诸人对事物的述谓。两种自然化命题都面临难以克服的问题。命题原初主义认为命题是简单的、抽象的实体,其表征能力不能也不需要进行解释。该理论具有较大缺陷。承认命题是独立于语言和心灵的抽象实体,将其表征能力诉诸命题与事态之间的镜像关系,既对命题何以表征世界进行了解释,又避免了自然化命题和命题原初主义的理论困难和缺陷,具有较大的理论优势。     

心、身体与互联网——一种虚拟世界心灵哲学的解释

从现代心灵哲学的观点看,虚拟空间中的心身关系问题是一种"随附性生活"问题。由于网络化生存状态是基于"身体不在场"而实现的,这就注定了虚拟主体的心灵与互联网世界之间存在着复杂的关系。虚拟实在世界的心身关系的理想在于心灵与身体的齐物合一。在本质上,虚拟化就是心灵、身体与互联网和谐同一的社会映射及文化表征过程。     

范·弗拉森科学表征观的语用等价策略

抽象结构如何表征具体目标对象,是当今科学表征哲学研究的重要议题.范·弗拉森把该问题表述为理论模型如何与现象相联系,并引入数据模型来协调二者的关系,提出理论模型由于与数据模型结构同构而表征了现象.但范·弗拉森否认结构的实在性,反对现象本身存在结构,从而导致数据模型与现象之间无法同构,产生"实在性丢失"问题.对此范·弗拉森...     

否定事实与实在论

如何解释否定,是真理理论中的一个难题。对工作于实在论背景下的真理理论来说,这个问题就是如何在本体论中容纳否定事实。罗素以及近来代表性的使真者理论者都不能在坚持实在论的同时令人满意地解释否定。然而,通过适当地收缩实在论立场,转而采取视角主义的实在论,这个问题可以得到解决。这时,我们可以用不相容关系来解释否定,并能回应罗素对不相容论的批评。     

结构实在论的研究新进展——从信息结构实在论到量子信息结构实在论

随着信息革命时代的到来,信息理论的发展为结构实在论的解读提供了新视角.惠勒提出"一切物理存在都源于比特"的信息本体观.之后,弗洛里迪提出信息结构实在论,预设了一个原初"结构对象"的存在,它是所有可能世界中所有结构的基础.基于弗洛里迪和惠勒的理论,以及当代量子理论的发展,拜纳姆又探讨了量子信息结构实在论的可能性.从信息结...