В философии , особенно в области метафизики , теория двойников является альтернативой стандартной ( Крипкеанской ) семантике возможных миров для интерпретации количественной модальной логики . Теория аналогов по-прежнему предполагает возможные миры , но в некоторых важных отношениях отличается от точки зрения Крипке. Наиболее часто цитируемая форма теории была разработана Дэвидом Льюисом сначала в статье, а затем в его книге «О множественности миров» .
Теория двойников (далее «КТ»), сформулированная Льюисом, требует, чтобы люди существовали только в одном мире. Стандартное описание возможных миров предполагает, что модальное утверждение об индивидууме (например, «возможно, что x есть y») означает, что существует возможный мир W, где индивидуум x обладает свойством y; в этом случае речь идет только об одном индивидууме x. Напротив, теория двойников предполагает, что это утверждение на самом деле говорит о том, что существует возможный мир W, в котором существует индивидуум, который не является самим х, а скорее отдельным индивидуумом «х», отличным от х, но тем не менее подобным ему. Итак, когда я утверждаю, что мог бы быть банкиром (а не философом) в соответствии с теорией двойников, я говорю не о том, что я существую в другом возможном мире, где я банкир, но скорее мой коллега делает. Тем не менее, это утверждение о моем коллеге по-прежнему считается обоснованием истинности утверждения о том, что я мог быть банкиром. Требование, чтобы любой индивидуум существовал только в одном мире, состоит в том, чтобы избежать того, что Льюис назвал «проблемой случайных свойств», которая (как он считал) потребовала бы, чтобы один индивидуум обладал и одновременно не обладал определенными свойствами.
В своей формализации теоретико-двойная формализация модального дискурса также отходит от стандартной формулировки, отказываясь от использования операторов модальности (необходимо, возможно) в пользу кванторов, которые охватывают миры и «двойники» людей в этих мирах. Льюис выдвинул набор примитивных предикатов и ряд аксиом, управляющих КТ, а также схему перевода стандартных модальных утверждений на язык квантифицированной модальной логики в его КТ.
Помимо интерпретации модальных утверждений об объектах и возможных мирах, КТ также может применяться к идентификации одного объекта в разные моменты времени. Взгляд на то, что объект может сохранять свою идентичность с течением времени, часто называют эндюрантизмом , и он утверждает, что объекты «полностью присутствуют» в разные моменты времени (см. отношение аналога ниже). Противоположная точка зрения состоит в том, что любой объект во времени состоит из временных частей или является постоянным .
Возможности, которые должна описывать КТ, — это «способы, которыми может быть мир» (Lewis 1986:86) или, точнее:
Добавьте также следующий «принцип рекомбинации», который Льюис описывает следующим образом: «склеивание частей разных возможных миров дает другой возможный мир […]. [А] что угодно может сосуществовать с чем угодно, […] при условии, что они занимают различные пространственно-временные позиции». (Льюис 1986:87-88). Но эти возможности должны быть ограничены КТ.