博文
[转载]属性主义：当“事物的性质”成为理解世界的基本单位
|||
设想你面前有一个红苹果。它圆润、甘甜、光滑。现在做一个思想实验：如果我们把它的“红色”拿走，它还剩下什么？如果把“甜味”也拿走呢？再把“圆形”抽走、把“重量”抽走……一步一步，榨干它所有可以被描述的性质，最后剩下的那个东西，究竟是什么呢？
有人说，剩下的是一块没有任何属性的“纯实体”，像一团不可名状的黏土。也有人反驳：不，世界上压根不存在没有属性的实体。没了颜色的苹果不再是苹果，没了重量的苹果也不是苹果。我们所说的“苹果”，其实不过是一堆属性的集合而已。
这些争论，构成了“属性主义”的核心舞台。
什么是属性主义？用一个通俗的说法：属性主义，就是把“属性”当作理解世界的基本单位。
属性是什么？就是事物具有的特征。红是苹果的属性，甘甜是苹果的属性，圆润也是苹果的属性。属性主义者的共同信念是：这些属性不是我们脑子的虚构，不是语言上的方便，而是真实世界中的实实在在的东西——它们可以被例示、被拥有、被谈论，并且在某种意义上，它们比“事物”本身更根本。
听起来像是废话？实际上，这个立场在哲学史上引发了持续两千多年的战争。
古希腊哲学家柏拉图说，世界上存在一个永恒不变的“红”的理念，所有红色的东西都只是“分有”了这个理念。个别苹果会腐烂，但“红”本身不会，它存在于一个超越时空的理念世界。这种主张叫“极端实在论”——属性是独立于具体事物而存在的实体。
亚里士多德不同意。他说，哪有脱离事物的“红”？“红”只能存在于具体的红色物体中。你可以从很多红苹果中抽象出“红”这个概念，但概念本身并不单独存在。这种主张叫“温和实在论”——属性是真实的，但依赖于具体事物而存在。
到了中世纪，唯名论者奥卡姆直接挥舞剃刀：所谓“红”，不过是语言符号，世界上只有一个个具体的红色物体，并不存在“红”这种东西。属性只是名词，不是实体。
看到没有？围绕“属性到底存不存在、怎么存在”，哲学家长久地争吵不休。而“属性主义”这个标签，通常被贴在那些承认属性拥有真实存在的立场上，无论它是柏拉图式的还是亚里士多德式的。
到了现代，英美分析哲学中的“性质主义”重新燃起了对属性的热情。有哲学家认为，科学需要属性。物理学家说到“质量”和“电荷”，不可能认为那只是名词。苹果的红色可能主观，但基本粒子的电荷却客观得令人头痛。所以属性真实存在，至少很多属性是真实存在的。
束理论：如果属性才是主角属性主义最激进的一支，叫“束理论”。
束理论说：日常我们所说的“事物”或“实体”，其实不拥有属性，而是由属性组成的。一颗苹果，就是“红色”“圆形”“甜味”“重量”这些属性捆绑在一起的一个“束”。不存在一个暗地里“提着”这些属性的实体支架。
这听起来有点荒谬，但请想一想：你怎么知道一个东西存在？你只能通过它的属性感知它。你看它是红的，摸它是圆的，咬一口是甜的。你从未感知到那个所谓“承载属性”的实体，你感知到的只有属性。那么，为什么要相信那个看不见摸不着的“实体”存在呢？“苹果”不过是许多属性的集合而已。
束理论的好处是干净利落，坏处是难以解释“变化”。如果苹果从青变成红，束理论会说：原来的“青色”属性离开这个束，“红色”属性加入了这个束。那么问题来了：变化发生前后，还是同一个苹果吗？如果束是由属性构成的，属性的集合已经变了，凭什么说还是同一个实体？这就导致了一个巨大的麻烦——同一性。
为了挽救属性主义，后来的哲学家又创造了“特质论”。特质论认为，属性不是普遍的、可重复的，而是个别的。这朵花的红，和那朵花的红，是两个不同的“红特质”。每一个属性实例都是独一无二的空间时间片段。这样，红苹果从青变红，只是它的个别特质发生了变化，而那个拥有特质的“基底”依然存在——但在某些特质论中，甚至没有基底，只有特质的网络。
你会发现，属性主义看似简单，一旦深入，就会陷入关于实在、同一性、变化的层层谜题。而这些谜题，并非纯理论空谈——它们悄悄迁移到了计算机科学和数据建模的最底层。
数据库里的“属性主义”我们每天使用的数据库，本质上就是一个庞大而精确的“属性主义世界”。
打开任何一张数据表：
姓名 | 年龄 | 城市 |
|---|---|---|
张三 | 28 | 北京 |
李四 | 35 | 上海 |
这张表格的哲学预设是什么？是把一个人拆解成“姓名”“年龄”“城市”这些属性，然后把属性值填入表格。一个用户不是不可分割的整体，而是属性的容器。这正是束理论的工程化版本——在数据库眼中，人和苹果没有区别，都是一束字段值。
关系数据库如此，许多非关系型数据库更是把属性主义推向极致。文档数据库里，一条数据就是一个JSON对象；列式数据库里，数据按列存储；还有所谓的“实体-属性-值”模型，干脆放弃固定表结构，把一切信息都表示为“某某实体，具有某某属性，值是某某”。属性成了唯一的通用语，甚至可以说，这是一种“绝对属性主义”。
这种属性主义式的数据模式之所以流行，自有它的道理：
它直观。 人天生会通过属性认识事物，用表格和键值对记录世界，符合直觉。
它灵活。 想增加一种新的特征，在文档数据库里直接加一个字段就好，不必惊动整个结构。
它高效。 对于大量结构相似的数据，属性扁平排列，扫描和索引都非常快。
所以，现实世界的绝大多数数据，都是在属性主义的框架里滚动着的。
属性主义的裂缝：当“关系”无法被压扁属性主义的麻烦在于：它擅长描述“事物是什么”，却不擅长描述“事物之间如何连接”。
假设你要表示“张三的父亲是李四”。在属性主义的表格里，你可以在张三的记录中加入一列“父亲”，填上“李四”。可是，“父亲”这个属性很特殊，它指向另一个实体。如果李四也要被完整描述，他也在另一条记录里，那么这条记录的“父亲”属性就必须和那条记录的主键产生关联。
这还不是最麻烦的。更棘手的是那些本身就具有结构的相互关系。比如“公司A收购了公司B”，这既不能说成A的属性，也不能说成B的属性，它是一个发生在两者之间的动态事件。某些哲学家管这叫“关系”，并认为关系不可还原为属性。
为了强行用属性表达关系，数据库设计者们只好不断造出新表。原本一个“用户”表可以搞定的事，后来加了一张“好友关系”表，一张“关注”表，一张“订单”表，一张“订单包含商品”表。每张表都藏着指向其他表的外键，数据和数据之间织成了一张越来越密的网。
到了这一步，属性主义的原始愿景——万物皆是一张敏感词——已经开始瓦解。你确实还能把一切都硬塞进二维表，但复杂的连接查询会变成无穷无尽的JOIN，模式演变更会引发连锁反应。属性主义在数据规模小时是优美的，在规模变大、关系变复杂后，它就会从工具变成枷锁。
范畴论：从属性到关系的回归这正是上一篇我们谈到的“范畴数据库”的出发点。
范畴论的核心不是“事物有什么”，而是“事物之间如何发生映射”。在范畴数据库里，数据库模式首先被定义成一张图：对象是实体集合，箭头是实体之间的函数关系。数据实例则是一个函子，把这些对象和箭头映射到真实的集合和函数上。
在这种视角下，关系不再是从属性中“派生”出来的补充说明，而是构成数据世界的骨架。属性当然还存在，但它们更像是节点上挂着的标签，而真正决定数据结构的是箭头，是关系。
有一个哲学上的古老比喻：如果说属性主义是“名词中心主义”——世界由名词描述的对象和形容词描绘的属性构成；那么范畴论就是“动词中心主义”——世界首先是过程、映射、结构、变换，名词只是过程中的纽结。
这种思想恰好回应了哲学中那些困扰属性主义已久的谜题。一个苹果从青变红，如果只看属性，旧属性死了，新属性生了，那我们为何觉得苹果还是同一个苹果？但如果把目光投向关系——它的生长过程、它的遗传基因、它与环境的相互作用——就会发现，属性变化并没有破坏连续性，因为关系网络没有断裂。
数据库的世界何尝不是如此？一个用户的邮箱地址变了，几行属性值变了。但只要这个用户与其他实体的关系——订单、收藏、登录记录——仍然指向同一个ID，我们就认为“他还是他”。真正维持数据同一性的，不是属性的稳定，而是关系的稳定。
尾声：我们到底需要什么属性主义不是错的。它为人类理解世界提供了一种无比简洁的抽象：把纷繁复杂的事物拆解成可比较、可记录、可计算的属性，这是科学和工程得以启动的第一步。
但世界并不只是一包一包属性的静态堆叠。真实世界有历史、有因果、有相互作用、有不断涌现的新结构。当我们需要理解这些动态层面时，纯粹属性主义的局限就暴露出来了。
现代数据系统正在悄悄地从“属性中心”走向“关系中心”。图数据库、知识图谱、范畴数据库，都是这种趋势的体现。它们并不否定属性，而是把属性放回它应有的位置——属性是关系的节点上的标记，而不是世界的最终基元。
所以，属性主义或许不是终点，而是一段必经之路。就像笛卡尔说的“我思故我在”，那是一个从属性“思维”中确认实体“我”的著名尝试。而今天的我们，在数据与哲学的交汇处，也在做类似的尝试：从属性出发，穿过关系的密林，去触摸那个更加真实、更加丰富的世界结构。
下一次当你填写一张表格，或者在数据库里建一张新表时，可以想一想：你正在用属性主义的方式，给世界拍一张快照。但世界本身，永远在变化，永远在关系之中。
https://blog.sciencenet.cn/blog-3582667-1551275.html
上一篇：用数学的眼光看数据：什么是范畴数据库？
