忒修斯之船

忒修斯之船，在历史上西方哲学,一个古老的悖论关于身份和随时间变化。提到的普鲁塔克后来由托马斯霍布斯特修斯的船催生了现代和当代的各种身份理论形而上学．

关于忒修斯的船的讨论通常是基于两种身份，描述性的(或定性的)和数字的，以及与早期现代哲学家相关的身份原则戈特弗里德·威廉·莱布尼茨即莱布尼茨原理(principle of the inidentifiable of same，或Leibniz’s)法律（看到不可分辨的身份)．描述性同一性是指两个或多个具有相同(非关系)属性或品质的不同事物之间的关系。例如，有人可能会说，其中的房间G.W.F.黑格尔"说教"和那个房间一模一样亚瑟叔本华这意味着这些房间存在于不同的地方或时代，但在其他方面都是精确的重复的彼此之间。数值同一性是事物与其自身的关系。这是一种每一事物与它自己而与其他事物没有关系的关系。(然而，在数字同一性的表述中，自同一事物通常用两个或两个以上不同的名称或描述来指代:马克吐温因此，黑格尔讲课的房间与叔本华讲课的房间在数量上是相同的，前提是这两位哲学家在同一间屋子里讲课。

关于莱布尼茨定律，该定律指出，如果一件事x在数字上是否与某物相同y，然后是持有的任何属性x也持有y，以及持有的任何财产y也持有x．也就是说，如果x而且y在数字上是相同的吗x而且y具有完全相同的性质。形式上，原理是:(x = y)⊃(Fx≡Fy)，其中=表示“等于”，⊃表示“如果……”并且≡的意思是“当且仅当”。

原来船舶的问题忒修斯(传说中的阁楼英雄谁杀了的弥诺陶洛斯普鲁塔克在他的《特修斯生平》中这样描述:

忒修斯(从克里特岛)返回的船有三十把桨，雅典人一直保存到公元狄米特律斯Phalereus[死于约280年公元前，因为他们把腐朽的旧木板都搬走了，换上了新的更结实的木材，这样，这艘船就成了哲学家们关于生长的逻辑问题的一个活生生的例子。一方认为这艘船是一样的，另一方则认为它不是一样的。

霍布斯(在他的著作中)提出的问题的版本德的美德)引入了一个复杂的假设，这艘船的旧木板被保存下来，并以“相同的顺序”组装在一起，以建造另一艘船。这个现代版本有不同的表述方式;提出这个问题的一种方法如下。一艘完全由木板建造的新船被命名为“泰坦尼克号”阿里阿德涅(取自…的女儿米诺斯王他在忒修斯杀死牛头怪后帮助忒修斯逃脱)并出海。当船在航行时，建造它的木板被新木板替换(逐渐地，一次一块)，每个替换的木板在描述上与被替换的木板完全相同。原始的木板被带到岸上并储存起来比雷埃夫斯(古之港雅典)．在所有的木板都被更换后，完全由替换的木板建造的船仍然在海上航行爱琴海(爱琴海船)。旧木板然后组装在一个干船坞在比雷埃夫斯港组建一艘新船(比雷埃夫斯港船)。木板构成比雷亚河的船只都是按原来的样子布置的构成的阿里阿德涅．根据莱布尼茨定律(和常识)，爱琴海的船只和比雷亚海的船只不是同一艘船。但哪艘(如果有的话)是同一艘船阿里阿德涅？忒修斯之船的问题就是如何找到这个问题的正确答案。

有人可能会说这艘爱琴海船是阿里阿德涅因为一艘船只要有一艘船就不存在了组成更换木板;因此，在逐渐更换木板的过程中，没有一个点阿里阿德涅不再是原来的船了。但也有人认为比雷埃安船是阿里阿德涅，因为比雷埃安船和阿里阿德涅(在它存在的最初时刻)是由完全相同的木板以完全相同的方式排列而成的。请注意，不能说爱琴海的船只和比雷亚的船只都是阿里阿德涅因为根据同一性的传递性原理(如果a = b且b = c，则a = c)，爱琴海的船只和比雷亚的船只在数值上是相同的。

对忒修斯之船问题的各种可能解决方案包括用新的关系取代或扩大数字同一性的传统概念(见下文)．然而，任何保留传统概念的解决方案都必须符合莱布尼茨定律，这是合理的。

一个类似于忒修斯之船的问题已经被各种哲学批评家指出基督教神学教条，特别是那些三一,化身，以及圣餐．许多哲学家持有，例如，三位一体的教义(统一在一个神的父，子，和上帝圣灵)违反了同一的传递性原则，因为它意味着，例如，父亲和儿子是相同的上帝，但不相同的彼此。

针对这种情况批评，英国人罗马天主教徒哲学家彼得·奇奇(1916-2013)提出了一个激进的解决方案，似乎超越了关于身份传递性的神学问题。根据Geach的说法，没有数字恒等式这样的东西;相反，有许多形式为“is the same F as”的关系，其中“F”是指一种事物的分类术语(例如，“人”、“动物”、“活的有机体”、“木板”、“船”、“物体”等等)。奇奇坚持认为没有规则逻辑许可证的推理从“xF和y“到”xG和y如果“F”和“G”表示逻辑上独立的排序项。因此，就逻辑而言，存在实体是完全可能的x而且y这样:(1)xF和y，但是(2)x不是同一个Gy．基奇的理论因此允许人们重新表述三位一体论含义(1)父与子是同一位神(即父与子都是神)，但(2)父与子不是同一位。奇奇的理论的特点是认为身份是相对于一个分类术语或简单地作为相对身份的理论。

如上所述，相对同一性理论可以应用于忒修斯之船的问题以及其他跨越时间的同一性问题。因此，关于忒修斯的船，我们可以提出以下几点:(1)由于不存在这种数字同一性的关系，因此，关于这艘船是否属于特修斯的问题阿里阿德涅是爱琴海的船还是比雷亚的船是没有意义的;(2)阿里阿德涅爱琴海的船和比雷亚海的船都是船，都是物质的东西;(3)阿里阿德涅爱琴海的船是同一艘船，但不是同一种物质;和(4)阿里阿德涅和比雷埃安的船是同一种物质，但不是同一艘船。

对忒修斯之船问题和相关谜题提出的其他解决方案已经纳入了基于物质构成理论的新关系假定区分“严格”和“松散”的身份，以及关于“时间部分”的概念(见形而上学:时间的持久性)，以及其他方法。