WikiDer > Теория двойника

Counterpart theory

В философия, особенно в области метафизика, двойная теория является альтернативой стандартному (Крипкеанский) семантика возможных миров для интерпретации количественных модальная логика. Теория двойников по-прежнему предполагает возможные миры, но в некоторых важных аспектах отличается от точки зрения Крипке. Наиболее часто цитируемая форма теории была разработана Дэвид Льюиссначала в статье, а затем в своей книге О множественности миров.

Отличия от взгляда Крипкеана

Теория двойников (далее «CT»), сформулированная Льюисом, требует, чтобы люди существовали только в одном мире. Стандартное описание возможных миров предполагает, что модальное утверждение об индивидууме (например, «возможно, что x есть y») означает, что существует возможный мир W, в котором индивидуум x обладает свойством y; в этом случае речь идет только об одном человеке, x. Напротив, противоположная теория предполагает, что это утверждение действительно говорит о том, что существует возможный мир W, в котором существует индивид, который не является самим x, а, скорее, отдельным индивидом «x», отличным от x, но, тем не менее, похожим на него. Итак, когда я утверждаю, что, согласно теории двойников, я мог бы быть банкиром (а не философом), я говорю не о том, что я существую в другом возможном мире, где я являюсь банкиром, а скорее о том, что мой коллега существует. Тем не менее, это заявление о моем коллеге по-прежнему считается основанием для истинности утверждения о том, что я мог быть банкиром. Требование, чтобы любой индивид существовал только в одном мире, состоит в том, чтобы избежать того, что Льюис назвал «проблемой случайных внутренних свойств», которая (он считал) требует, чтобы отдельный индивид обладал и одновременно не обладал определенными свойствами.

В своей формализации аналогичная формализация модального дискурса также отходит от стандартной формулировки, отказываясь от использования операторов модальности (обязательно, возможно) в пользу кванторов, которые распространяются по мирам и «двойников» индивидов в этих мирах. Льюис выдвинул набор примитивных предикатов и ряд аксиом, управляющих СТ, а также схему для перевода стандартных модальных утверждений на язык количественной модальной логики в свой СТ.

Помимо интерпретации модальных утверждений об объектах и возможных мирах, CT также может применяться к идентичности одного объекта в разные моменты времени. Представление о том, что объект может сохранять свою идентичность с течением времени, часто называют эндурантизм, и он утверждает, что объекты «полностью присутствуют» в разные моменты (см. партнерские отношения, ниже). Противоположная точка зрения состоит в том, что любой объект во времени состоит из временных частей или терпящий.

Взгляд Льюиса на возможные миры иногда называют модальный реализм.

Основы

Возможности, которые CT должен описать, - это «способы, которыми может быть мир» (Lewis 1986: 86) или, точнее,:

(1) абсолютно все, что может быть в мире, - это то, чем является какой-то мир, и

(2) абсолютно все, что может быть частью мира, - это то, чем является какая-то часть какого-то мира. (Льюис 1986: 86.)

Добавьте также следующий «принцип рекомбинации», который Льюис описывает так: «соединение частей различных возможных миров дает другой возможный мир […]. [Ничто] может сосуществовать с чем угодно, [...] при условии, что они занимают различные пространственно-временные позиции ». (Льюис 1986: 87-88). Но эти возможности должны быть ограничены КТ.

Партнерские отношения

Отношение контрагента (далее С-отношение) отличается от понятия идентичности. Идентичность - это рефлексивный, симметричный, и переходный связь. Отношение контрагента - это только отношение подобия; он не обязательно должен быть транзитивным или симметричным. C-отношение также известно как половая принадлежность (Карнап 1967), Я-отношение (Льюис, 1983), а отношение единства (Перри, 1975).

Если идентичность разделяется между объектами в разных возможных мирах, то можно сказать, что один и тот же объект существует в разных возможных мирах ( транс-мир объект, то есть серия объектов, имеющих одну идентичность).

Партнерские отношения

Важной частью того, как миры Льюиса открывают возможности, является использование отношения части. Это дает аккуратный формальный механизм, мереология. Это аксиоматическая система, которая использует формальную логику для описания отношений между частями и целым, а также между частями внутри целого. По словам Льюиса, особенно важна и наиболее разумна сильнейшая форма, допускающая существование мереологических сумм или тезиса неограниченная мереологическая композиция (Льюис 1986: 211-213).

Формальная теория

Как формальная теория, теория двойников может использоваться для перевода предложений в модальную квантификационную логику. Приговоры, которые кажутся количественными по сравнению с возможными людьми, должны быть переведены в CT. (Явные примитивы и аксиомы для временного или пространственного использования CT еще не сформулированы.) Пусть CT выражается в квантификационной логике и содержит следующие примитивы:

Wx (x - возможный мир)

Икси (x находится в возможном мире y)

Ax (x актуально)

Cxy (x является аналогом y)

У нас есть следующие аксиомы (взяты из Lewis 1968):

A1. Икси → Вай

(Нет ничего, кроме мира)

A2. Ixy ∧ Ixz → y = z

(Ничего нет в двух мирах)

A3. Cxy → ∃zIxz

(Все, что есть двойник, есть в мире)

A4. Cxy → ∃zIyz

(Все, что имеет аналог, есть в мире)

А5. Ixy ∧ Izy ∧ Cxz → x = z

(Ничто не является аналогом чему-либо еще в этом мире)

А6. Ixy → Cxx

(Все в мире является двойником самого себя)

А7. ∃x (Wx ∧ ∀y (Iyx ↔ Ay))

(В каком-то мире есть все и только актуальные вещи)

А8. ∃xAx

(Что-то актуально)

Предположение, что примитивы и аксиомы с A1 по A8 составляют стандартную двойную систему, является бесспорным.

Комментарии к аксиомам

A1 исключает людей, которые вообще не существуют ни в каком мире. Человек находится в мире, будучи частью этого мира, поэтому основное отношение является мереологическим.
A2 исключает людей, которые существуют более чем в одном возможном мире. Но поскольку Дэвид Льюис допускает существование произвольных мереологических сумм, существуют индивиды, которые существуют в нескольких возможных мирах, но они не являются возможными индивидами, потому что ни один из них не обладает свойством быть актуальным. И это потому, что такое целое не может быть актуальным.
A3 и A4 делают копии связанными с миром, за исключением человека, у которого есть копия, не связанная с миром.
A5 и A6 ограничивают использование CT-отношения так, чтобы оно использовалось в пределах возможного мира тогда и только тогда, когда оно стоит сущностью для себя.
A7 и A8 делают один возможный мир уникальным реальным миром.

Принципы, которые не принимаются в обычном КТ

R1 Cxy → Cyx

(Симметрия двойного отношения)

R2 Cxy ∧ Cyz → Cxz

(Транзитивность двойного отношения)

R3 Cy₁x ∧ Cy₂x ∧ Iy₁ш₁ ∧ Ай₂ш₂ ∧ y₁≠ y₂ → ш₁≠ w₂

(Ничто в любом мире не имеет более одного аналога в любом другом мире)

R4 Cyx₁ ∧ Cyx₂ ∧ Ix₁ш₁ ∧ Ix₂w2 ∧ x₁≠ х₂ → ш₁≠ w₂

(Нет двух вещей в любом мире, у которых есть общий аналог в любом другом мире)

R5 Ww₁ ∧ Ww₂ ∧ Ixw₁ → ∃y (Iyw₂ ∧ Cxy)

(Для любых двух миров все, что находится в одном, является эквивалентом чего-либо в другом)

R6 Ww₁ ∧ Ww₂ ∧ Ixw₁ → ∃y (Iyw₂ ∧ Cyx)

(Для любых двух миров все, что находится в одном, имеет аналог в другом)

Мотивы для теории двойников

CT может применяться к отношениям между идентичными объектами в разных мирах или в разное время. В зависимости от предмета существуют разные причины для принятия CT как описания отношений между различными объектами.

В возможных мирах

Дэвид Льюис защищался Модальный реализм. Это точка зрения, согласно которой возможный мир - это конкретная, максимально связанная пространственно-временная область. Реальный мир - это один из возможных миров; он также конкретен. Поскольку отдельный конкретный объект требует пространственно-временной связности, возможный конкретный объект может существовать только в одном возможном мире. Тем не менее, мы говорим правду, например: Возможно, что Хьюберт Хамфри выиграл президентские выборы в США 1968 года. Как это правда? У Хамфри есть аналог в другом возможном мире, который побеждает на выборах 1968 года в этом мире.

Льюис также выступает против трех других альтернатив, которые могут быть совместимы с поссибилизмом: перекрывающиеся индивиды, загробные индивиды и высокомерие.

Некоторые философы, такие как Питер ван Инваген (1985), не вижу проблем с личность в мире. Льюис, кажется, разделяет это отношение. Он говорит:

«… Как и Священная Римская Империя, у него неудачное название. […] Прежде всего, мы должны иметь в виду, что Trans-World Airlines является межконтинентальным, но еще не межпланетным перевозчиком. Что более важно, мы не должны предполагать, что у нас здесь есть проблемы с личность.

У нас никогда не было. Идентификация совершенно проста и не вызывает проблем. Все идентично самому себе; ничто не может быть идентично чему-либо, кроме самого себя. Никогда не возникает проблем с тем, что делает что-то идентичным самому себе; ничто не может не быть. И никогда не возникает проблем с тем, что делает две вещи идентичными; две вещи никогда не могут быть идентичными.

Может возникнуть проблема с тем, как определить идентичность кому-то, кому достаточно не хватает концептуальных ресурсов - мы отмечаем, что недостаточно научить его определенным правилам вывода - но, поскольку такие неудачники редки, даже среди философов, нам не о чем беспокоиться много, если их состояние неизлечимо.

Мы делать указать множество реальных проблем с точки зрения идентичности. Но мы не нужно заявите их так ». (Льюис 1986: 192-193)

Пересекающиеся люди

Перекрывающийся человек имеет часть в реальном мире и часть в другом мире. Поскольку идентичность не является проблемой, мы получаем перекрывающихся людей, имея перекрывающиеся миры. Два мира пересекаются, если имеют общую часть. Но некоторые свойства перекрывающихся объектов для Льюиса вызывают беспокойство (Lewis 1986: 199-210).

Проблема заключается в случайных внутренних свойствах объекта, таких как форма и вес, которые влияют на его части. У Хамфри могло быть шесть пальцев на левой руке. Как он это делает? Не может быть правдой, что Хамфри обладает одновременно шестью и пятью пальцами на левой руке. Можно сказать, что у него пять пальцев на это мир и шесть пальцев при этом Мир. Но как эти модификаторы Быть понятым?

Согласно Макдэниелу (2004), если Льюис прав, защитник пересекающихся индивидов должен принять подлинные противоречия или отстаивать точку зрения, согласно которой каждый объект имеет все свои свойства по существу.

Как ты можешь быть на год старше себя? Один из способов - сказать, что существует возможный мир, в котором вы существуете. Другой способ - найти в этом возможном мире двойника, который имеет свойство быть на год старше вас.

Зарубежные люди

Возьмем, к примеру, Хамфри: если он трансмирный человек, он мереологическая сумма всех возможных Хамфри в разных мирах. Он подобен дороге, проходящей через разные регионы. Есть части, которые пересекаются, но мы также можем сказать, что есть северная часть, которая соединяется с южной частью, и что дорога является мереологической суммой этих частей. То же самое и с Хамфри. Одна его часть находится в одном мире, другая часть - в другом.

«Возможно, что-то существует, если и только если возможно существование целого. То есть, если и только если существует мир, в котором все это существует. То есть, если есть мир, такой, что количественная оценка только по частям этого мир, весь он существует. То есть, если и только если он целиком находится среди частей какого-то мира. То есть, если и только если он является частью какого-то мира - и, следовательно, не трансмирной индивидуальностью. Части миров являются возможный частные лица; загробные люди поэтому невозможно частные лица ".

Haecceity

А высокомерие или же индивидуальная сущность - это свойство, которое создает только один объект. Обычные свойства, если допустить существование универсалии, могут быть проиллюстрированы более чем одним объектом одновременно. Еще один способ объяснить причудливость - это различать таковость и это, где это имеет более демонстративный характер.

Дэвид Льюис дает следующее определение haecceitistic различия: «два мира различаются тем, что они представляют. де ре касаются какого-то человека, но никак не отличаются качественно ». (Льюис 1986: 221.)

CT не требует отдельных миров для различных возможностей - «один мир может предоставить множество возможностей, поскольку в нем обитает множество возможных индивидуумов» (Lewis 1986: 230). CT может удовлетворить множество аналогов в одном возможном мире.

Височные части

Пердурантизм это точка зрения, согласно которой материальные объекты не присутствуют полностью в какой-либо момент времени; вместо этого некоторые височные части говорят, что присутствует. Иногда, особенно в теория относительности как это выражается Минковский, путь, пройденный объектом в пространстве-времени. В соответствии с Тед Сидер, «Теория временных частей - это утверждение, что время подобно пространству в одном конкретном отношении, а именно в отношении частей».^[1] Сидер связывает эндурантизм с C-отношением между височными частями.^{[нужна цитата]} (Смотрите также: Аргумент временной внутренней сущности).

Сидер защищает пересмотренный способ подсчета. Вместо подсчета отдельных объектов используются срезы шкалы времени или временные части объекта. Сидер обсуждает пример подсчета сегментов дороги вместо симпликатора дорог. (Sider 2001: 188-192). (Сравните с Lewis 1993.) Сидер утверждает, что даже если бы мы знали, что какой-то материальный объект прошел бы через деление и разделить на две части ", мы бы не сказать"что есть два объекта, расположенных в одном пространство-время область, край. (Sider 2001: 189).

Как можно предсказать временные свойства этих мгновенных временных частей? Именно здесь в игру вступает С-отношение. Сидер предложил фразу: «Тед когда-то был мальчиком». Условие истинности этого предложения заключается в том, что «существует некоторая личность, находящаяся на стадии x до момента произнесения, такая, что x - мальчик, и x имеет отношение временного аналога к Теду». (Сидер 2001: 193)

Теория двойников и необходимость идентичности

Три лекции Крипке о собственных именах и идентичности (1980) подняли вопросы о том, как мы должны интерпретировать утверждения об идентичности. Возьмите утверждение, что Вечерняя звезда идентична Утренней звезде. Оба являются планета Венера. Кажется, это апостериорный заявление о личности. Мы обнаруживаем, что имена обозначают одно и то же. Традиционный взгляд, поскольку Кант, были те утверждения или предложения, которые обязательно верно находятся априори. Но в конце шестидесятых годов Саул Крипке и Рут Баркан Маркус предложили доказательства необходимой истинности заявлений о личности. Вот версия Крипке (Kripke 1971):

(1) ∀x

{ displaystyle Box}

(x = x) [Необходимость самоидентификации]

(2) ∀x∀y [x = y → ∀P (Px → Py)] [закон Лейбница]

(3) ∀x∀y [x = y → (

{ displaystyle Box}

(х = х) →

{ displaystyle Box}

(x = y))] [Из (1) и (2)]

(4) ∀x∀y [x = y →

{ displaystyle Box}

(x = y)] [Из следующего принципа A → B → C ⇒ A → C и (3)]

Если доказательство верно, различие между априорным / апостериорным и необходимым / условным становится менее четким. То же самое применимо, если утверждения идентичности в любом случае обязательно верны. (Некоторые интересные комментарии к доказательству см. В Lowe 2002.) Утверждение о том, что, например, «Вода идентична H₂O ”является (тогда) утверждением, которое обязательно истинно, но апостериори. Если CT является правильным объяснением модальных свойств, мы все же можем сохранить интуицию, что утверждения идентичности случайны и априори, потому что теория двойников понимает модальный оператор иначе, чем стандартный модальная логика.

Интересна взаимосвязь между CT и эссенциализмом. (Эссенциализм, необходимость идентичности и жесткие обозначения образуют важную тройку взаимозависимости.) Согласно Дэвиду Льюису, утверждения о существенных свойствах объекта могут быть истинными или ложными в зависимости от контекста (в главе 4.5 в 1986 году он призывает против постоянства, потому что абсолютное представление о сущностях постоянно в логическом пространстве возможностей). Он написал:

Но если я спрошу, как бы все было, если бы Сол Крипке произошел не из сперматозоидов и яйцеклеток, а был принесен аист, что также имеет смысл. Я создаю контекст, в котором мой вопрос имеет смысл, и для этого он должен быть контекстом, в котором происхождение не имеет значения. (Льюис 1986: 252.)

Теория двойников и жесткие обозначения

Крипке интерпретировал собственные имена как жесткие обозначения где жесткое обозначение выделяет один и тот же объект во всех возможных мирах (Kripke 1980). Для того, кто принимает условные утверждения идентичности, возникает следующая семантическая проблема (семантическая, потому что мы имеем дело с de dicto необходимостью) (Rea 1997: xxxvii).

Возьмем сценарий, о котором упоминается в парадоксе совпадения. Статуя (назовите ее «Статуя») создается путем соединения двух кусков глины. Эти две пьесы называются «Глина». Статуя и Глина кажутся идентичными, они существуют одновременно, и мы можем сжечь их одновременно. Верным кажется следующее:

(7) Обязательно, если Статуя существует, то Статуя идентична Статуе.

Но,

(8) Обязательно, если статуя существует, то статуя идентична глине.

неверно, потому что кажется возможным, что Статуя могла быть сделана из двух разных кусков глины, и поэтому ее идентичность с глиной не является обязательной.

Теория двойников, ква-тождество и индивидуальные концепции могут предложить решения этой проблемы.

Аргументы в пользу непостоянства

Тед Сидер приводит примерно следующий аргумент (Sider 2001: 223). Непостоянство возникает, если утверждение о сущности объекта истинно в одном контексте и ложно в другом. C-отношение - это отношение подобия. То, что похоже в одном измерении, не похоже в другом. Следовательно, C-отношение может иметь такое же различие и выражать непостоянные суждения о сущностях.

Дэвид Льюис предлагает еще один аргумент. Парадокс совпадения можно решить, если мы примем непостоянство. Тогда мы можем сказать, что в некотором контексте возможно совпадение посуды и куска пластика. Затем этот контекст можно описать с помощью CT.

Сидер отмечает, что Дэвид Льюис чувствует, что был вынужден защищать CT из-за модальный реализм. Sider использует компьютерную томографию как решение парадокс материального совпадения.

Теория-аналог в сравнении с ква-теорией и отдельными концепциями

Мы предполагаем, что случайная идентичность реальна. Затем полезно сравнить КТ с другими теориями о том, как справиться де ре представления.

Ква-теория

Кит Файн (1982) и Алан Гиббард (1975) (согласно Ри, 1997) являются защитниками ква-теории. Согласно ква-теории мы можем говорить о некоторых модальных свойствах объекта. Теория удобна, если мы не думаем, что Сократ может быть идентичным куску хлеба или камню. Сократ как личность - это, по сути, личность.

Индивидуальные концепции

В соответствии с Рудольф Карнап, в модальных контекстах переменные относятся к отдельным концепциям, а не к отдельным лицам. Затем индивидуальная концепция определяется как функция людей в различных возможных мирах. По сути, отдельные концепции доставляют семантические объекты или абстрактные функции вместо реальных конкретных сущностей, как в CT.

Теория-аналог и эпистемическая возможность

Крипке принимает необходимость отождествления, но соглашается с тем чувством, что все еще кажется, что возможно, что Фосферус (Утренняя звезда) не идентичен Гесферу (Вечерняя звезда). Насколько нам известно, может быть, они разные. Он говорит:

Что же тогда означает интуиция о том, что стол мог оказаться состоящим из льда или чего-то еще, что он мог оказаться даже не из молекул? Я думаю, это просто означает, что мог быть стол, который выглядел и чувствовался точно так же, как этот, и помещался именно в этом месте в комнате, который на самом деле был сделан изо льда. Другими словами, я (или какое-то сознательное существо) мог находясь качественно в той же эпистемической ситуации, которая фактически имеет место, я мог бы иметь те же сенсорные свидетельства, что и на самом деле, относительно стола, сделанного из льда. Таким образом, ситуация похожа на ту, которая вдохновляла теоретиков-коллег; когда я говорю о возможности того, что стол может состоять из разных вещей, я говорю нечетко. Сама эта таблица не могла иметь происхождение, отличное от того, которое она имела на самом деле, но в ситуации, качественно идентичной этой в отношении всех доказательств, которые у меня были заранее, в комнате мог быть ледяной стол вместо стола. Вот этот. Таким образом, что-то вроде теории двойников применимо к данной ситуации, но применимо только потому, что нас не интересует то, что может быть неверным в отношении таблицы при определенных доказательствах. Именно потому, что неверно, что этот стол мог быть сделан из льда из Темзы, мы должны здесь обратиться к качественным описаниям и аналогам. Применять эти понятия к подлинным модальностям деремодальности с нынешней точки зрения неправильно. (Крипке 1980: 142.)

Таким образом, чтобы объяснить, как возможна иллюзия необходимости, согласно Крипке, альтернативой является CT. Таким образом, КТ составляет важную часть нашей теории о знание модальных интуиций. (Если вы сомневаетесь в этой стратегии, см. Della Roca, 2002. Подробнее о знании модальных операторов см. Gendler and Hawthorne, 2002.)

Аргументы против теории двойников

Самый известный из них - Крипке. Возражение Хамфри. Поскольку аналог никогда не идентичен чему-то в другом возможном мире, Крипке выдвинул следующее возражение против CT:

Таким образом, если мы говорим: «Хамфри мог бы победить на выборах» (если бы он сделал то-то и то-то), мы не говорим о том, что могло бы случиться с Хамфри но кому-то другому, «двойнику». Однако, вероятно, Хамфри было все равно, еще, как бы сильно ни напоминал его, победил бы в другом возможном мире. Таким образом, взгляд Льюиса кажется мне даже более странным, чем обычные идеи трансмирной идентификации, которые он заменяет. (Крипке 1980: 45, примечание 13).

Один из способов пояснить смысл утверждения Крипке - это следующий воображаемый диалог: (На основе Sider MS)

Против: Крипке имеет в виду, что сам Хамфри не имеет возможности выиграть выборы, потому что побеждает только его двойник.

Ибо: Свойство возможной победы на выборах является собственностью партнера.

Против: Но они не могут быть одной и той же собственностью, потому что Хамфри по-разному относится к ним: он заботится о том, чтобы у него самого было свойство, возможно, выиграть выборы. Его не волнует, что у противника есть возможность выиграть выборы.

Для: Но свойства не работают так же, как объекты, наше отношение к ним может быть разным, потому что у нас разные описания - это все те же свойства. Этот урок преподается парадокс анализа.

CT неадекватен, если он не может перевести все модальные предложения или интуиции. Фред Фельдман упомянул два предложения (Feldman 1971):

(1) Я мог быть совсем не таким, какой я есть на самом деле.

(2) Я мог бы быть больше похож на вас, чем на то, что я есть на самом деле. В то же время вы могли бы быть больше похожи на меня, чем на то, что вы есть на самом деле.

Смотрите также

Примечания

^ Сидер и др. (2008) Современные дискуссии по метафизике, «Временные части».

внешняя ссылка

[1] Сидер и др. (2008) Современные дискуссии по метафизике, «Временные части».

[1]

Navigation

Navigation

Themenportale

WikiDer > Теория двойника

Содержание

Отличия от взгляда Крипкеана

Основы

Партнерские отношения

Партнерские отношения

Формальная теория

Комментарии к аксиомам

Принципы, которые не принимаются в обычном КТ

Мотивы для теории двойников

В возможных мирах

Пересекающиеся люди

Зарубежные люди

Haecceity

Височные части

Теория двойников и необходимость идентичности

Теория двойников и жесткие обозначения

Аргументы в пользу непостоянства

Теория-аналог в сравнении с ква-теорией и отдельными концепциями

Теория-аналог и эпистемическая возможность

Аргументы против теории двойников

Смотрите также

Примечания

Рекомендации

внешняя ссылка