未经证明的地基——关于分类、集合论与人类知识基础的思想实验

前言这是一个思想实验。这篇文章只问一个问题如果集合论是错误的会发生什么这个如果是这篇文章每一个推论的前提。没有这个如果后面的一切都不成立。但正是这个如果揭示了一件值得注意的事情人类全部知识体系的存续可能系于一个从未被真正证明过的假设——世界是可以被分类的。这不是修辞。以下从三个层次逐层展示这一判断的依据。第一层ZFC公理本身是未经证明的ZFC集合论包含以下公理或公理模式外延公理、空集公理、配对公理、并集公理、幂集公理、无穷公理、替换公理模式、正则公理、选择公理。它们被直接接受不从更基本的命题推导而来。这不是ZFC的缺陷而是公理化方法本身的性质——任何公理系统的起点都是不可证明的否则将导致无穷倒退。Kunen在《Set Theory: An Introduction to Independence Proofs》2011中明确指出ZFC公理是作为关于集合宇宙的基本假设被接受的不存在从更基本原理推导ZFC公理的已知方法。更严重的是哥德尔第二不完备定理Gödel, 1931证明了任何包含初等算术的一致的形式系统F都无法证明自身一致性的陈述Con(F)。ZFC满足该定理的条件因此如果ZFC是一致的那么ZFC无法证明自身的一致性。这意味着数学家在使用ZFC时假定它是一致的但这个假定本身无法在ZFC内部得到验证。Franzén在《Gödel’s Theorem: An Incomplete Guide to Its Use and Abuse》2005中对此有详细讨论。Maddy在经典论文《Believing the Axioms I II》Journal of Symbolic Logic, 1988中系统分析了数学家接受ZFC公理的理由——这些理由包括直觉的合理性、理论的丰富性和实践中的有效性但不包括证明。不仅如此某些公理的地位长期存在争议。选择公理自提出以来就备受质疑。哥德尔1940证明了选择公理与ZF系统的相容性科恩1963证明了选择公理独立于ZF系统——即选择公理既不能从ZF中证明也不能从ZF中否证。这意味着接受还是拒绝选择公理是一个选择不是一个逻辑必然。类似地连续统假设在ZFC中不可判定Gödel 1940, Cohen 1963这表明ZFC公理系统对集合论的某些核心问题甚至没有确定的回答。结论ZFC公理是未经证明的假设ZFC无法证明自身的一致性部分公理的取舍甚至是人为选择。这些在数学基础领域是公认的事实。第二层在公理之下还有一个更深的、未经证明的预设ZFC公理规定的是集合怎么运作——集合之间可以取并集、可以取幂集、存在无穷集等等。但在所有这些公理之前有一个更基本的预设“属于”∈是一个有意义的二元关系。对于任意对象x和任意集合Ax∈A是一个具有确定真值的命题。在ZFC的形式化表述中∈ 是唯一的非逻辑符号。它是原始的primitive——ZFC的公理描述了 ∈ 的行为方式但不定义 ∈ 本身是什么。Enderton在《Elements of Set Theory》1977中指出∈ 是集合论的唯一原始二元关系公理系统告诉我们 ∈ 满足什么条件但不告诉我们 ∈ 是什么。这与欧几里得几何中点和线作为原始概念的地位完全类似——希尔伯特在《几何基础》Grundlagen der Geometrie, 1899中明确指出原始概念的含义不由定义决定而仅由公理之间的关系隐含地约束。而 ∈ 的二值性——“x∈A要么为真要么为假二者必居其一——甚至不是ZFC公理规定的。ZFC的公理没有哪一条说对任意x和Ax∈A要么为真要么为假”。这个要求来自ZFC所使用的底层逻辑——经典一阶逻辑——的内置假设。Shapiro在《Foundations without Foundationalism: A Case for Second-Order Logic》1991中讨论了形式系统对底层逻辑的依赖关系。Feferman在《Does Mathematics Need New Axioms?》1999中讨论了集合论基础中哪些假设是显式的公理、哪些是隐式的元逻辑预设。换言之一个对象可以被判定为属于或不属于一个集合这一预设不在ZFC的公理层面而在ZFC的元逻辑层面。它是公理之前的公理是游戏规则之前的我们要玩这个游戏这个决定本身。翻译成日常语言就是世界上的事物是可以被分类的。将一个对象判定为属于某个集合在认知层面就是将该对象归入一个类别。集合论的全部操作——并、交、补、幂集——都是对类别的操作。Lavine在《Understanding the Infinite》1994中分析了集合概念的直觉基础指出集合论的基本直觉就是将对象收集在一起——即分类。Benacerraf在经典论文《What Numbers Could Not Be》1965中提出了一个相关的问题集合论声称为数学提供基础但集合本身的本体论地位是什么如果集合只是一种人为的组织方式那么以集合论为基础的数学在多大程度上反映了数学对象的真实结构需要指出的是这一预设并非完全没有被讨论过。直觉主义数学Brouwer, Heyting质疑了 ∈ 的二值性——在直觉主义逻辑中x∈A不一定有确定的真值你必须给出构造性的证明或反驳。模糊集合论Zadeh, 1965允许元素以[0,1]之间的程度属于一个集合直接修改了 ∈ 的二值性。量子逻辑Birkhoff von Neumann, 1936提出了不满足分配律的逻辑结构暗示经典逻辑及其上的经典集合论可能不普遍适用。但这些替代方案均未取代经典集合论在数学主流中的地位。结论∈ 的有意义性和二值性是一个比ZFC公理更深的预设它来自底层的经典逻辑而非ZFC公理本身等价于事物可以被分类。该预设在数学实践的主流中从未被质疑过尽管在数学哲学和替代逻辑的研究中已有零星讨论。第三层经典逻辑本身也是未经证明的即使接受了集合论支撑集合论的底层逻辑——经典逻辑——其自身的基本定律同样是公理性质的不可证明。同一律AA、矛盾律¬(A∧¬A)、排中律A∨¬A——这三条定律在经典逻辑中具有公理地位。它们是逻辑系统的起点不从更基本的原理推导。在命题逻辑的公理化表述中如Hilbert系统它们要么是公理要么是公理的直接推论。在自然演绎系统中它们以推理规则的形式出现——但无论表述为公理还是推理规则它们都是系统的起点假设不是被证明的定理。排中律已经被正式质疑过而且不是在边缘领域而是在数学基础研究的核心。布劳威尔Brouwer在20世纪初创立的直觉主义数学明确拒绝排中律。在直觉主义逻辑中“A或非A不被接受为普遍有效——你不能断言一个命题为真或为假除非你有一个构造性的证明或反驳。海廷Heyting将直觉主义逻辑形式化建立了一套不包含排中律的完整逻辑系统。在这套系统下部分经典数学定理不再成立——例如不能证明每个实数要么是有理数要么是无理数”除非给出一个判定程序。这表明排中律不是不言自明的真理而是一个可以被拒绝的选择——拒绝它之后仍然可以建立一套自洽的、尽管不同的数学。Dummett在《Elements of Intuitionism》1977中对此有系统讨论。更值得注意的是量子力学对经典逻辑构成了来自物理学的经验层面的挑战。Birkhoff与von Neumann在《The Logic of Quantum Mechanics》1936中提出量子力学的命题结构不满足经典逻辑的分配律。具体来说在双缝实验中如果a表示粒子通过左缝b表示粒子通过右缝c表示粒子落在屏幕上某一区域那么经典逻辑的分配律c∧(a∨b) (c∧a)∨(c∧b)失效——因为干涉效应的存在分别考虑左缝和右缝的情况再相加与同时考虑两条缝的情况会得到不同的结果。Putnam在《Is Logic Empirical?》1968中进一步论证量子力学可能要求我们修改逻辑本身——逻辑不是先验的必然真理而是可以被经验修正的。关于量子力学是否真的要求修改逻辑学术界存在分歧。一些物理学家和哲学家如Putnam认为确实如此另一些人如Maudlin等认为量子力学可以在保留经典逻辑的前提下得到解释。但无论争论的结论如何Birkhoff-von Neumann的工作本身已经表明经典逻辑的普遍有效性是可以被质疑的而且这种质疑有来自物理学的经验动机。结论经典逻辑的基本定律是公理性质的假设不可证明。排中律已经被直觉主义数学正式拒绝量子力学也对经典逻辑的普遍有效性构成了挑战。这些都是学术界公认的事实。三层结构的总结人类科学大厦 ↑ 建立在 数学 ↑ 建立在 ZFC集合论 经典逻辑 ↑ 建立在 事物可以被分类∈ 是有意义的二元关系 ↑ 未经证明。三层逐层向下每一层都是上一层的基础每一层都是未经证明的假设。最底下的那一层——“事物可以被分类”——甚至没有被正式表述为公理而是作为一个沉默的预设被整个体系继承。如果这个假设是对的一切照旧。如果这个假设是错的——后果值得提前思考。以下是这个思想实验的全部内容。本文用分类和逻辑写成——因为人类语言没有第二种写法。这意味着如果文章的假设成立文章自身的论证工具也将失去可靠性。本文用逻辑本身来批判逻辑用集合本身来批判集合。这是一个无法回避的自指困境。但这个困境本身恰恰印证了文章的核心论点——人类连质疑分类都只能依赖分类连审视逻辑都只能使用逻辑。如果一个体系强大到连对它的批判都必须在它内部进行那么这个体系究竟是坚不可摧的还是不可逃逸的——这两者之间的区别也许正是这篇文章想要追问的。一、假设2050年Ω来了假设2050年一种非人类智能体抵达地球。Ω不一定是外星人具体形态不重要重要的是以下三条假设假设一Ω的技术能力远超人类表明其对实在的认知深度超越人类。假设二Ω的认知方式不以分类为基础。假设三Ω能够向人类展示——分类不是事物的本质属性而是人类认知的一种特有方式。这三条都是假设。没有任何证据表明这样的Ω存在或将会存在。但思想实验的价值不在于前提是否为真而在于推演能够暴露既有体系的哪些结构——正如爱因斯坦的追光思想实验不需要真的去追光就暴露了经典力学的结构性困难。如果以上三条假设成立以下的一切就会发生。二、人类知识的结构分类作为统一基础在展开如果的后果之前先看看人类知识的结构。这一节不是假设而是对现状的描述。2.1 一切建立在分类之上人类全部形式化知识呈金字塔结构层级5工程技术与应用科学 层级4自然科学理论物理、化学、生物 层级3数学各分支分析、代数、几何、拓扑、概率 层级2数学基础ZFC集合论、经典逻辑 层级1分类集合论的基本操作是判定一个元素是否属于一个集合——这是一次分类。逻辑的基本操作是判定一个命题为真或为假——这也是一次分类。同一律将对象归入与自身相同的类别矛盾律禁止对象同时属于两个互斥的类别排中律强制要求对象必须被归入某个类别。人类数学的全部内容可以在ZFC集合论中得到形式化表述。物理、化学、生物的全部定量理论建立在数学之上。工程技术建立在自然科学之上。层级1——分类——是整座金字塔的唯一基础。需要指出的是“唯一基础这个判断本身就是一种分类——它把知识体系的组件分成了基础和非基础”。这篇文章从第一句话开始就无法脱离分类。这一点将在后文中进一步讨论。2.2 离散与连续物理学的第一道裂缝物理学从诞生之日起就被一道裂缝贯穿世界是离散的还是连续的牛顿力学描述的是连续的世界。空间连续时间连续物体的运动轨迹是连续的曲线。微积分——牛顿力学的数学语言——正是为处理连续量而发明的工具。量子力学描述的是离散的世界。能量是量子化的电子的轨道是分立的能级从一个能级跃迁到另一个能级没有中间过渡态。同一个宇宙在宏观尺度上呈现连续面貌在微观尺度上呈现离散面貌。在数学内部这道裂缝同样存在。离散数学组合学、图论、数论和连续数学分析、微分方程、测度论各自发展出庞大的理论体系。而连续统假设在ZFC中不可判定——哥德尔和科恩分别证明了它既不能被证明也不能被证伪。这意味着在人类现有的数学基础中离散和连续之间的确切关系是原则上不可判定的。此外这里存在一个值得注意的循环所有对连续现象的数学描述最终都依赖离散的符号系统——实数是连续的但描述实数的公理和符号全部由离散符号组成。反过来量子力学中的离散现象量子化的能级是通过连续的数学工具希尔伯特空间、波函数来描述的。离散通过连续来描述连续通过离散来表达每一方都无法脱离另一方独立存在。2.3 确定与不确定物理学的第二道裂缝经典力学是确定论的。给定系统在某一时刻的完整状态原则上可以精确计算系统在任何过去或未来时刻的状态。拉普拉斯妖是这一思想的极端表达一个全知的智能体可以计算出宇宙的全部历史和全部未来。量子力学打破了这一图景。海森堡不确定性原理指出一个粒子的位置和动量不能同时被精确确定——这不是技术上的限制而是原理上的限制粒子不具有同时精确的位置和动量。波恩的概率诠释表明波函数的模方给出的是概率分布。物理学的最基本定律不再给出确定的预测而只给出概率。贝尔不等式和阿斯佩实验排除了最一般意义上的隐变量理论。量子力学的不确定性不可归结为人类知识的不完备而是本体论层面的。然而确定性和概率性之间也存在着类似的循环依赖。退相干理论解释了宏观世界为什么看起来是确定的——量子系统与环境发生相互作用后叠加态迅速退相干表现得像经典的确定状态。但退相干后的系统仍然由量子力学描述——确定性是概率极度集中时的近似表现不是独立的本体论范畴。反过来概率论的数学基础柯尔莫哥洛夫公理建立在集合论之上——概率是事件集合到实数的映射——概率论从头到尾依赖分类。确定性通过概率的极限来逼近概率性通过分类的框架来定义两者互相依赖无法独立存在。2.4 两道裂缝的交汇这两道裂缝在量子力学中交汇成了一个问题。量子力学同时是离散的量子化的能级、分立的测量结果和连续的波函数的演化遵循连续的薛定谔方程。量子力学同时是确定的波函数的演化是确定性的、酉的和不确定的测量结果是概率性的。测量问题是这一矛盾的集中体现。薛定谔方程描述的演化是连续的、确定性的、可逆的。但测量造成的波函数坍缩是离散的、概率性的、不可逆的。同一个理论中包含两种对立的动力学过程近一百年来没有得到公认的解决。统一理论——将广义相对论连续的时空、确定性的场方程与量子力学离散的量子、概率性的测量统一在一个框架中——是物理学的核心目标。弦论和圈量子引力各有进展但至今未能实现统一。以上全部是物理学界公认的事实。这篇文章到目前为止没有做出任何假设。三、一种可能的解释从这一节开始进入假设。3.1 三种解释前一节列举的裂缝——离散与连续的对立、确定与不确定的对立——存在多种可能的解释。解释一物理学还不够发达。未来的某个理论将会调和这些对立。这是大多数物理学家持有的立场也是最自然的期待。解释二这些对立反映了世界的真实结构。世界在不同尺度上确实遵循不同的规律。这也是一种合理的可能。解释三这些对立不是世界的属性而是人类分类系统的产物。世界本身既不是离散的也不是连续的既不是确定的也不是不确定的。是分类这个认知操作把世界切成了对立的两半然后人类用了一百多年试图把自己切开的东西重新粘起来。这篇文章关注的是解释三。不是因为解释三一定正确而是因为它的后果最值得推演如果解释三成立会发生什么3.2 为什么解释三值得认真对待解释三初看之下显得极端但有几个理由使它值得认真对待。第一离散和连续在数学和物理中的纠缠程度异常深。如前所述离散现象通过连续工具来描述连续现象通过离散符号来表达。如果它们是世界的两种独立属性这种纠缠就难以解释。但如果它们是同一个事物被分类框架切成的两半纠缠就是自然的——它们之间的联系不是巧合而是同一事物被切割后留下的痕迹。第二自洽性不能作为分类正确性的证据。牛顿力学自洽了两百年然后被相对论和量子力学取代。光的粒子理论自洽了一百年波动理论也自洽了一百年最终波粒二象性表明两者都不是光的本质。确定论在宏观世界自洽概率论在微观世界自洽——但它们描述的是同一个宇宙。每一次自洽都制造了这就是本质的幻觉每一次幻觉最终都被修正。自洽是分类系统的内部属性——一个设计精良的分类系统一定是自洽的但自洽只证明系统设计得好不证明世界本来就按照这个方式存在。第三人类自己已经多次触及分类框架的边界。罗素悖论暴露了集合论的裂缝。哥德尔不完备定理证明了形式系统无法完全自洽地为自己奠基。量子力学中排中律在微观层面的失效对经典逻辑的普遍有效性构成了挑战。这些都是人类知识体系内部已经存在的张力。当然这些理由都不构成对解释三的证明——它们只是使解释三成为一个值得推演的假设。3.3 如果Ω带来了解释三假设Ω以某种方式向人类展示了解释三的正确性——不是论证因为论证依赖逻辑逻辑依赖分类而是以某种超出人类现有认知框架的方式进行展示。展示的内容是离散和连续不是世界的两种属性而是人类分类系统中的两个格子。世界被硬塞进了这两个格子——有些面向塞进了离散格子量子现象有些面向塞进了连续格子宏观运动但世界本身不在任何一个格子里。确定和不确定也不是世界的两种状态而同样是分类系统的产物。维度也不是空间的固有属性——一维、二维、三维……N维是人类对空间的分类方式不是空间本身的结构。如果这些都成立——注意仍然是如果——那么接下来的推论是严格的。四、如果分类是错误的推演4.1 如果分类是错误的则集合论失去意义集合论的全部内容建立在一个基本操作上判定一个元素是否属于一个集合。这个操作的前提是事物可以被分类。如果分类本身是错误的那么属于这个关系就失去了意义。不是某个特定的集合定义有问题是集合这个概念本身失去了意义。外延公理说两个集合如果有相同的元素就是同一个集合。但如果元素属于集合这个判断本身没有意义外延公理就不是被违反了而是失去了谈论的资格。空集公理、配对公理、并集公理、幂集公理、无穷公理——每一条都预设了分类的有效性。如果分类被推翻这些公理全部变成无意义的符号串。这里需要区分两种不同的失败方式。一种是被证伪——即在系统内部发现矛盾。另一种是失去意义——即系统的前提条件不再被满足。如果分类是错误的集合论面临的是后者。它不是被证伪了而是它所谈论的东西——集合——不再是一个有意义的概念。4.2 如果集合论失去意义则数学失去意义经典逻辑的命题演算建立在真值的二元分类之上——真或假。如果分类被否定真值分类失去意义逻辑推理失去基础。算术建立在自然数上自然数的形式化定义建立在集合论上无论是冯·诺伊曼的定义还是策梅洛的定义。如果集合论失去意义112不是变成错误的而是变成无意义的——因为1、“”、这些符号的形式化定义全部依赖集合论。分析学建立在实数连续统上实数连续统建立在集合论上。如果集合论失去意义微积分失去意义——导数、积分、极限这些概念全部失去形式化基础。代数学中群、环、域的定义是满足特定公理的集合加上特定运算。如果集合失去意义这些代数结构全部失去定义。几何学与拓扑学中流形是局部同胚于欧几里得空间的拓扑空间拓扑空间是赋予了拓扑结构的集合。如果集合失去意义一切几何失去意义。这里有一个重要的补充有人可能会指出范畴论试图以结构和关系而非集合和元素为基本概念是否可以作为集合论的替代基础答案是范畴论的定义仍然需要区分对象和态射、“源和靶”——这些都是分类操作。范畴论不是对分类的超越而是在更高的抽象层次上重新实施分类。如果分类本身是错误的范畴论同样失去意义。4.3 如果数学失去意义则科学失去意义麦克斯韦方程组用微积分写成——如果微积分失去意义方程组就不再意味着任何东西。薛定谔方程、爱因斯坦场方程、标准模型的拉格朗日量——同理。方程还在纸上但如果数学没有意义它们就只是符号的排列不再描述任何物理内容。化学中的元素分类、反应方程式、量子化学计算——全部依赖数学。生物学中的分子生物学、遗传密码、种群动力学模型——全部依赖数学。工程学中的结构力学、流体力学、电路分析——全部依赖数学。如果分类是错误的这些学科不是被逐个推翻而是同时失去意义——因为它们的合法性同时依赖于同一个基础。4.4 但飞机还在飞这是这个思想实验中最值得注意的部分。即使以上推演全部成立——集合论失去意义数学失去意义物理学失去意义——飞机仍然会继续飞。桥仍然会继续承重。药仍然会继续治病。薛定谔方程算出来的氢原子能级仍然会和光谱仪测到的数据吻合。理论失去了意义但理论的预测仍然有效。这怎么理解如果分类确实是错误的那么唯一的解释是人类科学的有效性不来自于它正确描述了世界而来自于分类系统碰巧在某些局部与世界的某种结构产生了某种近似的对应。这种碰巧的程度可以非常高——精确到小数点后十几位。但精确的碰巧仍然是碰巧。正如托勒密的地心说可以通过足够多的本轮和均轮达到相当高的预测精度但它仍然不是行星运动的正确描述。如果这一推论成立科学就从对自然规律的系统性理解变成了一套碰巧与实验数据高度吻合的符号操作规则。五、操作手册5.1 操作手册与理解的区别操作手册告诉你怎么做不告诉你为什么。如果科学变成了操作手册实践层面几乎不受影响。工程师继续用牛顿力学设计桥梁桥继续承重。医生继续用药治病药继续有效。物理学家继续用薛定谔方程计算能级结果继续和实验吻合。但认知层面发生了根本变化。以前如果有人问桥为什么能承重答案是因为牛顿力学正确描述了力的行为。在这个思想实验的假设下答案变成了桥确实在承重按照牛顿力学的公式算出来的结构碰巧能承重但牛顿力学为什么碰巧有效没有人知道。这里需要区分两件事有效性和合法性。有效性是指理论的预测与实验数据的吻合程度。合法性是指理论作为对世界之描述的资格。如果分类是错误的科学丧失的是合法性而非有效性。飞机还在飞但飞行不再是被理解了的——它只是被操作了。有人可能会说如果科学仍然有效那它是否真的理解了世界似乎并不重要。“碰巧有用就够了。这是一种合理的实用主义立场。但它意味着一个深刻的转变科学从一种解释性的事业变成了一种操作性的事业。科学不再回答为什么”只回答怎么做。5.2 自洽的陷阱如果有人试图用科学理论的内部自洽性来反驳科学只是操作手册这一推论这个思想实验的分析表明这种反驳是循环的。牛顿力学完美自洽了两百年——然后相对论表明它只是近似。光的粒子理论自洽了一百年波动理论也自洽了一百年——然后波粒二象性表明两种分类都不是光的本质。确定论在宏观世界自洽概率论在微观世界自洽——但它们描述的是同一个宇宙至今未能统一。自洽是分类系统的内部属性。一个设计精良的分类系统一定是自洽的——这正是它被设计得好的标志。但自洽只能证明分类系统本身是一致的不能证明世界就是按照这个分类方式存在的。用自洽来论证正确性就像一部小说内部没有情节矛盾就断言它描述的是真实事件——逻辑不成立。这意味着如果分类确实是错误的人类没有任何手段来检测这一错误。因为检测需要一个外部参照——需要直接接触分类之前的事物本身来进行比较。但人类的一切认知手段观察、测量、推理、实验全部经过分类的过滤。人类无法直接接触未经分类处理的实在因此也无法判定分类是否扭曲了实在。5.3 科学的地位变化如果这个思想实验的假设成立科学的认识论地位将发生以下变化科学仍然是人类拥有的最有效的操作系统——它的预测精度远超任何其他认知体系。这一点不受影响。但科学将不再有资格声称自己是对世界的描述。它的地位从对自然规律的理解转变为一套经验上高度有效的操作规则集。科学和其他碰巧有效的经验体系之间的区别从本质差异缩小为程度差异——科学碰巧有效的精度和范围远远超过其他体系但这只是程度上的优势不是性质上的不同。六、人类能否逃离分类6.1 如果存在非分类的认知这个思想实验假设了Ω的存在。Ω的认知方式不以分类为基础——在Ω的认知中不存在离散和连续的区分不存在确定和不确定的区分不存在维度的概念不存在真和假的区分。这并不意味着Ω超越了这些对立——超越仍然预设了对立的存在。而是这些对立在Ω的认知中根本不出现就像人类的认知中不存在某些动物拥有的磁感应能力——不是人类决定不用磁感应是人类的认知结构中这个维度不存在。对这种认知方式的任何描述——包括上面这一段——都注定是不准确的。描述需要语言语言的结构主语、谓语、宾语就是分类。用分类的语言描述非分类的认知就像用二维的纸描述三维的空间——只能得到投影投影不等于空间本身。这是本文在这个话题上的根本局限。如果Ω的认知方式确实存在且有效它意味着分类不是认知的必要条件——人类一直以为分类是认知的唯一方式但那可能只是因为人类碰巧只拥有这一种方式。6.2 如果人类无法学习Ω的认知方式假设Ω能够展示非分类的认知方式。人类能学会吗如果分类是人类大脑的硬件约束——由神经元的物理结构决定——那么答案是不能。人类无法学会非分类的认知就像人类无法直接感知紫外线——不是训练不够是感知器官不支持。如果分类是软件层面的习惯——由文化和教育塑造——那么理论上存在改变的可能。但起点在哪里学习需要理解理解需要分类。用分类来学习非分类的认知方式在结构上就存在矛盾。这两种可能中哪一种是实际情况目前无法判断。但无论哪种情况短期内人类都无法脱离分类。这意味着即使Ω的展示是成功的——即使人类接受了分类不是世界的本质这一判断——人类仍然只能继续使用分类来进行日常的科学研究和工程实践。知道手中的工具有结构性的局限但仍然必须使用这个工具——这就是这个思想实验所揭示的处境。6.3 关于量子力学测量问题的一个推论如果分类确实不是世界的本质那么量子力学的测量问题可以从一个新的角度来理解。测量问题之所以存在是因为物理学把量子过程分为两类——“演化”连续的、确定性的和测量离散的、概率性的——然后发现这两类过程遵循互相矛盾的规律。但演化和测量的区分本身就是人为的分类。在物理世界中不存在一条客观的分界线标示着演化在这里结束测量在这里开始。如果取消演化/测量的分类测量问题就不再是一个需要被解决的物理问题而是一个分类框架自身制造出来的人为困难。但取消这个分类同时也意味着量子力学的整个形式化框架失去了基础——因为这个框架从头到尾就建立在这个分类之上。同理统一理论的困难也可以从这个角度重新审视。统一理论的目标是将广义相对论和量子力学统一在一个框架中。但这个目标预设了连续的时空和离散的量子是需要被统一的两种东西。如果它们一开始就不是两种东西——如果离散/连续的划分只是分类的产物——那么统一的目标本身就需要被重新审视。这并不意味着测量问题和统一理论的困难可以被轻易消解。它只是提示了一种可能这些困难的根源也许不在物理学的内部而在物理学所使用的认知框架——分类——的结构之中。七、不可抵御性分析7.1 如果分类被证明是错误的人类能否抵御假设在这个思想实验中Ω成功地展示了分类是错误的。人类有没有可能通过某种方式来抵御这一结论反驳路径一用逻辑论证来反驳。但论证需要逻辑逻辑的基本操作就是分类。如果分类本身的合法性是被质疑的对象那么依赖分类的逻辑就不能作为裁判。这不是说逻辑一定是无效的而是说在这个特定的问题上逻辑处于利益相关方的位置不能同时担任裁判。反驳路径二用实验证据来反驳。但证据这个概念本身预设了分类——将观察结果分为支持理论的和不支持理论的。如果分类的合法性被动摇证据概念自身的基础也会动摇。反驳路径三用科学的实用性来反驳。但如前所述实用性和正确性是不同的概念。此外如果Ω的技术能力远超人类——这是假设一——那么非分类的认知在实用性上也优于分类认知。反驳路径四构建不基于集合论的替代数学基础。但任何替代基础仍然需要某种形式化语言形式化语言需要定义定义需要区分不同概念的边界区分就是分类。这条路径改变的是分类的具体形式而非分类这一操作本身。这并不意味着分类一定是错误的。它意味着如果分类是错误的人类在原则上没有有效的手段来抵御这一结论。这是一个条件性的判断不是一个无条件的断言。7.2 单点故障上述分析揭示了人类知识体系的一个结构性特征它具有单点故障的属性。层级2-5的任何一个组件发生故障只影响局部——推翻牛顿力学不影响生物学修正欧几里得几何不影响数论。这些都是正常的科学进步过程。但层级1——分类——是所有上层结构的共同基础。如果它出了问题所有上层结构同时失去合法性基础。不是逐层倒塌是同时丧失支撑。这个结构性特征是客观存在的不依赖于分类是否真的有问题。不管分类最终是对是错这种单点故障的结构都是人类知识体系的一个事实特征。八、回到现实8.1 这篇文章做了什么梳理一下这篇文章的结构。第二节指出了两个事实人类知识建立在分类之上物理学内部存在离散/连续、确定/不确定的长期对立。这些是事实不是假设。第三节提出了一种假设性的解释这些对立可能是分类制造出来的。这是假设不是事实。第四至七节推演了这一假设如果成立的后果。这些推演是严格的——如果你接受前提的话。这篇文章没有证明分类是错误的。它做的是一种压力测试假设最底层的基础出了问题看看上层结构会怎样。这种测试不需要故障真的发生就有价值——正如建筑师在设计阶段就要考虑地震的影响不需要等地震真的来了才开始分析。8.2 最有力的反驳这篇文章面临的最有力反驳是“基础不是本质不等于体系崩塌”。分类可能不是世界的本质——但一个有用的工具不因为不是本质就失去了使用价值。地图不是领土的本质但地图仍然有用。也许科学可以坦然地承认自己是近似的、有局限的操作系统同时继续正常运转。也许有效就够了不需要正确。这个反驳是有力的。这篇文章不试图完全回应它。但这篇文章想指出的是一个更窄的推论如果分类确实不是世界的本质那么物理学在离散/连续、确定/不确定这两个核心对立上就原则上无法取得根本性的进展。因为这两个对立——如果解释三成立——是分类框架自身制造出来的而科学在分类框架内部无法消除由框架自身产生的矛盾。这不是说科学无法进步。科学可以在现有框架内继续做出大量有价值的工作——发现新粒子、开发新材料、治疗新疾病。但在最根本的层面上——离散与连续的统一、确定与不确定的调和、量子引力的建立——如果这些困难确实来自分类框架本身那么框架内的努力可能永远无法触及问题的根源。8.3 一个从未被证明的假设这篇文章最终指向的是一个简单的事实人类从未证明过世界是可以被分类的这一假设。这个假设被当作不言自明的前提接受了——几千年来没有人正式质疑过它。就像欧几里得的平行公设被当作不言自明的真理接受了两千年直到有人问如果平行公设不成立会怎样然后非欧几何诞生了——不是推翻了欧几里得几何而是揭示了一个更大的可能性空间。这篇文章问了一个类似的问题如果分类不成立会怎样也许答案是分类确实成立一切照旧。也许答案是分类不成立这篇文章描述的一切就会发生。也许答案是这个问题本身无法在分类框架内被回答——因为回答需要逻辑逻辑需要分类不能用分类来裁决分类的有效性。无论答案是什么这个问题本身的存在已经揭示了人类知识体系的一个结构性特征它的全部重量放在一个从未被证明的假设上面。这个特征不依赖于假设最终是对是错——它是知识体系自身结构的客观属性。结语这篇文章是一个思想实验。它从两个公认的物理学事实出发——离散与连续的对立、确定与不确定的对立——提出了一种假设性的解释这些对立是分类的产物然后推演了这种假设如果成立的后果集合论失去意义数学失去意义科学变成操作手册。这篇文章不声称假设是正确的。它声称的是这个假设的可能性以及它一旦成立所带来的后果值得被认真思考。人类的知识大厦宏伟而精确。它让飞机飞上天空让信号穿越大洋让疾病得到治疗。这些成就不会因为任何思想实验而消失。但每一位建筑师都知道了解大厦的地基结构是必要的——不是为了拆毁大厦而是为了知道大厦站在什么上面。这篇文章的目的不是拆毁任何东西。它的目的是看一眼地基。写于2050年之前。写于Ω尚未到来——或者永远不会到来——的某一天。*写于人类仍然在使用分类、仍然在争论离散与连续、仍然在困惑确定与不确定的某一天。*如果有一天这些争论突然有了一个出乎意料的答案这篇文章希望那个答案不会让人太意外。*如果这些争论永远持续下去这篇文章希望人类至少知道——自己的大厦站在什么上面。*最后我只想问一个问题为什么几乎每一本数学教材的第一章都是集合这些顶尖的数学家们或许早已隐约意识到了什么——只是谁也不敢说出来。