2.1 本体论：存在的分类

2.1 本体论：存在的分类

本节摘要：本体论（Ontology）研究"存在的基本类型与结构"：世界里的东西可以分成哪几类？"同一个东西"凭什么在变化之后还是同一个？本节用忒修斯之船思想实验把"同一性"问题逼出来，再给出本体论的标准范畴清单（实体、属性、关系、事件、共相），并对照三种主要立场——实在论、唯名论、概念论——看它们怎么回答"共相存不存在"。

忒修斯之船：换到第几块木板时它不再是它？

一艘船在海上航行，水手每次换掉一块腐烂的木板。三年后，船上没有任何一块原始木板了。它还是"忒修斯之船"吗？

多数人的直觉会犹豫一下，然后说"还是吧，换木板是正常维护"。好，现在加一个条件：有人把换下来的旧木板全部收集起来，在港口用它们重新拼出了一艘船。现在有两艘船——海上那艘和港口那艘——哪艘才是忒修斯之船？

• 说海上那艘是：它有连续的航行史。可它没有一块原始材料。
• 说港口那艘是：它有全部原始材料。可它从未航行，是"用旧零件造的新船"。

这个实验的杀伤力在于：它证明"同一性"不可能同时由材料连续和功能/历史连续唯一决定。两个标准各自说得通，合在一起却给出两个"winner"。你的选择暴露了你默认的本体论立场——你以为"东西"有客观身份，其实身份依赖于你选哪种连续性标准。

存在的基本范畴

把世界里"存在的东西"分门别类，是本体论的第一份工作。主流范畴清单长这样：

亚里士多德的"十范畴"（实体、数量、性质、关系、地点、时间、姿态、状况、动作、承受）是这份清单的古代原型。当代本体论工程（比如知识图谱设计者要定义"什么是公司、什么是一场交易"）干的是同一件事，只是换成了数据库语言。

⚠️ 常见误区：把"分类"当成"命名"。给东西起名字是语言学；追问"这些名字对应的类型本身是否真实存在"，才是本体论。

共相之争：三种立场

"红色"存在吗？你见过一张张红的纸、红的苹果，但你从来没见过"红色本身"。这是中世纪遗留至今的本体论核心争论：

1. 实在论：共相真实存在。红的个体之所以都"红"，是因为它们分有了客观存在的"红"。柏拉图版本说共相在一个独立的理念世界；亚里士多德版本说共相存在于个体之中。
2. 唯名论：只有个体存在。"红色"只是我们给一类相似个体起的名字，一个方便的标签，不指称任何额外的东西。
3. 概念论（中间派）：共相存在于心灵中，是我们抽象能力的产物——不独立于个体存在，但也不只是声音符号。

怎么判决？经典的"多于一个的论证"（one-over-many argument）：如果"红"只是名字，那"这张纸是红的"这句话里"红的"指向什么？唯名论者回应：指向与范式样本的相似关系。争论至今没有终结，但注意它的现实回声——当代 AI 讨论里，"概念"在大模型中是否对应真实的抽象结构，就是共相之争的计算版本。

图：忒修斯之船与同一性的两条标准

本节要点回顾

• 忒修斯之船证明"同一性"无法同时由材料连续和历史连续唯一决定，选择标准就是选择立场。
• 基本范畴：实体、属性、关系、事件、共相——本体论给"存在的东西"开清单。
• 共相之争三立场：实在论（共相实在）、唯名论（只有个体）、概念论（共相在心中）。
• 本体论分类不是命名游戏，知识工程、AI 概念建模都在做它的现代版。
• 追问"X 存在吗"时，先问"你说的存在是哪个范畴的存在"——这是本体论的第一反应。

下一节把镜头从"船"拉到整个宇宙：如果有一个知道一切初始条件的智能，它能否预测你的下一个念头？

延伸：本体论依赖关系的现代应用

范畴清单之外，本体论还有一个强力工具：依赖关系分析。一个东西可以存在但不独立存在——笑容依赖脸、洞依赖环面包、婚姻依赖制度。当代形而上学家用这个工具区分"基础存在"与"派生存在"，并给出了可操作的比较准则：

[依赖性判据]
本体依赖: 若 B 不存在则 A 不可能存在 => A 依赖 B
例: 旋律依赖演奏, 公司依赖法律制度, 心情依赖身体
问题: 依赖是否传递? 旋律→演奏→乐器→夸克, 音乐"归根到底"是物理吗?
立场A(还原论): 依赖链底层唯一真实
立场B(突现论): 每一层依赖关系都是真实的新结构
​

这个判据直接连接当代议题：AI 系统的本体地位就卡在依赖链上——模型依赖权重矩阵，推理依赖硅基计算，但"理解"如果存在，它依赖的是底层物理还是功能组织？不同回答导向不同结论。依赖分析的纪律价值在于：它强迫你把"X 归根到底是什么"这句抒情式问题，改写成"X 依赖什么、依赖是否可多重实现"两个可讨论的问题。

再补一个与忒修斯之船配套的思想实验——卢修斯的雕像：从同一块青铜铸出雕像，青铜与雕像是两个东西还是一个？多数直觉说雕像与青铜不同一（雕像可以被熔毁而青铜还在），但它们占完全相同的时空区域。这逼出一个反直觉的结论：同一时空位置可以叠置多个不同一的对象，区分它们的不是位置而是模态属性（可能的情况不同）。接受叠置对象，本体论清单就必须容纳"时空完全重合的不同个体"；拒绝它，就必须解释直觉为何出错。两难本身没有标准答案，但它示范了本体论争论的标准展开方式：直觉对撞，然后为各自直觉付费。

延伸：本体论立场的成本核算表

选本体论立场像做工程选型，每个选项都有代价，理性选择是挑你能付得起的：

[立场成本表]
实在论: 代价=共相如何与个体因果隔离(第三人之难题)
唯名论: 代价=数学与科学的对象承诺(数、集合、法则说什么)
概念论: 代价=概念的主体间一致如何解释(不同心灵为何抽象出同构共相)
突现论: 代价=突现的"下行因果"如何不违反物理因果闭合
还原论: 代价=特殊科学的自主性被架空(化学、生物学成为口头方便)
​

学会读成本表，就能从"哪个立场正确"进步到"每个立场把困难推到了哪里"——后者才是哲学讨论的实际进行方式。