预计阅读时间：6分钟14秒

形而上学与本体论

关于大卫刘易斯的哲学，类的部分、丰盈性与休谟式随附性

原作者：Outis

部分论与“组成为同一”（composition as identity）

大卫·刘易斯于1991年由布莱克威尔出版社出版的《类的部分》（Parts of Classes），标志着他在部分论（mereology）以及集合论基础问题上的研究达到一个高峰。这本书提出了一种彻底的还原主义且在本体论上“无负担”（ontologically innocent）的解释，用以说明“组成”以及数学本体论。

在这本书中，刘易斯捍卫这样一个命题：组成即同一（composition is identity）。一个整体的部分，在作为整体来考虑时，与整体本身是字面上的同一，而不是在个别意义上的差异。多个事物的融合（fusion），并不是在它们之上新增了一个实体；它仅仅就是这些事物本身，被作为一个整体来看待。

这种观点使得部分论的“组成”在本体论上是“无负担”的：也就是说，引入融合体，并不会带来额外的本体承诺，除了这些部分本身之外。

随后，刘易斯将这一部分论框架扩展，用以重建集合论。他将**单元素集合（singleton）**视为原始的、非部分论的实体，而所有更大的类（classes），则被等同为这些单元素集合的部分论融合。通过这种方式，整个集合层级结构，都可以从单元素集合的融合中生成，而无需额外引入抽象对象或原始的“成员关系”。

最终形成的是一种极其节约的本体论图景：数学被奠基于与普通对象相同的具体时空之中。

刘易斯明确将这一立场与更“膨胀”的理论进行对比，并主张：无限制的部分论组成原则（即任何事物集合，无论多么零散或拼凑，都有一个融合体）提供了重建集合论所需的最大本体慷慨性，同时在根本层面保持了休谟式的本体节约精神。

丰盈性：一切可能的物质重组都存在

与这种部分论的丰盈性密切相关的，是刘易斯更广泛的“丰盈原则”（principle of plenitude）或“重组原则”（recombination principle），这一原则在他1986年的《世界的多样性》（On the Plurality of Worlds）中得到了最完整的阐述。

根据重组原则：只要是将我们这个实际世界的部分进行任意重组所得到的结构，就对应一个可能世界。

对于任何对象集合，以及任何与这些对象的内在性质相一致的时空排列方式，都存在一个世界，在其中这些对象的复制体以该方式排列。

这一原则保证了一个极其丰富的本体论：

每一种可能的物质组合
每一种性质的分布方式
每一种时空的大小与结构

都在某个具体世界中被实现。因此，重组原则确立了一种本体论的“丰盈性”，它与部分论的普遍主义相互补充：

正如任何现实事物集合都有一个融合体，任何对这些事物复制体的重组，也都构成一个完整的具体世界。

刘易斯利用这一原则来避免“逻辑空间中的空隙”，并确保模态实在论能够提供解释模态、反事实以及性质所需的完整“世界天堂”。

这一原则并非临时拼凑，而是直接源自休谟主义对“必然联系”的否定：既然不存在阻止任意重组的原始模态限制，那么丰盈性便成为默认立场。

休谟式随附性：统一一切的核心命题

在刘易斯整个形而上学体系的核心，是休谟式随附性（Humean supervenience）。

这一宏大的统一命题主张：所有事实——无论是心理的、因果的、自然法则的、语义的，还是数学的——都随附于时空中局部、完全自然的内在性质的分布。

现实中并不存在任何额外的东西，除了这一“休谟马赛克”：一个由点状性质实例构成的四维结构。

所有更高层的结构，都通过相似性模式、反事实依赖关系以及“最佳系统法则”从这一基础中被确定。

在《类的部分》和《世界的多样性》中，刘易斯将休谟式随附性作为最终的还原锚点：

融合体随附于其部分
类随附于单元素集合的融合
模态事实随附于通过重组生成的具体世界

甚至“完全自然的性质”本身，也是稀疏且内在的，它们由最佳科学理论所选择，而不是由某种原始相似性决定。

因此，休谟式随附性不仅是一个依赖关系的命题，更是一种本体论的节制声明：
一旦马赛克被固定，一切都被固定，不存在额外的必然性或超随附关系。

性质作为可能个体的集合

刘易斯对“性质”的处理直接源于这一框架。

“丰富性质”（abundant properties）被理解为可能个体的集合（sets of possibilia）：任何来自任意世界的个体集合，都可以构成一个性质，无论其多么人为或不自然。

这种观点使他能够处理语义与意向性语境中的各种任意分组。而“精英性质”（perfectly natural properties）则是稀疏的、基础性的性质，它们刻画了自然的基本结构，并在最佳理论中出现，支撑相似性与因果能力。

由于性质是可能个体的集合，它们的存在依赖于具体世界与重组原则：正是因为存在包含这些个体的世界，才有对应的集合。

这种外延式处理消除了对“普遍者”（universals）或“殊相”（tropes）的需求。

对普遍者与殊相理论的批判

在收录于《哲学论文集第二卷》（Philosophical Papers Volume II）的一系列论文中，刘易斯系统性地批判了：

阿姆斯特朗式的内在普遍者
殊相理论

他反对普遍者，因为它们引入了不同存在之间的“必然联系”，并且未能真正解决“一与多”的问题。

他同样拒绝殊相理论，因为在已有具体个体与可能个体集合的情况下，引入个别化性质是多余的。

刘易斯认为，他的“可能个体集合”理论可以完成普遍者与殊相的全部理论任务，同时保持还原性，并符合休谟主义原则。

与模态实在论的关系

整个体系与刘易斯的模态实在论密不可分。

多重具体世界提供了定义性质所需的可能个体
重组原则保证了集合的丰盈性
部分论组成保持同一与无负担性
休谟式随附性在整体上成立

如果没有模态实在论，丰富性质将退化为现实集合，失去解释力；如果没有休谟式随附性，模态事实将脱离物理基础。

因此，刘易斯构建的是一个相互嵌套的统一体系，其中本体论、部分论、模态与性质都被整合为一个还原性框架。

尽管这一体系在本体上看似奢侈（无限多世界、无限制融合），但其理论优势——统一性、简洁性与解释力——被认为超过了其成本。

对当代形而上学的影响（Sider, Schaffer, Bennett）

刘易斯的形而上学对当代哲学产生了深远影响。

**西德尔（Sider）**继承并发展了自然性质与结构主义
**沙弗（Schaffer）**以其为还原主义对手提出“奠基关系”
**贝内特（Bennett）**发展了“构建关系”理论

这些思想家都将刘易斯的体系视为基准立场。

结论

刘易斯的形而上学体系，是分析哲学中最系统、最雄心勃勃的尝试之一：

用休谟马赛克作为基础
用部分论提供结构
用重组原则提供丰盈性
用可能个体集合解释性质
用模态实在论提供整体框架

其结果并非松散理论集合，而是一个统一、严谨且极具解释力的哲学图景。

尽管批评依然存在，但这一体系仍然是当代形而上学的重要参照标准。