Гораздо позже известный философ XVII в. Томас Гоббс (1588–1679) развил этот парадокс.
Представим, что за кораблем Тесея следует некий мусорщик. Когда команда выбрасывает старые доски за борт, он подбирает их и строит свой корабль. В порт прибывают два корабля: один – сделанный полностью из новых досок с Тесеем и его командой на борту, а второй – сделанный из старых досок корабля Тесея. Какой из двух является кораблем Тесея?
Обозначим корабль, построенный из старых досок корабля Тесея, буквой С.
Мы знаем, что В ≠ С. Оба корабля прибыли в порт – значит, очевидно, что это не один и тот же корабль.
Так что же делает корабль кораблем Тесея? Отдельные части, из которых он состоит? Его структура? История?
Что из этого следует?
Согласно одной из теорий, известной как мереологическая теория тождества (МТТ), идентичность целого зависит от идентичности составляющих его частей. Х = Y, если все составные части Х являются составными частями Y, и наоборот.
Например, объект Х состоит из определенных компонентов в начальный момент времени (t1). Если в конечный момент (t2) объект (теперь Y) состоит из тех же частей, то он по-прежнему существует.
В парадоксе о корабле Тесея, согласно МТТ, А = С. Значит, есть два корабля. Корабль, на котором Тесей отправился в путь, – тот же, на котором вернулся мусорщик, а второй – на котором Тесей вернулся в порт, сделанный из новых частей.
Однако здесь есть небольшая проблема. Тогда Тесею пришлось бы заменить судно во время путешествия: он прибыл в порт на корабле В (который не равен С). Но он не покидал своего корабля. Он отправляется в плавание на корабле А, возвращается на корабле В и никогда не был на двух кораблях (а согласно МТТ, именно так и должно было бы быть).
Есть другие возможные пути решения этой проблемы. Например, отказаться от МТТ и считать, что А = В. Тогда тоже получается, что есть два корабля: тот, на котором Тесей начал свое путешествие (А), и тот, на котором он вернулся (В), считаются одним, а корабль, сделанный из старых досок, – вторым.
Однако и тут есть проблема. Говоря, что А = В, мы подразумеваем, что В ≠ С, следовательно, А ≠ С. Но технически это утверждение не совсем верно, так как каждая часть С является частью А, и наоборот. Кроме того, у А и В нет общих частей, и всё же мы утверждаем, что это один корабль.
Здесь можно применить теорию пространственно-временного континуума. Согласно ей, любой предмет имеет продолжающуюся историю в контексте пространства и времени, если изменения происходят постепенно и при этом сохраняется форма.
Но даже при таком подходе есть проблемы! Представим, что все части корабля были упакованы в отдельные коробки и отправлены в разные точки мира, затем их прислали обратно, распаковали и собрали корабль. Технически это тот же корабль, но он не существовал в форме корабля в рамках пространственно-временного континуума (а МТТ вполне согласуется с этим сценарием).
