核心问题
存在与变化
一辆自行车的零件被逐个换掉，换到哪一步它才不再是原来那辆？如果这一步指不出来，「同一个对象」还剩下什么意思？
从一辆不断维修的自行车开始，理解变化中的对象为何仍可能是原来的对象，以及不同答案要付出的代价。
存在与变化｜内容
本页范围主线只跟一样人造物走：零件被一件件换掉之后，它凭什么还算原来那一个。会用到的工具有三样——先把「前后是同一个」和「两者很像」分开，再看几条候选的判断根据，最后看「对象以什么方式跨时间存在」的几种理论。过程哲学与中观对「自性」的批评排在进阶关联里，它们和主线问的不是同一个问题。「一个人跨时间还是不是同一个人」以及物理学关于时空的结论，都要另页处理。
正文跟着一辆自行车走：一辆你骑了多年、零件被一件件换掉的自行车，而你一直叫它「我那辆车」。这个案例会一路用到最后，包括换下来的旧零件后来又被装成另一辆车之后该怎么办。
要先说清的是这一页在问什么。它问的不是大家习惯管哪一辆叫原车，而是：一个东西在变化之中，凭什么还算原来那个东西。这个问题一旦要用来判定归属、责任或保护对象，就不能靠语言习惯绕过去；而「万物皆变」这类说法，恰恰是在它该被回答的地方把它跳了过去。
先从一辆不断维修的自行车开始
先把这辆车的维修史摆出来。第一年换链条，后来换轮胎、车座、把手；车架裂了，也换掉。每修完一次，你都把它从车店骑回家，继续叫它「我的那辆车」。没有哪一天你觉得自己换了一辆车，可多年之后回头看，最初的零件已经一个不剩。它还是原来那一辆吗？
事情还没完。车店没有扔掉换下的旧零件，而是一件件收着，后来又请人把它们按原样重新装成一辆能骑的车。现在你面前有两辆车：一辆延续了你这些年的使用、维修和保管，下面记作甲车；另一辆由最初那些零件原样装成，记作乙车。哪一辆才是原来那辆？
这个问题不该用「我更喜欢哪一辆」来收场，因为两辆车各自接上原车的是两样不同的东西：甲车接上的是那段被使用、被维修的经历，乙车接上的是原车那些材料本身。旧零件一旦重新装成车，这两条线索就开始指向不同的对象，而且谁也换算不成谁。不是一边有理、一边胡搅——两边各占一种理，难题正是从这里来的。于是真正要回答的不是「大家习惯管哪辆叫原车」，而是：一个东西在变化之中，凭什么还算原来那个东西？[BEC-1]
这不是为教学临时编出来的怪例子。它的经典版本叫「忒修斯之船」：船的木板被一块块换掉，换下的旧木板又被另外拼成一条船。本页把船换成自行车，只因为自行车更好想象；本页末尾的论证地图仍按船来讲，甲车对应那条被逐块替换的船，乙车对应用旧木板重装的那条。这种「一个原物后来出现两个候选」的结构，下文称作分叉，后面几节还会用到它。[BEC-1]
先分清：很像，和就是同一个
两辆新出厂、型号和颜色完全一样的自行车，可以在许多性质上相同：都能骑、都用同类零件、外观也难分辨。但车锁上的两把钥匙仍分别开各自的锁；这是两辆车，不是一辆车出现了两次。哲学里把这种「在性质上相同或相似」叫作质的相同。
另一个问题更严格：今天停在楼下的车，是不是就是去年那辆，而不是另一辆恰好很像的车？这里问的是数值同一性（numerical identity）。它问的是：前后是不是同一个对象，而不是两个相似的对象。要当心，这个「数值」不是说数量相等，它强调的恰恰是「一个，而不是两个」。[BEC-1]
这个定义要用得准，关键在于看清它没有说什么。它没有要求同一个对象必须一直保持同样的性质，也没有要求它必须一直由同样的部分构成。至于一个对象在改变性质、更换零件之后是否仍然存在，需要进一步讨论，不能直接从定义得到答案。本页后面出现的每一条持续条件，都是在补这个定义留下的空白，而不是在复述它——凡是把某一项条件说成「数值同一性本身就要求如此」的，都已经把一派的主张当成了词义。本页说「严格同一」时，指的就是这个数值同一性，不附带任何别的条件。
把「同一个」说到这么严格之后，麻烦立刻就来了。谈同一性有一条几乎没人反对的原则：如果甲和乙是同一个东西，那么凡是甲有的性质，乙也都有——因为压根只有一个东西在那里，没有第二个可以和它不一样。这条原则叫作莱布尼茨定律，也被称为「同一者不可分辨」。（这个名字有时也被用来指方向相反的另一条原则，那一条争议大得多，本页不用。）[BEC-1]
这条原则听着平淡，一用到变化上立刻就出事：去年那辆车是红的，今天这辆车是黑的。红和黑是两个不同的性质，那按刚才那条原则，去年那辆和今天这辆岂不成了两个不同的东西？可我们分明觉得它就是一辆车，只是被重新喷了漆。
这才是「变化」真正的难处，而且它和自行车换零件无关，任何会变的东西都躲不掉：变化要求前后有差别，同一性却要求前后没有差别。两个要求看上去直接打架。本页后面「对象怎样跨时间存在」那一节要处理的，正是这道难题；现在先把它记下来。[BEC-1]
- 跨时间持续
- 一个东西在不同时刻都在场，这里其实有两问：我们凭什么说不同时刻的它是同一个？它又是以什么方式一直在？前一问问的是判断的根据，后一问问的是存在的方式。本页分两节处理：先给三条判断标准，最后回到「对象怎样跨时间存在」。
- 严格同一与日常称呼
- 维修记录、车牌登记、感情归属都会影响我们管哪辆叫「我的车」。它们能提供理由，却不自动等于严格同一性的证明。
三条各有道理的判断标准，为什么会彼此冲突
下面三条是整理直觉用的候选标准，不是三大对立学派，也不是已经被证明的答案。它们回答的是上一节分出来的前一半问题：凭什么根据把前后当作同一辆车。三条都按各自最有力的版本来写。把任何一条写成一眼就能驳倒的粗糙说法，只会让后面的论证赢得太容易。
1. 原材料优先：由原来那些部分构成
这条标准真正有力的版本，不是「一颗零件都不能换」。它主张的是：当最初那些零件重新聚齐、又装回原样时，乙车拥有一种别的候选拿不出来的资格——它由且仅由原来那些部分构成。逐件替换给出的只是一辆分辨不出差别的车；把旧零件重装起来，给出的是那些部分本身。
支持者还可以指出，这条直觉在实践里有真实分量，不是感情用事：文物修复会区分原构件与后世补配；一幅画的原作和技术上再完美的复制品，也不被当作同一件作品；争执「到底是不是那一件」时，材料来源往往正是要查的证据之一。这些做法各有各的目的，本页不把它们当作哲学结论。但它们至少说明：材料这条直觉不是一条随手就能驳倒的旧想法。
还可以再进一步。巴特勒（Joseph Butler）区分过两种「同一」：我们说「修好的车还是原车」时，用的是宽松而通行的那一种；另有一种被他称为严格而哲学的用法。齐硕姆（Roderick Chisholm）接过这个区分，并给严格的那一种补上一条具体要求：两者必须共享全部部分。这是他们提出的一项主张；接受它，由全部原零件重组的乙车就正好满足它，而让甲车胜出的判断反倒是悄悄放宽了标准。[BEC-1]
它要付的代价也很具体。第一，它必须交代：一堆零件在被拆开、分散存放的那些年里，还算不算「同一堆物质」继续存在？文献明确把这一点列为棘手问题，而不是可以带过的技术细节。第二，逐件更换为什么不立刻终止同一性？强版本可以回答——被换下的零件仍然属于那一堆原材料，分歧只在旧料重新聚齐成一辆能骑的车之后才尖锐起来。但这个回答等于承认：真正起决定作用的是「那些部分后来有没有重新聚齐」，而不是「眼下这辆车上还剩几个原件」。[BEC-1]
2. 结构与功能优先：能否仍以同一方式组织和使用
换零件的前后，甲车的车架布局没有变，用法也没有变，而且它一直用在同一个人的日常出行里。这让「它一直是那辆车」听起来很自然。这条思路最能解释的就是维修：一辆车不必保住每一颗螺丝，也能继续当一辆车用。
但光靠结构和功能，保证不了严格同一。两辆按同一张图纸造出来的车，可以结构一样、功能一样，却仍是两辆。乙车重新装好之后同样能骑；所以功能相似解释了「它为什么像原车」，还没有解释「它为什么就是原车」。
支持者可以补救：把结构理解成一段连续的组织过程，而不是一张静态蓝图。甲车不是照图复制出来的，它的每一步都由上一步维修而来。不过这一补救有个后果——真正起决定作用的已经变成那段连续的历史，而不只是眼下的结构。于是这条标准就被推到了下面第三条那里。
3. 因果与历史连续性优先：由哪一段经历延续而来
甲车的每一个状态，都是由上一个状态经过使用、磨损和修理造成的，这条因果链从没断过。它能解释：为什么换完零件之后，车主仍有理由把甲车当成原车；也能解释为什么一辆外观完全相同的复制品不会因此变成原物——复制品再像，也不是由原车那段经历一步步造成的。
难题是「连续到什么程度才算够」。如果车在仓库里拆散放了一年再装回去，连续性断了吗？更麻烦的是分叉：一条看上去连续的链条从某处分成两支，两支都接得上原车，可严格同一不允许两个不同的东西都是那一个原物。
所以这条标准解释力很强，却还欠一条规则，说明它凭什么排除竞争者。它能把「选甲车」讲得比「我习惯这么叫」更有分量，但不保证每个边界案例都有无争议的答案。
完整走一遍：分歧究竟落在哪一步上
下面六步各自标出它在论证里的身份：哪一步是可以被攻击的前提，哪一步只是从前提推出的结论，攻击又落在哪一步上。先分清两种攻击，这些标签才有意义：反例是举出一个具体情形，使某项主张在这个情形下明显不成立；异议则承认这项主张没有被直接推翻，但提出一个同样有力的竞争者，要求它说明自己凭什么优先。下面第 4 步属于后一种。读完你应该能指着某一行说「问题出在这里」，而不是只记住一个结论。
第 1 步 · 界定问题
我们暂时只问严格的数值同一性，不问维修单上该写哪辆、车主对哪辆更有感情。这一步本身不裁决任何候选，它只是把「哪辆能算原车」和「我们习惯叫哪辆原车」分开。
第 2 步 · 前提（整条论证的承重墙）
把「因果与历史连续」当作决定性条件：一个对象后来的状态，应当由它先前的状态一步步发展而来，中间这条因果链没有中断，也没有被另一条来历不同的链条替换掉。请注意这是一个被提出来的前提，不是已经证明的定理——后面的异议正是冲着这一步来的。
第 3 步 · 推论（只是从第 2 步推出来的）
按这个条件，甲车最有资格：它是那段持续使用和逐步维修的延续；乙车与原车的材料关系虽强，却是在另一段重组历史里出现的。这一步自己没有说服力：第 2 步若被推翻，它立刻跟着倒。
第 4 步 · 异议 · 针对第 2 步
异议：原材料的连续为什么不能同样重要？乙车不是普通复制品，它用的正是原来那些零件。这一步没有举出任何情形使第 2 步明显不成立，所以它不是反例；它也不是说第 3 步算错了。它做的是提出一个竞争者，并把举证责任交回去。如果「由原来那些部分构成」同样是一种与原物相连的方式，而且按上一节齐硕姆那条主张，它正是严格意义要求的那一种，那么把历史连续单独定为决定条件，就仍是一个没有被论证过的选择。
第 5 步 · 回应 · 守住第 2 步
历史连续说可以承认材料很重要，但它主张：把保存下来的材料另行组装，开始的是一段新的历史，而不是原先那段使用历史的延续。支持甲车的人认为，它由原车经过连续维修延续而来；乙车则是旧零件重新组装的结果。但为什么前一种联系更能决定同一性，仍需要进一步论证：把第 2 步换一种说法再讲一遍，不算论证。
第 6 步 · 剩余困难（本页不宣称它已解决）
第 2 步仍欠一套说法，来处理拆解、长期停放和分叉的界线；材料优先则欠一套说法，来交代分散存放期间那堆物质是否继续存在。另外，文物保护、保险理赔和使用安全各有各的关切，可能有正当理由采用不同判准——但「可以按用途各用一套」本身就是一个需要论证的主张，不能用它免掉严格意义上的那个问题。所以这里的分歧是可以指认出来的前提差异，不是「随便选一个」。
不管最后选甲还是选乙，有一条路是走不通的：不能说「两辆都是原车」。理由不靠直觉，靠同一性这个关系本身的性质。同一性有对称性——甲与原车同一，也就等于原车与甲同一；还有传递性——甲与原车同一、原车与乙同一，那么甲与乙也必须同一。（这两条不必另外假定：有了莱布尼茨定律，再加上「每个东西都与它自己同一」这一句，它们都能推出来。）于是：假如甲车是原车，乙车也是原车，那么甲车和乙车之间就只好是同一个东西了。可它们明明能并排停着，被两个人分别骑走，显然是两辆。[BEC-1]
所以「两辆都是原车」这句话要么放弃，要么就得连传递性一起放弃——而放弃传递性，等于说这里的「同一」已经不是我们平常理解的那个「同一」了。日常语言里我们当然可能把两辆都叫「原车」，但那只是称呼上的宽松，替代不了上面这段严格的推理。[BEC-1]
哲学家不是在两辆车之间选一辆：他们先改写了问题
下面这些人多数没有讨论过自行车。所以每一条先把论证放回它自己的问题里，末尾的「对自行车案例的提醒」再说明它会怎样改变我们看待替换与重组的角度——那是解释性的重构，不是代他们表态。
巴门尼德
如果「变成它原本不是的东西」不可能，变化本身就成了难题
后人转述的这个论证只用一步：说一样东西变了，就是说它成了它此前不是的东西——车此前不是黑的，现在是黑的。可是按他的思路，「不是的东西」根本无从谈起；既然连它都谈不起，「从不是变成是」这一步自然也谈不起，变化本身于是成了说不通的事。由于留下的文本太少，究竟该把他读成「只承认一个存在者」，还是「只承认一种『是』」，至今仍有争议。
对自行车案例的提醒：先别急着问哪辆车「保持同一」。要先看到，这个日常问题本身预设了「真实的变化」和「持续存在」可以并存。巴门尼德没有提供甲乙二选一的判准，他做的是把这个预设从背景里指出来，使它成为必须辩护的对象。[BEC-5]
赫拉克利特
有些东西恰恰靠不断更替才维持下来
赫拉克利特常被压缩成一句「万物流变」，但他关于河流和对立面的说法不止一种读法。比较谨慎的读法指出：有些东西之所以能一直存在，可能正好依赖它的组成材料不断更换——一条河之所以还是那条河，靠的就是水一直在流走、又一直有新的水补上。对立状态也不必被读成「同一个东西在同一时间、同一方面自相矛盾」。
对自行车案例的提醒：逐步更换零件不必然消灭持续性，变化甚至可以是持续的条件。不过这只说明「材料更替不必终止一切同一」，还没有回答旧零件重组之后哪一辆才是原车。[BEC-6]
亚里士多德
把「承受变化的底子」和「使它成为这一类东西的安排」分开
亚里士多德分析变化时，先分出两样东西。一样是质料：承受变化的那个底子，比如造车用的钢管、橡胶、皮革。另一样是形式：使这堆材料成为一辆车、而不是一堆零件的那个安排。要当心，这里的「形式」不是指外观形状，它同时回答「这是什么」和「它是干什么用的」，更接近「结构与功能上的规定」。两者合起来的那个具体东西——你眼前这辆车——才是他所说的实体。
「实体」这个词值得停一下，它和中文里的日常语感相差很远。它不是「实在的物质」的意思，而是指能够独立存在、并且承载各种性质的那个东西：颜色总得附在某物上才成立，重量也是，而「这辆车」不需要附在别的东西上。性质可以来也可以去，实体是在这些来去之中一直被称作「它」的那一个。
这样分开之后，变化就分成了两种：一种是同一个实体换掉某个性质——车从红变黑，质料还在，形式也还在；另一种是实体本身的生成或毁灭——材料散了、那个安排不复存在，这就不是「这辆车变了」，而是「这辆车没了」。
对自行车案例的提醒：它逼我们先问一个之前没问的问题——补漆、换链条，究竟是这辆车发生了改变，还是它已经不成其为一辆车了？以及：旧零件被按原样重新装起来，是那辆车回来了，还是那堆质料又取得了一次形式、于是有了另一个实体？亚里士多德没有为现代人工物的重组留下现成答案。[BEC-7]
洛克
先问「这是哪一类东西」，再问它的持续条件
洛克在《人类理解论》第二卷第 27 章里强调：不能拿一种笼统的「同一实体」去涵盖所有种类的同一性，得先看这个词指的是哪一类东西。他随即分开处理：一堆物质的持续取决于它由哪些粒子组成，只要增减一颗就不再是同一堆；一棵树、一只动物则取决于同一个生命组织是否还在维持，虽然构成它的物质一直在换。人格同一又另有一套论证和规范上的关切。
对自行车案例的提醒：「原材料还在」和「同一套组织还在延续」，本来就是在回答两类不同东西的持续问题。洛克没有明说自行车这类人工物该用哪一条，但他的做法要求我们先交代清楚：我们说的「车」，是一堆物质，是一件按功能定义的人工物，还是登记在案、正在被使用的那个物件？[BEC-8]
休谟
「它一直是同一个」的感觉，可能来自心灵顺畅地滑过一串相关经验
休谟追问的是另一件事：我们的经验明明是断断续续、又不断变化的，为什么会被当成同一个对象一直存在？他的解释是，想象力在相似、连续和因果关联之间滑动得太顺畅，以至于把一串前后相继的经验混同成了一个持续的东西。他据此怀疑：我们日常那种「它一直是同一个」的确信，能不能支撑起严格意义上的持续同一。注意这里说的是「这种信念是怎么产生的」，而不是又提出了一条新的材料标准。
对自行车案例的提醒：车主沿着使用、损耗和维修记录把甲车叫作「同一辆」，可能有很强的认知和实践基础；但这还没有证明世界里真的存在一条独立而严格的同一性事实。休谟的挑战也不是「那就随便叫吧」——关联的类型和强弱仍然需要交代。[BEC-9]
怀特海
如果过程比持存的东西更基本，就得先解释稳定的模式是怎么形成的
怀特海不把「持久的东西」当作世界的基本单位。他心目中的基本单位是一桩桩正在发生的事，称之为实际契机：每一桩都在接收先前那些契机传来的材料，把它们整合成一个新的统一体，随即又成为下一桩的材料。所以「一辆车持续存在」在这套说法里不是最底层的事实，而是许多这样的契机连成了一个足够稳定的模式。要看清他在做什么：他不是在说「事物会变化」——那谁都同意——而是在回答一个更靠底层的问题，即世界上最基本的单位是哪一类东西。（哲学里把这类追问叫作本体论问题。）
对自行车案例的提醒：问题可以从「哪个不变的东西在承受变化」，改成「什么样的组织、关系和实践模式足以构成一辆持续存在的车」。这能给历史连续性那条思路添一层根据，但仍然单独裁决不了旧零件重组的分叉案。[BEC-3]
龙树
当心把对象、性质和变化想成各自独立、自己就能成立的东西
龙树是中观（意为「中道」）一系的奠基者。他关于运动与变化的论证，针对的是这样一个设想：事物拥有自性（svabhāva）——一种不依赖条件、由自身就能成立、也不会改变的内核。他的做法是分析「动者」与「运动」这类概念如何彼此依赖，从而说明这个内核站不住。要紧的是，中观并不因此滑向「什么都不存在」的虚无论；它明说自己要避开两个极端。把空性读成虚无论是一种流传很久的读法，但无论从中观自身的论证体系看，还是从历史文献看，都有有力的反证。
对自行车案例的提醒：它会反过来追问：把「原车」设想成一个独立不变的内核，这一步本身是不是已经问错了？零件、因果、命名和用途之间的依赖关系，是怎样参与构成这辆车的？这是对「自性」这个预设的批评。它既不是下一节那两种理论的另一种说法，也不等于刚说过的过程哲学：那些说法回答的是对象以什么方式跨时间存在，而这里质疑的是更靠前的一步——「有一个自身成立的内核」这个设定本身。[BEC-4]
比较之后：这些人之间真正的分歧，往往不在「换完零件还算不算同一」这一个答案上，而在他们各自认为需要解释的是什么——变化为何可能、什么样的组织使一个东西成为这一类东西、同一性的标准是否随种类而变、「它一直是同一个」这种感觉是不是一种心理建构，以及「独立自性」这个预设本身能不能成立。把这几层拆开，才不会用一个人名替代一整段论证。
再问一层：对象是怎样跨时间存在的？
现在回到「很像，和就是同一个」那一节留下的难题：同一个东西不能既有红这个性质、又有黑这个性质，可一辆车分明可以先红后黑。三条判断标准都没有正面回答它——它们给出的是判断的根据，而这道难题问的是一个会变的东西究竟以什么方式跨时间存在。
文献里给这道难题起了个名字，叫暂时内在性质的问题。这个名字里的两个词都要拆开看。「暂时」指它只在某一段时间里成立——车只在重新喷漆之前是红的。「内在」指它似乎只关乎这个东西自己，不牵扯别的东西：颜色、形状是这样，而「停在楼下」不是，后者要靠楼、靠位置才成立。这种向外牵扯的性质本来就和别的东西有关，再多牵扯一个时刻并不别扭；难办的恰恰是颜色、形状这一类看上去纯属对象自身的性质。下面两种解释，就是在回答它。[BEC-1]
解释一：同一个整体在每个时刻都完整地在场
第一种解释说：昨天的那整辆车和今天的那整辆车是同一个完整对象；它没有时间上的部分，在每一个它存在的时刻都整个儿在场。这种看法常被叫作持续论（endurantism，也有中译作「持续主义」）。它的主张到这里就说完了，贴近我们日常那句「整辆车就在这儿」。
至于红和黑的冲突，持续论者有几种不同的应对方式，这里只说最常见的一种：把时间写进性质里——这辆车真正拥有的性质不是「红」，而是「在昨天是红的」，今天拥有的则是「在今天是黑的」；这两个性质并不互相排斥，所以不违反莱布尼茨定律。但这一步有人反对：刘易斯（David Lewis）认为它的代价太大。按这种写法，「红」不再是这辆车自己的一个性质，而变成了这辆车与某个时刻之间的一种关系；于是颜色、形状这些内在性质，就全都不再属于对象自身了——而它们正是这道难题要保住的东西。要记住，这是持续论的一条出路，不是持续论的定义：放弃这条出路的人仍然可以是持续论者。
解释二：对象在时间里也有部分
第二种解释换了个思路：一辆用了多年的车，是一个在时间里延展开的整体，它在不同时刻各有一个部分——早期那一段带着旧链条，后期那一段带着新链条。就像一条公路分成一个个路段，一个持续存在的对象在不同时间有不同的时间部分。红和黑因此不再冲突：它们属于这个整体的两个不同部分，正如同一条路可以一段铺沥青、一段铺水泥。这种看法常被叫作接续论（perdurantism）。
照它的说法，一个对象除了占据三个空间维度，还占据时间这一维，所以这样的对象常被称为四维对象。你也会看到「四维主义」这个名字，它比接续论宽一些：除接续论外，还罩着另一类把对象看成一串瞬时阶段的理论。
有一个类比容易把人带偏，先说清它错在哪：照片或电影的每一帧，只能帮你想象「这个东西在不同时间是什么样子」，它们本身不是对象的时间部分，而是关于对象的记录。这套理论主张的是对象自己由一段段跨时间的部分构成，不是说世界上另外存在一叠快照。[BEC-2]
这一步对我们的案例做了什么：不只是换一种说法。走查论证那一节用传递性排除了「两辆都是原车」：两个彼此不同的东西，不能同时严格等于一个原物。时间部分这套理论恰好在这里给出了不一样的分析：既然候选是跨时间延展的整体，甲车和乙车就可以共享较早的那些时间部分。在旧零件还装在车上的那些年，两条「生涯」重合在同一处；此后它们分开，成为两个不同的跨时整体。共享一段部分并不要求它们彼此同一，就像两条路可以共用同一段路面，却仍是两条路。
但这一步另外借了一条前提。上面那段分析要成立，先得保证「共同的那一段，加上甲车那一支」这样一个跨时间的整体真的算得上一个对象；否则「甲车」「乙车」各自指哪个整体，就根本无从谈起。多数持这种看法的人靠的是一条叫无限制融合的原则：随便挑出几个四维对象，把它们合起来看待，得到的仍然是一个四维对象。有了它，我们这个案例里就确实存在一个 Y 形分叉的对象——一段共同的主干（旧零件还装在原车上的那些年），到某处分成两支。于是要回答的问题也换了一个：不再是「两个不同的东西怎么能都等于同一个原物」，而是「原车」这个词到头来挑中的是这个 Y 形里的哪一段。[BEC-1]
这条前提本身有争议。接受无限制融合，世界上就有大量我们从不数算的对象——「我的左脚加上远处那座山」合起来也算一个；不少人认为光这个结果就足以否定它。可是不接受它，这一派又欠一条替代说明：凭什么偏偏「主干加甲车那一支」算得上一个对象，别的组合就不算。所以上面那套分叉分析并不是从「时间部分」这个概念直接得出的，它还靠着这条前提撑着——把这一层略去，读者会以为只要承认对象有时间部分，分叉问题就自动解决了。[BEC-1]
它最后给出的答案，以及代价：关于时间部分的综述文献讨论过一个两车互换零件的例子，给出的答案是——这类情形里同时有好几个暂时重合的四维对象，而我们当初说「那辆车」时指的究竟是其中哪一个，本来就没有定下来。落到甲乙两车上，这等于把「哪辆是原车」换成了「我们的语言当初有没有定过指哪一个」。有人觉得这是解答，有人觉得这是把问题取消了：文物认定、保险理赔和当初那句承诺都需要一个确定的答案，而「本来就没有定下来」交不出这个答案。它也没有让前面三条判断标准作废——要说清哪一支值得叫「原车」，仍然得回到材料、结构或历史连续。[BEC-2]
进阶关联：过程、何者更基本，以及中观的自性问题
下面三段是主线之外的延伸，读懂它们需要先掌握前面两样东西：严格同一与莱布尼茨定律，以及持续论和接续论的区别。跳过不影响理解主问题。
过程哲学常被读成「时间部分理论」的另一个名字，其实两边争的不是同一件事：前者争本体论上哪一类东西更根本，后者解释对象怎样跨时间存在。所以把自行车理解成一段维修过程，也许会改变你看待对象的方式，却还没有在持续论和接续论之间选边。[BEC-3]
「什么存在」与「什么更基本」也不是同一个问题。就算承认自行车存在，仍然可以追问它是否依赖零件、因果关系、使用实践，或者更基本的物理事实。这类问题问的是解释依赖：某一类事物是不是要靠更基本的事实来解释。说它有依赖，不等于说它不真实、不重要。这些问题值得继续读，但不必抢在原车案例之前回答。
龙树与中观关于自性、因果、概念依赖和解脱的那些论证，有它们自己的目标和文本脉络。把空性从那套脉络里抽出来，摆进持续论、接续论或过程哲学的清单，问题就已经被换掉了。[BEC-4]
从哪里读起：四条原典路径
下面四条只说明这部文本在争论里解决什么问题，以及带着哪个问题去读才读得出论证、而不是只读出结论。本页引用的定位限于二手综述中已核对到的范围；凡是没有逐段核对原文的地方，都写明界限，不拿页码充数。
亚里士多德 · 前 4 世纪
《形而上学》Ζ、Η 卷与 Θ 卷
前面讲过的质料与形式，在这几卷里先被用在某一个时刻之内，随后被跨时间地使用，并接上另一对概念：潜能与实现。潜能指一个东西尚未表现、但确实具备的能力（一堆零件有成为一辆车的潜能），实现指这份能力真正兑现出来的状态。Θ 卷正是处理这一对概念的。这条路线要解释的是：变化怎样才能发生，而又不必让原来那个东西彻底归于虚无。[BEC-7]
带着这个问题读说一堆零件「有成为一辆车的潜能」，比说「它后来成了一辆车」多告诉了我们什么？
洛克 · 1694 年第二版加入
《人类理解论》第二卷第 27 章
这一章讨论同一与差异，是洛克在 1694 年出第二版时才加进《人类理解论》的。读它要跟住次序：先立下「得看这个词指的是哪一类东西」这条原则，再逐一处理一堆物质、一棵树、一只动物和一个人格。本页甲车与乙车之争的一半力量，正来自这个次序没有被走完。[BEC-8]
带着这个问题读同一堆物质、同一棵树和同一个人格，为什么可能需要不同的持续条件？
龙树 · 约 150—250 年
《中论》
它的论证针对的是「事物有不依条件、由自身成立的自性」这一设想，并逐项检查因果、变化、人格同一与语言；综述文献专门有一节处理其中的变化论证。本页只把它当作相邻问题的入口——尚未逐段校勘汉译本与注释传统，所以这里不给章颂编号。[BEC-4]
带着这个问题读批判自性，为什么不等于说因果关系和日常对象都不存在？
大卫·刘易斯 · 1986
《论世界的复多性》（On the Plurality of Worlds）
综述文献在讲忒修斯之船的 Y 形分叉对象、以及「两个对象在某段时间共享时间部分」这种说法时，引的正是刘易斯与海勒（Mark Heller）。想知道「以时间部分理解持续」的当代方案怎样系统展开，这是绕不开的一本。界限要说清楚：本页没有核对该书的具体章节与页码，上面那一步分叉分析以综述的转述为限。[BEC-1]
带着这个问题读把对象看成四维延展，是解释了变化，还是改换了我们原来要问的问题？
迁移练习：换一个情境，也能看出推理在做什么
下面三题练的是同一套步骤：先指明讨论的是哪一类对象；再分清「像不像」与「是不是同一个」；然后说出你采用的判断标准，并指出它在论证里是哪一步；最后用替换、复制或分叉这些情形去检验它，说清你手里的是反例还是异议、它落在哪一个前提上。不是每题都要走完这四步，但每题至少要能说出自己停在哪一步、为什么停在那里。
相同版本的两本书，是同一本书吗？
书店里有两本同版、同印次、都没写过字的《红楼梦》。它们在内容、纸张和装帧上几乎没有差别。请问：它们为什么不是同一本「物理书」？如果其中一本换了封面，为什么又仍可能是原来那一本？
查看参考分析
先确定我们在谈哪一类对象：这里说的是两本实体书，不是同一部作品、同一段文字。前一问有确定答案：两本书可以内容和质地高度相似，却能同时摆在不同位置、被不同的人借走，所以它们不是数值同一——这正是「质的相同」和「数值同一」的区别。后一问要先看清它换了题型：换封面不是「两个相似对象哪个是哪个」，而是同一本书发生了一次部分更换，于是要动用的是「判断标准」那一节的几条候选，比如内页是不是原来那些、这一本和先前那一本之间有没有一条连续的历史。本页不裁定哪条标准胜出，但问题属于哪一类已经清楚了。
这段推理漏了哪一步？
有人这样论证：「这台机床的每个零件都换过了，所以它不是当年那台。因为同一个东西必须由同一些部分构成。」请指出：这段话里哪一句是可以被质疑的前提？为什么它不能当作「同一个东西」的词义直接拿来用？
查看参考分析
先把这段话拆成三样东西：「每个零件都换过了」是对情形的描述，「它不是当年那台」是结论，「同一个东西必须由同一些部分构成」是让结论成立的那条前提。可质疑的是最后这一条。它被放在「因为」后面，看上去像在交代词义，其实是一条持续条件——正是「判断标准」那一节的第一条，原材料优先。数值同一性只说「是一个而不是两个」，并没有规定一个对象必须保住哪些部分；要用这条条件，就得像巴特勒与齐硕姆那样把它作为主张提出来，并承担它的代价（比如交代零件拆散存放的那些年里，那堆材料还算不算在）。所以这段推理不是算错了，而是把一派的主张当成了词义，省掉了本该论证的那一步。
搬家之后的那盆植物：该优先看什么？
一盆薄荷被移进新花盆；土换了，枝叶也修剪过，后来还扦插出一盆新薄荷。哪一盆是原来那盆？请先选一个你认为重要的标准，再说出一个它会遇到的困难。
查看参考分析
如果看重连续的生长过程和同一套根系，那么移栽后的原株最有资格；扦插出来的那盆虽然来自它，却开始了另一条生长链。这个回答能解释为什么换土、修剪不必终止同一性。难处在于：如果原株完全枯死，而扦插苗延续了它的遗传和照料关系，看重材料或生物连续性的人会把界线划在哪里？这个练习的重点不是选出唯一答案，而是把你所依据的条件和它会遇到的难处都说出来。
论证地图
一条船的木板被一块块换完，换下的旧木板又被拼成第二条船，哪一条才是原来那条？这张图不是要在两条船之间投票。前四步要让人看见一件更麻烦的事——只要两条船各自都有理由算原船，就会推出「这两条船是同一条船」，可它们明明并排停着。最后的分歧点是出口：矛盾必须在某一环被打掉，三条路线的区别就是各自打掉哪一环。正文里那三条判断标准（材料、结构功能、历史连续）不在图上，它们问的是凭什么根据来判，这里问的是矛盾出在哪一环。中观一系对「自性」的批评同样不在这条链上——自性指一个不依赖条件、由自身就能成立的内核；它质疑的是「有这样一个内核在时间中持续」这个提法本身，而不是在传递性上选边。
前提01
一艘船的木板被逐块换掉，最后得到一艘与原船无从分辨、却由完全不同木板组成的船。称它为「替换船」。[BEC-A1]
前提02
每块取下的旧木板都被用来造另一艘船，它由且仅由原船最初的那些木板组成。称它为「重组船」。[BEC-A1]
前提03
同一性极可能是一种等价关系——即同时满足三条：自反（每样东西都与自己同一）、对称（a 与 b 同一就等于 b 与 a 同一）、传递（a 与 b 同一、b 与 c 同一，则 a 与 c 也同一）。下面真正被用到的是最后一条。[BEC-A1]
推论04
说替换船与原船同一、重组船也与原船同一，就得说替换船与重组船同一；但在后来的那个时刻，两者显然是两艘不同的船。[BEC-A1]
不换部件也会出同类的谜题：桌上只有一样东西，你既可以叫它一块泥，也可以叫它一尊雕像；后来它被压变形，只剩一块没有形状的泥。泥有「在后一时刻存在」这个属性而雕像没有；按莱布尼茨定律——同一个东西的任何属性，另一边也必须有，否则它们本来就是两个——两者必须是不同的东西。可是在雕像还在的那段时间里说它们是二而不是一，又违反常识。所以下面这些路线不只为船而设。
分歧点
必须放弃其中之一：放弃「重组船与原船同一」、放弃「替换船与原船同一」、放弃这里用的是同一个「同一」，或者放弃「原船是一个三维物体在时间中持续」这个提法。前三条是在推论里挑一环打掉，第四条动的是提法本身。
构成论
区分「构成」与「同一」：一堆材料构成某物，不等于它就是那个物。同一是双向的，构成不是——泥构成雕像，雕像却不构成泥。光这一点就说明两者不是一回事。
- 由原木板重组的那艘船，与原先由那些木板构成的船并不同一，只是由同一批木板构成。
- 换过木板的那艘船与原船同一，但不由原来的木板构成。
- 同一套区分也用在上面那个泥与雕像的谜题上：泥块从不与雕像同一，早先只是构成雕像。
反对构成论只在对称的分叉情形里给出候选解答，而忒修斯之船是不对称的分叉：一边是材料的连续，一边是结构与功能的连续，两条线索本来就不对等。要用构成论处理它，就得先独立论证为什么结构与功能那条线索承载同一性、材料那条只承载构成。[BEC-A1]
支持构成论的一条理由（不直接回答上面那条反对）基特·法因（Kit Fine）用一批莱布尼茨定律论证来支持构成论：从雕像与泥块在时间属性与模态属性上的差异出发，推出两者并不同一。所谓模态属性，是「能不能经受住某种改变而继续存在」这类属性——泥块被压扁之后还在，雕像却没了，可见两者在这一点上不同。这类论证的长处是不依赖对两条线索的直觉排序，只依赖属性差异；弗朗西斯（Frances）对它们提出过反驳。但要看清它证到哪里为止：它支持的是「构成不等于同一」，也就是这个立场的第一步；它没有回答上面那条反对。区分了材料与它所构成的物品之后，仍然需要说明：是什么样的持续条件，使换过木板的那一艘而不是旧料重组的那一艘成为原船。这一步在本图上仍然空着。[BEC-A1]
接受它要付的代价要接受在雕像存在期间，雕像与泥块是两个物而不是一个——这一点与常识直接冲突。
严格同一与宽泛同一（巴特勒—齐硕姆）
否认第 4 步里用的是同一个「同一」：两个判断分别用了严格意义与宽泛通俗意义。
- 按齐硕姆的严格哲学意义，a 与 b 同一必须共有全部部分；所以掉了把手的杯子与原来那只杯子并不严格同一，换过木板的船与原船也不严格同一。
- 我们仍然说那是同一只杯子、同一艘船，用的是宽泛通俗的意义：一串相继的材料轮流「代替」它。齐硕姆把这样被谈论的东西叫作「相继之物」（ens successivum）——它是我们从一连串严格意义上各不相同的东西里构造出来的说法，不是世界上另有那么一个实在物。
- 于是替换船之被认作原船靠宽泛意义；重组船之被认作原船靠它满足严格同一对部分的要求。谜题来自把两种意义混起来。
反对代价落在常识对象的地位上：日常谈论的那艘船、那只杯子、那个人，都成了我们从一串东西里构造出来的说法，只有严格意义下共有全部部分的东西才算实在。这不是对谜题的局部修补，而是把「世界上到底有哪些东西」整个重排了一遍。[BEC-A1]
回应针对「重排太大」这一步：诊断的对象正是一个确实存在的歧义——我们既愿意说换过木板的船还是那艘船，又愿意说由原木板重组的船「就是原来那些木板」。若两个判断使用同一个「同一」，矛盾无法避免；接受两种意义，代价落在「世界上有哪些东西」那一层，换来的是不必否认任何一个日常判断。[BEC-A1]
接受它要付的代价严格同一被收窄到「共有全部部分」之后，任何一次部分的得失都终止它——这使它在描述宏观物体时几乎无用，日常的同一性判断全部要由宽泛意义来承担。
四维主义
放弃「原船是一个三维物体，整个儿地存在于它经历的每一个时刻」这个提法。按这条路线，物体不只在空间里有延展，在时间里同样有延展：正如一条路可以分成一段一段，一个物体也可以分成「它在头五年里的那一部分」「它在后五年里的那一部分」——这些就叫它的时间部分。
- 许多四维主义者接受无限制的融合原则：随便挑几个四维对象，它们拼起来仍然构成一个四维对象——哪怕这个拼出来的东西古怪到我们从不给它起名字。
- 于是忒修斯之船的情形里存在的是一个 Y 形分叉的对象：一段共同的主干，到某处分成替换船与重组船两支。它可以被无数种方式切分为四维的真部分（真部分即它的一部分而非它本身，就像一段路是整条路的真部分），其中无数个切法切出来的都是船——例如「主干加替换分支」这艘船，就以「只有主干」与「只有替换分支」为它的两个真部分。
- 于是替换船与重组船不是两个都等于原船，而是两个共有一段较早时间部分的不同整体——共有一段部分并不要求彼此同一，正如两条路可以共用同一段路面而仍是两条路。传递性因此没有被违反，严格同一也不必在两者之间选边：剩下的问题变成哪些时间部分被「原船」这个名字挑出。
反对这个解答不给提问者一个直接回答。按四维主义，即使掉了把手的杯子与那只杯子在那段时间里无从分辨，也不存在两者字面同一的问题——只能跟着刘易斯说它们在那段时间里共有时间部分因而「在某时同一」。而问的人想知道的是世界里有什么。[BEC-A1]
为这个立场辩护的一条理由（不回答上面那个「不给直接回答」）四维主义并不是为这个谜题定制的：它另有两条与忒修斯之船无关的理由。第一，它同时被主张为「暂时内在属性」难题的最好解答——同一个东西不能既是红的又是黑的，可一辆车分明可以先红后黑。第二，刘易斯有一条从随附出发的论证。先说清「随附」：说 A 随附于 B，意思是两个在 B 上完全相同的情形，在 A 上也必定相同。刘易斯主张一切较高层的事实都随附于一类基本事实，那就是：每一处时空点上出现了哪些最基本的性质（这类性质不牵涉别的东西，只描述那一点自身是什么样），以及这些点之间有什么时空关系。接着设想两个世界：我们这个世界里，某片时空区域被一个持续存在的对象占据；另一个世界里，同一片区域被一串较短的、片状的对象接连占据。两边的基本事实完全相同，那么按随附，关于「这片区域被什么占据」就不可能还有进一步的差别可说——于是把持续者看成由较短的时间部分接连构成，并没有漏掉任何事实。若这两条独立理由成立，分叉分析就不是为解谜临时装上去的部件。但提问者要的那个直接回答，这一步并没有给出。[BEC-A1]
接受它要付的代价要接受无限制融合带来的大量重叠对象——包括无数个我们从不数算、也从不命名的四维整体；并接受「这是不是原来那艘船」在严格意义上没有是非，只有哪些时间部分被哪个名字挑出。
思想实验
换过的车，与旧料重装的车
把「哪辆是原车」从一次表态变成一串取舍：改变替换的速度、旧料的去向和提问的场合，看「同一」跟着哪一个动。
文献案例忒修斯之船的原型见普鲁塔克所记雅典船只逐步换件后引起的争论；把旧料重新装成第二条船的变体由霍布斯提出——两点据 SEP「物质构成」条目 §1 的“The Ship of Theseus Puzzle”核对。本页正文已把它改写成自行车，此处沿用甲车／乙车的说法，只加变量。
情境 A
一辆自行车骑了十年，链条、轮胎、车座、把手、车架先后换掉。每次换完照旧骑走，一直被叫作「我的那辆车」。十年后最初的零件一个不剩，这辆车记作甲车。换下的旧零件被车店一一收着，十年后按原来的配置装成一辆能骑的车，记作乙车。
- 若说甲车是原车，理由是使用与维修从未中断，还是它一直被同一个人当作同一辆车对待？
- 若说乙车是原车，理由是原材料齐全，还是零件之间的原有配置被恢复了？这两条若分开，取哪一条？
- 「两辆都不是原车」是可以接受的答案吗？接受之后，十年间一直在骑的那辆车是什么？
变量 B
改动的变量替换的速度：十年逐步换完，改为一次换完。
同一辆车。某天送修，店里一次性把全部零件换成同型号新件，第二天取车，骑车人当天没有察觉。换下的旧零件同样被收下，之后同样装成乙车。
- 如果一夜换完之后更倾向说「这已经不是原来那辆」，起作用的是换掉了多少，还是换得多快？
- 速度若真的重要，要重要到什么程度：一夜不算，一个月算，一年算？这条界线由什么定？
- 如果骑车人当天就察觉了，判断会变吗？变的是这辆车的同一性，还是他与车的关系？
这一改动在检验保持不变的有三样：最终零件全部换掉这个结果、同一个使用者、旧零件照样被装成乙车；改变的只有替换的时间跨度。这一段检验的是一条关于判准的主张——「一辆车还算不算原来那辆」由什么来定。判断若随速度改变，依据的就不是材料，而是变化过程本身有没有保持某种连续；接着要说明的是：快慢为什么会改变这辆车的身份，而不只是改变我们有没有察觉。
变量 C
改动的变量旧零件的去向：不再留着装成第二辆车。
同一辆车、同样十年逐步换完，只是换下的旧零件当场熔成金属料，乙车从未存在。
- 乙车不存在之后，「甲车是原车」这个判断变了吗？如果变了，甲车自身什么都没有改变。
- 一辆车是不是原车，能不能取决于另一辆车存在与否？若不能，情境 A 里的犹豫是从哪来的？
- 若旧零件被装成一辆造型完全不同的三轮车，判断会与情境 A 不同吗？
这一改动在检验甲车这一侧一点没动：同样的十年、同样的逐块替换、同样的使用与维修；撤掉的只有竞争者乙车。这一段检验的是判准的适用范围——判定「这是不是原车」时，能不能只看这辆车自己。判断若随之改变，接下来就要解释：一件东西的身份，为什么会被另一处发生的事改写。
变量 D
改动的变量提问的场合：从抽象的「哪辆是原车」，改为三处有后果的裁决。
同一组甲车与乙车。三件事同时发生：这辆车登记在案，是一位已故运动员的比赛用车，博物馆要收其中一辆；保险公司要判定十年前投保的那辆车是否仍在保单范围内；车店与骑车人为乙车的归属打官司，法庭要判它归谁。
- 三处裁决可以给出不同答案吗？若可以，「哪辆是原车」这个问句在问什么？
- 若三处都必须用同一个答案，被牺牲的是哪一方的合理要求？
- 「按用途各取判准」与「这个问题没有事实答案」之间，差的是什么？
这一改动在检验两辆车的物理事实、十年的经过与旧料的去向全部不变，改变的只是提问的场合：同一个问句被放进三处有后果的裁决。这一段检验的不再是某一条判准，而是这个问句有没有一个与用途无关的答案。判断若随用途分岔，接下来要说明的是：这是一个问题有多个正确答案，还是三个不同的问题共用了一个问句。
判断改变时，你实际上在依据什么
- 材料的持续
- 若判断随原零件的存留而变化，用的就是材料这一条判准：一样东西还在不在，看它原来那些料还在不在。它的代价在情境 A 就出现：按这条判准乙车更像原车，可十年间没有人把那堆零件当作自己的车骑。
- 结构与功能的持续
- 若看的是零件之间的配置和整体功能有没有中断，甲车占优。这条判准要正面回答变量 B：一夜换完之后，配置和功能同样没有中断。
- 因果与使用的历史
- 若看的是维修、使用和保管有没有一条不断的链条，甲车占优，且不受替换速度影响。它要回答的是：当链条自己分叉时（旧料被重装成车），凭什么只承认其中一支。
- 判断的外在性
- 若「甲车是不是原车」要看乙车在不在，同一性判断就依赖这辆车之外的事实。接受这一点，就要解释一件东西的身份为何会被别处发生的事改变；不接受，就要在情境 A 里给出一个不看乙车的答案。
- 登记与社会命名
- 编号、保单和判决可以在形而上学争论未决时先给出确定答案。把这一层单列出来能解释很多分歧；单列之后要说清它是在记录一个事实，还是在制定一个事实。
- 目的相关的判准
- 若允许博物馆、保险和法庭各用不同判准，「同一」就不是一条判准而是一族。这需要一个限度，否则任何冲突都能靠「换个目的」消解掉。
甲车与乙车的物理事实在四段情境里都可以查清，而「哪辆是原车」仍然给不出一个不需要选择的答案。四段之间的答案若不一致，要交代的是每一段各自换用了哪一条判准，以及这些判准冲突时按什么次序取舍。四段若始终用同一条判准，要回答的则是它如何一次顶住四处压力：情境 A 的两个候选、变量 B 的速度、变量 C 里乙车的消失、变量 D 的三处裁决——这四段本来就是为把这些判准拆开而设的。最后要说清这个实验做不到什么：它只能显示判断实际依据的是哪一条判准、以及这些判准在哪里互相冲突，不能证明哪一条判准正确。它设定的也只是人造物这一类东西——换成生物，换成人，「持续存在」要靠什么承担，还得另作讨论，不能把这里的结论直接搬过去。
放回历史线索
- 古典与希腊化时期
从巴门尼德、赫拉克利特到亚里士多德，变化与实体已形成不同问题线。
- 佛教哲学：苦、无我、缘起与认识
缘起、无我与空性必须放在具体论证和修行目标中，不可只译为抽象本体论。
回到问题：现在能说什么
- 这一页在问什么
- 一样东西的零件被一件件换掉，换到哪一步它才不再是原来那一个？如果这一步指不出来，「同一个东西」这句话还剩下什么意思？
- 分歧落在哪里
- 分歧不在「东西会变」这件事上。它落在你拿什么当判断的根据：是原来的材料，是结构与功能还延续着，还是一条没断过的使用与维修的历史。平常这三条给出同一个答案，所以不必选；旧零件一旦被重装成另一辆车，它们就指向不同的对象，而每一条都有答不上来的情形。还有一层分歧更深：对象是在每一时刻整个在场，还是由不同时刻的部分拼成——选哪一种，前一层的答案也会跟着变。
- 现在可以确定什么
- 有几处可以定下来：「同一个」问的是前后是不是同一个东西，不是两者像不像；这个说法本身不要求性质不变，也不要求部件不变，所以把某一条持续条件写进它的定义，等于把一派的主张当成了词义；而解释「对象怎样跨时间存在」的那些理论，并不直接充当判定具体案例的标准。
- 还不能确定什么
- 还定不下来的是那三条根据里哪一条该优先，以及在分叉的情形下该怎样收场。把「同一」分成严格与宽松两种用法可以缓解，代价是要交代清楚哪一种在什么场合作数；持续理论那一层的争论同样没有结束。
带着问题继续读
从人物继续读
把具体论证接回人物的阅读入口，查看文本、边界及其他问题。以下是已整理的映射，不是本页提及人物的完整名单。
继续学习
这几条不是按相似度推荐的：分组标题说明它和本页构成哪一种关系，下面那句话说明为什么 值得现在就读。
来源、核验与修订记录
本条状态
来源已逐条核验
来源与核验记录
本页引用的来源都在这里，按材料归并：同一份材料被多处引用时只列一条，但每一处的定位、 支持的论断和核验状态分开记。每项只说明本轮实际核对到的那一处定位，原典入口不等于整部 文本都已校勘。本页除正文外，论证地图、思想实验也各自带了来源。
BEC-1 / BEC-A1 · 学术综述
SEP：Identity Over Time（在新标签页打开）BEC-1 · 条目正文 · 已核验 · 2026-09-11
定位：§1（导论：数值同一与质的相同之分）、§2.1–§2.4（共时／历时同一、莱布尼茨定律与「暂时内在性质」难题、候选解法）、§4.3（Identity: ‘Strict’ and ‘Loose’）、§4.5（Four Dimensionalism）
用于：§1 给出「质的同一是完全相似，数值同一是一个而非两个」的措辞；§2.3 以莱布尼茨定律构造变化难题（前后有不同性质却是同一物）；§4 导论与 §4.3 处理忒修斯之船式重组与严格／宽松同一性；§4.5 处理四维主义。
BEC-A1 · 论证地图 · 已核验 · 2026-09-11
定位：§2.2（同一性作为等价关系与传递性）；§4 导论（替换船与重组船的构造、与传递性的冲突、泥块与雕像的同类谜题）；§4.1 “Constitution”（含 Kit Fine 的莱布尼茨定律论证与 Frances 2006）；§4.3 “Identity: ‘Strict’ and ‘Loose’”（Butler 与 Chisholm、ens successivum）；§4.5 “Four Dimensionalism”（无限制融合、Y 形分叉对象、Lewis 的随附论证）
用于：忒修斯之船的标准构造与它对传递性的冲击；三种解答各自放弃哪一步；四维主义分叉分析的具体内容与它的独立理由。
BEC-2 · 学术综述
SEP：Temporal Parts（在新标签页打开）BEC-2 · 条目正文 · 已核验 · 2026-09-11
定位：§1（导论）、§2（What are temporal parts…：持续论与接续论的界定）、§3（Change and Temporal Parts）、§4.1–§4.2（暂时重合与永久重合，含泥像与 Tibbles）
用于：§2 给出「持续的两种最流行说法是接续论与持续论」并逐一界定；§3 说明时间部分怎样解释同一对象在不同时刻具有不同性质；§4 是重合难题（忒修斯之船一类案例的当代形态）所在。原来引用 2024 春季归档地址；本轮核对活链与该归档版章节完全一致（两版都标注 2020-05-05 最后实质修订），已统一为活链，与 data.json 一致。
BEC-3 · 学术综述
SEP：Process Philosophy（在新标签页打开）BEC-3 · 条目正文 · 已核验 · 2026-09-11
定位：§1（Historical contributions，怀特海「实际契机」与「合生」／「摄受」的段落）、§2（Three tasks of process philosophy）
用于：§1 写出怀特海系统里「实在的基本单位是一个事件式的实体，即『实际契机』，它是数据传递过程（『摄受』）整合、『合生』为新数据的统一体」；§2 给出过程哲学自设的任务，即本条只把它当作与主线不同的问题而非竞争判准的依据。原定位「导论及关于怀特海『实际契机』的段落」无法定位，已改为章节号；原来引用 2023 夏季归档地址，本轮核对活链章节一致（同为 2022-05-26 实质修订），已统一为活链。
BEC-4 · 学术综述
SEP：Nāgārjuna（在新标签页打开）BEC-4 · 条目正文 · 已核验 · 2026-09-11
定位：§2（Emptiness and svabhāva）、§3.1（Causation）、§3.2（Change）、§3.5（Language and truth）
用于：§2 界定空性与自性的关系；§3.1、§3.2 是针对因果与变化的反自性论证，与本页的持续问题相邻但问题不同；§2 同时记录「中观其实是主张无物存在的虚无论」这一读法有较长历史但有系统与历史两方面的有力反证，中观自身明说其立场避开两种极端——这是「空不等于虚无」的直接依据。《中论》在 §1 被定位为其最重要著作、四百五十颂。
BEC-5 · 学术综述
SEP：Plato’s Middle Period Metaphysics and Epistemology（在新标签页打开）BEC-5 · 条目正文 · 已核验 · 2026-09-11
定位：§1（The Background to Plato’s Metaphysics）
用于：§1 给出巴门尼德式论证的转述（「变化意味着某物成为它此前不是的东西」，因而无物能变化），并明言残存的巴门尼德文本太少，无法判定他主张的是严格的数值一元论还是「只有一类东西」，解释争议由此而来。
BEC-6 · 学术综述
SEP：Heraclitus（在新标签页打开）BEC-6 · 条目正文 · 已核验 · 2026-09-11
定位：§3.1（Flux）、§3.2（The Unity of Opposites）
用于：§3.1 明确「有些东西恰恰靠变化才保持同一」，并以河流为「靠更换所含之物而保持其所是」的存在物，还指出流变对常驻并非破坏性、反而在某些情形下是常驻的必要条件——这正是本页「靠更替而持续」的谨慎读法；§3.2 处理对立面的关联。
BEC-7 · 学术综述
SEP：Aristotle’s Metaphysics（在新标签页打开）BEC-7 · 条目正文 · 已核验 · 2026-09-11
定位：§6（Substance, Matter, and Subject）、§8（Substances as Hylomorphic Compounds）
用于：§6 从《物理学》一侧把个别实体分析为「述谓复合体」，并处理变化即质料取得或失去形式；§8 处理质料与形式在生成中的分工、以形式而非质料为本质。该条目同时指出「实体形式是普遍者还是个别者」是《形而上学》解释中最大且争议最多的单一问题。
BEC-8 · 学术综述
SEP：Locke on Personal Identity（兼论《人类理解论》II.xxvii）（在新标签页打开）BEC-8 · 条目正文 · 已核验 · 2026-09-11
定位：§1（Locke on Persons and Personal Identity: The Basics），尤其其中对 II.xxvii.7 与 II.xxvii.9 的引用
用于：§1 引洛克「并非实体的统一性涵盖一切种类的同一性……我们必须考虑该词所代表的观念」（L-N 2.27.7），据此说明须先定下种类的名义本质再问持续条件，并逐一区分原子、物质集合、植物、动物、人与人格各有不同的同一性条件。原定位写“II.xxvii.1、.7–.9”，该节实际引用的是 2.27.1、.7、.9 等条，其中并无 .8，已改准。
BEC-9 · 原典
休谟《人性论》I.4.2（English Philosophical Texts Online）（在新标签页打开）BEC-9 · 条目正文 · 已核验 · 2026-09-11
定位：I.4.2 “Of scepticism with regard to the senses”，第 .29–.35 段与第 .44–.47 段（该站以 [Hume.THN.1.4.2.n] 形式逐段编号）
用于：第 .29–.35 段给出想象力如何把相关知觉的序列滑成同一对象（「思想沿这一相继系列滑行时如此顺畅，仿佛只在考虑一个对象，因而把相继混同为同一」，第 .34 段）；第 .44–.47 段给出压眼成双像一类经验对独立存在信念的削弱，以及「哲学体系」只是从俗常体系借力。据此不把休谟简化为任意命名论。
BEC-E1 · 学术综述
SEP：Material Constitution（在新标签页打开）BEC-E1 · 思想实验 · 已核验 · 2026-09-11
定位：§1 “The Puzzles”，其中的 “The Ship of Theseus Puzzle” 一段
用于：普鲁塔克记载的逐步换件之船、霍布斯设想的旧料重装之船，以及「两条船都有理由被称为原船」这一分叉结构。
本轮审查与待办
主文前半｜问题层级
发现：原模板把存在论、对象持续、基本性和空性并列呈现，零基础读者难以知道先解决什么。
依据：BEC-1、BEC-2 分别以同一性／持续问题组织讨论；BEC-3、BEC-4 的问题范围不同。
修订：主文只围绕逐步替换与重组案例；过程哲学、基本性和中观移入默认折叠的进阶关联。
候选标准与练习
发现：旧页面给出结论与问题列表，却没有走完理由、反例、回应和剩余困难。
依据：BEC-1 讨论重组、严格／宽松同一性；BEC-2 说明持续理论并非身份判准的同义替换。
修订：补写材料、结构／功能、因果历史连续的推演，并给出两道含参考分析的迁移练习。
进阶关联｜中观
发现：将空性与西方持续理论放在同一立场列表，易被读成「万物不存在」或同义学说。
依据：BEC-4 §2–§3 区分自性、空性和依赖；BEC-3 的问题是过程在本体论解释中的地位。
修订：明确它们各自的问题对象、范围与不可直接等同的边界。
人物比较｜历史立场
发现：页面只有理论名称，读者无法判断人物是在回答同一性准则、变化的可能性，还是本体论的基本单位。
依据：BEC-5–BEC-9 分别将巴门尼德、赫拉克利特、亚里士多德、洛克与休谟放在不同问题中；BEC-3 的过程哲学与 BEC-4 的中观论证另有各自语境。
修订：新增逐人比较：每项说明原问题、可怎样启发自行车案例，以及不能由此推出什么。
容易混淆的地方｜「空」不等于「虚无」
发现：「空不等于虚无」那一条原挂 BEC-3，而 BEC-3 是 SEP：Process Philosophy，跟空性没有关系。
依据：本轮实际打开 BEC-3：全部七节均为过程哲学的历史贡献、任务、与科学的关系等，无空性或自性内容；该判断的材料在 BEC-4（SEP：Nāgārjuna）§2，那里明说中观自身避开两种极端、并反驳「无物存在」的读法。
修订：这一条的来源标注由 BEC-3 改为 BEC-4。
来源账｜九条定位与归档／活链混用
发现：九条来源全部标 pending，其中 BEC-3 的定位是「导论及关于怀特海『实际契机』的段落」这类无法定位的表述；BEC-2、BEC-3 指向的是归档快照，而同一条目在本站别处用的是现行地址，文件里没有一处说明为什么要分成两套。
依据：本轮逐条实际打开核对目录：BEC-2 现行页与 spr2024 归档版章节一致（均标 2020-05-05 实质修订），BEC-3 现行页与 sum2023 归档版一致（均标 2022-05-26），两条归档地址没有任何必须保留的理由。
修订：九条定位全部改为实际章节号并附小节标题，BEC-2、BEC-3 改用现行地址；BEC-8 删去实际不存在的 II.xxvii.8。
定义与边界｜2026-09-15 复审
发现：数值同一性与质的相同的界定，在本条的研究层与精读层各写了一遍，措辞几乎相同；研究层真正独有的只有最后一句——把持续条件写进定义就是把一派主张当成词义。
依据：两处文字逐句可比：连「不能直接从这个定义得到答案」这样的说法都相同。
修订：研究层把定义压到一句，重心移到它独有的那一步，并补出为什么这一步要紧：被写进定义的那派主张，恰恰是要被论证的东西。
范围说明与新增具体入口｜2026-09-19 教学重构
发现：页面第一行（本页范围）原来就在用「数值同一性」「自性批判」「人格同一性」三个术语，而这一行正是读者看到的第一句话。
依据：本页走的是手写教学主线，研究层只有范围说明、来源账与审查记录到达读者；范围说明因此是术语解释之前唯一的入口文字。
修订：范围说明改写成不含术语的普通话，保留它划定的范围；另新增 entry，只做一句引入——点出正文要跟的那辆自行车与旧零件重组的后续，并说明本页问的不是「大家习惯管哪辆叫原车」。entry 刻意不复述正文第一节的叙述，避免与手写主线重复。
问题起点与定义边界｜2026-09-19 数据质量修订
发现：研究层这四段在本页并不显示（本页由手写主线渲染），但其中两处中文本身就不清楚：张力那一段没有说明「没有任何对象经历变化」意味着什么，持续理论那一段用「不等于……候选判断标准」这种否定式并列，读不出两层问题的关系。
依据：本页的待办里已写明这四段不到达读者；本轮不改动它们的论断，只修中文。
修订：张力一段补出「变化这个词落了空」这一步；持续理论一段改写为「回答的是另一层问题」，并点明选定持续理论之后分叉情形仍要另行判断；「存在不等于肉眼可见」一条补出它要挡的是什么。
回到问题｜2026-09-19 教学重构
发现：手写主线在原典阅读路径与迁移练习处收尾，页尾没有一处把三条候选根据与持续理论这两层分歧收拢。
依据：本轮为 CoreEntryLedger 新增 takeaway 字段，它在本页的共享尾部渲染。
修订：新增四问：指出分歧落在「拿什么当判断的根据」以及「对象以什么方式跨时间存在」两层、列出已可确定的三点、写明分叉情形仍未收场。
主文｜第一节案例命名｜2026-09-19 教学重构
发现：读者刚记住甲车与乙车，下一段又被要求记住替换船与重组船，两套名字在后文交替出现。
依据：原文写「甲车对应替换船，乙车对应重组船」，随后整段改用船名复述同一组区分，第六节 Y 形分叉又切回船名。
修订：手写主线只保留甲车与乙车一套；忒修斯之船压成一句，并注明页末论证地图按船讲、两者如何对应。
主文｜第二节概念框｜2026-09-19 教学重构
发现：概念框在读者见到巴特勒与齐硕姆之前就提这两个名字，属于前向依赖，内容又与上下文三重重复。
依据：原文写「那是巴特勒与齐硕姆这一路给严格一词追加的条件」，而这两人要到下一节才首次出现并得到解释。
修订：删掉该格；同一判断已由上文不带人名的表述承担，人名留在下一节真正需要它的位置。
主文｜第四节传递性推导｜2026-09-19 教学重构
发现：声称对称性与传递性可由莱布尼茨定律推出，漏掉自反性这一步——正是本页教读者去抓的那种跳步。
依据：原文写「这两条都可以从前面那条莱布尼茨定律推出来」；仅凭同一者不可分辨推不出这两条。
修订：改为「有了莱布尼茨定律，再加上每个东西都与它自己同一这一句，它们都能推出来」。
主文｜第六节四维分析｜2026-09-19 教学重构
发现：真部分那一整段只为铺垫一句结论，而叔侄互换自行车是本页第三个新情境，读者在技术密度最高处被要求再建一个场景。
依据：原文六段里，真部分段与互换例段各占一段，而结论「原车这个词挑中 Y 形里的哪一段」不需要该术语就能说。
修订：删去真部分段（该术语在同页论证地图里另有完整解释），互换例压成一句转述并与代价段合并；六段并为四段，无限制融合的双向代价与三条判准不作废的限定全部保留。
迁移练习｜2026-09-19 教学重构
发现：两道题都只练区分概念和选标准说困难，没有一道检验读者能否指出一段推理的缺口。
依据：原有两题分别问为什么不是同一本物理书、以及选一个标准再说出一个困难，无一要求分辨前提、结论与被伪装成词义的持续条件。
修订：新增一题给出三句话的论证，要求拆出描述、结论、前提并指认那条被当作词义使用的材料标准，参考分析给确定答案与理由；页末总括段改为练习节的做题步骤导言，收尾交给新增的回到问题四问。
分页器｜2026-09-19 复审修复
发现：本页是推荐路线第一步，页尾却先出现问题域那一行（下一页：心灵、身体与「我」，也就是第五步），路线那一行排在下面。两行外观一样，从路线页点进来的读者在第一页就会被送去第五步。
依据：走查实测：页尾依次是「在「1. 存在、世界与人」里」与「推荐基础学习路径第 1 步」。
修订：分页器把路线那一组提到前面，并给两行各加一句语境：路线那行注明「会跨问题域」，域内那行注明「按建议顺序」。
相邻条目影响：「心灵、身体与我」页仍须把人格同一性同一般对象的持续分开；「佛教哲学」页须保留缘起、无我与空性的自身论证语境。
下一优先：在独立审查中逐段核对主文与 BEC-1／BEC-2 的对应，并补充《中论》可靠汉译版本与章段。
- 待办：尚未逐段校勘《中论》汉译与相关注释传统；未逐章核对怀特海《过程与实在》的可靠中译本与二手研究分歧。本页不把这些材料当作原典释读或学界定论。
- 待办：BEC-9 的核对只到该网站转录本的段落编号一级，未与 Selby-Bigge／Norton 校勘本逐段对照，段号与纸本版本的对应仍待确认。
- 待办：本页正文是单独写的一条教学主线，只取用研究层的范围说明、来源账与审查记录；研究层写下的问题起点、定义与边界、有力反对及回应、容易混淆四段在本页并不显示。本轮已改正其中的来源错挂，但要让这四段真正到达读者，仍须另行安排版面。