分析不可或缺性论证:解释差异性

不可或缺性论证是数学实在论者用来支持数学实体存在的一个重要论证,数学非实在论者通常也把不可或缺性论证作为反驳数学实在论者的一个重点。本文站在数学非实在论者的立场对数学实在论者的观点进行回应,通过论证物理理论和数学理论在科学理论中发挥了不同的解释作用来说明不可或缺性论证是不成功的。因此,本篇文章最终说明了不可或缺性论证无法按照数学实在论者认为的那样得出数学实体存在的结论。     

数学真理困境的不可或缺性论证出路

不可或缺性论证在强调数学与科学之整体性的基础上,试图借助数学在科学中的不可或缺性证实数学实体的存在性,成为求解数学真理困境的巧妙方案。然而,不可或缺性不能等同于经验确证,数学实在与否并不在于数学在科学中是否或缺,二者分属于不同的问题域。本文在阐明不可或缺性论证的基本形式及其对数学真理困境的求解策略的基础上,进一步指出了该论证的缺陷、得出了其对求解数学真理困境的有益启示,即要想突破数学真理困境,就需要洞察数学与科学的之间的关联性,揭示二者一致的实在本性,使数学能真正地具有与科学同等的本体论和认识论地位。     

物理主义是最可能的形而上学吗?

文章首先区分了物理主义与自然主义,强调前者是一个形而上学命题,后者是一个认识论命题.对于物理主义的两大论证,方法论自然主义论证和因果闭合性论证,文章指出了其中的缺陷.方法论自然主义论证暗含了朴素的科学实在论,而因果闭合性论证混淆了封闭系统与开放系统的本质区别.这两个论证的失效,表明物理主义无论是作为关于整个世界的形而上学,还是仅仅作为关于心灵的形而上学,都面临严重的困难.文章最后提出,科学与形而上学之间应该是一种盟友的关系,而不应该是一种依附关系.     

迈蒂的数学自然主义立场评述

迈蒂致力于提出一种基于数学实践本身的数学自然主义纲领,以改进蒯因的严重偏离数学实践的自然主义图景.然而,她将数学本体论和认识论问题都归之于方法论问题的策略引起了广泛的质疑.     

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

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

在理论科学中基本实体的结构进路

无论是认识论的结构实在论,还是本体论的结构实在论,都没有在本体论层面和解释层面去直面库恩的论证,它们通常停留在结构层面,并求助于数学结构的连续性。从建构结构实在论的立场看,这种回避问题的方法于事无补,为实在论作有效辩护的唯一方法是在本体论层面直面库恩的论证,对明显的本体论不连续性给出一个可接受的说明,同时为科学发展中连续性的更为深层的意义作辩护。     

“我”是什么?——当代自然主义的个人本体论问题

在当代自然主义的背景下,追问"我是什么?"具有十分重要的理论意义。当前自然主义在个人本体论问题上的可选方案主要有虚无主义、动物主义、构成主义以及四维论。其中,动物主义为我们提供了一个基本的自然主义框架去把握和解决人格同一性问题。不过,这种专注于处理人格同一性问题的动物主义是不完整的,因而在人格同一性问题上容易受到传统心理连续性标准的挑战。一种完整的动物主义应当包含一种适当的自我模型并在意识问题上承诺了某种一般性的立场,换句话说,应当是自然主义整体世界观的组成部分。     

关于查尔莫斯意识理论的探析

为了揭示意识的奥秘,著名心灵哲学家查尔莫斯将意识"易问题"与"难问题"的区分确立为问题研究的切入点,巧妙构思,提出了自然主义二元论的解释方案,其思想的实质是计算功能主义与属性二元论的结合,但其主要遵循的是细致入微的概念分析和逻辑严谨的思想论证,带有一定程度的主观性和猜测性,容易陷入思考困境之中。意识"难问题"的确是一个难问题,对此只能试图从亚里士多德的哲学传统与伽利略的数理科学传统的对比中寻找新路径,希望诉诸自然科学层面"怎么样"的问题来回答意识本体论层面"是什么"和"为什么"的问题。     

什么是物理主义?

作为唯物主义的当代发展,物理主义是当前哲学界最为盛行的本体论学说。然而,物理主义的确切内涵却因"物理的"难以界定而暧昧不明。本文认为,要给出一个关于物理主义的清晰、明确的定义,就不能将物理主义视为一个具有真值的本体论学说,而应将其当作一个用以确立合适的本体论的方法论原则。     

物理主义是形而上学吗?

物理主义作为自然主义的一种典型形态,它断言一切事物都是物理事物,或者都随附于物理事物.对这一断言的理解涉及关系问题、完全性问题和条件问题,而且面临“磨坊论证”的严峻挑战.尽管当今学界普遍认为物理主义是一种形而上学,但本文作者认为物理主义没有资格被称为形而上学.     

塞尔的进化论自然主义意识理论述评

美国哲学家塞尔20多年来一直致力于意识问题的研究,90年代以来他提出了一种“进化论自然主义”的意识理论,并阐明了其意识研究的基本立场。本文认为,塞尔的“进化论自然主义”是一种非还原的唯物主义,它为科学地研究意识提供了一个非常有价值的本体论和方法论平台,并成为对意识进行跨学科研究的一个范例。     

唯物主义本体论基础的一次深刻总结——读《广谱存在论导引》

唯物主义的物质本体论基础经历了三个大的发展阶段,一次比一次更深刻、更普适,其中列宁的物质范畴是其最高阶段。广谱存在论继承了列宁物质范畴的基本精神,同时又吸取了现代数学关于代数结构、几何结构的不变性理论、现代物理学关于物理实在性的变换群理论等,从广义结构分析和广义量化的角度进行了新的抽象和概括,使唯物主义的本体论基础获得了新的形态。它可以看成是唯物主义本体论基础的又一次深刻总结。     

中国古算书中运动学问题的数学解法与近代物理解法的比较

从秦代至清中期,中国至少有24部算书共包含有上百道运动学算题。这些算题涵盖了匀速运动、匀变速运动和变加速运动三类内容。古人运用各种数学方法求解这些算题,无论是解题思路、思维方式,还是知识体系都与近现代运动学有明显的不同。文章将这些算题的传统数学解法与近现代物理解法进行了系统的分析比较,结果发现:对于匀速运动问题,数学解法与物理解法基本上是一致的;对于一些比较复杂的匀变速运动和变加速运动问题,数学解法与物理解法则有本质的不同。由此反映了古人独特的物理认知方式和解决问题的方法。由于中国古人对运动现象的认知方式是数学性的,而非物理性的,因而未能提出一般性物理概念,提炼出一般性物理问题,长期停留在一个认识水平上,无法发展成一般的运动学理论。     

结构实在论中的本体论

本体的结构实在论以结构主义方法论僭越形而上学,表现为本体论认识不明确。结构不取决于元素,这是错误的本体论命题。为了存在,不诉诸于个体,这是错误的认识论命题。建构的结构实在论提出"本体论综合",试图解决"悲观元归纳"问题。但是,对结构和实体谁为本体论模棱两可。为赋予数学结构以物理内容,结构变成衍生品。为应对不充分决定性命题,认识论上需令结构处于优先位置。理论术语是一个体系,并非某一术语单独构成本体论。科学发展过程中理论术语根据经验作适当增减。结构实在论没有处理好本体论与理论术语之间关系。结构实在论中形而上学与本体论有重叠,因果关系是其必须回答的话题。     

重建量子力学的本体论承诺——俄苏量子力学哲学研究的独特贡献

量子力学的哥本哈根正统解释将测量中的波函数坍缩视为一个真实的物理过程,对这一过程的“无解”导致其走向了工具主义,认为波函数仅仅是有关未来实验可能结果的全部知识。消解波函数物理解释的结果带来了量子力学本体论承诺的问题。遵循正统解释的关系量子力学并不拒绝波函数的本体论承诺,但仍坚持波函数工具主义的解释路线,延续了正统解释的本体论问题。21世纪20年代前后,俄苏学者提出了量子力学的语境实在论的解释方案,认为测量不是导致微观物理系统状态变化的交互作用,而是在语境中对物理实在的识别。语境实在论恢复了波函数的物理解释,重新定义了测量概念,确立起波函数与量子实在的关联,重建了量子力学的本体论承诺,在正统解释的自身框架内解决了正统解释的本体论问题,做出了独特的贡献。     

动物主义:当代人格同一性理论的新发展

动物主义是当代人格同一性理论的重要发展,其核心观点为人格的持存性条件即是作为动物的持存性条件。以奥尔森、斯诺登、布拉提等人为代表的动物主义者提供了思想的动物论证,胎儿问题论证,动物先祖论证等各种论证形式,它们遭到了来自于新洛克主义等多方质疑和批评。本文将考察各种论证与反驳的形式,并指出动物主义所面临的一般性问题是如何确定人格及动物的本体论地位。     

论心理意向的后现代重建

本文通过对意向性理论发展的历史回顾性和理性审视，揭示出心理意向性问题在心智哲学后现代演变中发生了主题性的转变，在这一过程中，“心理主义转向”和“自然主义回归”的哲学背景促成了意向性研究对命题态度，心理表征能力的关注，意向性的自然化则将人类意向与实践语境关联起来，从而使后现代意向实在观念构建于坚实的语境基底上，展示了人文主义和自然主义传统在心理意向重建的关节点中所达致的本体论性，认识论性和方法论性的     

有限算术知识的结构主义解释

贝纳塞拉夫指出我们在说明数学真理上会面临一个两难困境:我们无法在认为数学真是关于独立于我们的抽象的数学事实的前提下,同时拥有一个关于如何认识到这些事实的合理说明。贝纳塞拉夫向传统的数学知识观点提出了挑战。通过采纳一种数学的结构主义,本文给出了一种认识论说明,表明我们可以拥有算术知识。该说明包含了两个部分:第一部分通过模式识别表明我们持有的结构概念和物理世界的因果联系,第二部分则试图表明我们如何可以先验地获得关于数的结构的知识。最后,本文论证这一说明至少是一个合理的说明我们能够拥有有限算术知识的解释。     

可设想性论证的局限性

可设想性论证在当代物理主义与反物理主义之争中具有举足轻重的作用。著名的可设想性论证有:(1)克里普克(S.Kripke)的模态论证;(2)查莫斯(D.Chalmers)的僵尸论证;(3)法兰克西(K.Frankish)的反僵尸论证。这三个论证都以查莫斯版本的CP论题?——"可设想性蕴涵可能性"原则——为工作前提。本文考察了查莫斯的可设想性理论并推导出它的两个理论后果:一、所有的必然命题都是先天命题。在命题的维度,后天必然性不再是融贯的概念。再者,所有的物理主义承诺都是必然命题,因此,它们全都是先天命题。这样一来,后天物理主义无法成立;二、我们无法利用可设想性论证判断一个先天命题是否可能为真。由于这个局限性,我们无法利用可设想性论证判断先天物理主义正确或失败。     

集合论多宇宙观述评

集合论作为数学基础的成功使得关于数学对象的本体论问题被归约为关于集合的本体论问题。传统的(集合)实在论强调集合的存在,从而人们可以谈论关于这些集合的概念是否符合那个客观事实。而作者将在本文中介绍并评析另一种逐渐流行起来的集合论哲学——多宇宙观(Multiverse View)。这一立场强调存在许多集合论宇宙以及相应的集合概念。在该语境下,传统实在论则相应地被看作是一种唯一宇宙观(Universe View)的立场。两者的争论是当前数学基础领域的热门话题。