Возможный мир - Википедия - Possible world

«Возможные миры» перенаправляются сюда. Для использования в других целях см. Возможные миры (значения).

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

Логика

Смотрите также: Модальная логика § Семантика, и Интенсиональная логика

Возможные миры - одна из основополагающих концепций в модальный и интенсиональная логика. Формулы в этой логике используются для представления утверждений о том, что мог бы быть правдой, что должен быть правдой, какой верит быть правдой и так далее. Чтобы дать этим утверждениям формальную интерпретацию, логики используют структуры, содержащие возможные миры. Например, в реляционная семантика для классической модальной логики высказываний формула (читается как "возможно P") на самом деле верно тогда и только тогда, когда верно в каком-то мире, который доступный из реального мира.

Возможные миры играют центральную роль в работе как лингвистов, так и философов, работающих в формальная семантика. Современная формальная семантика заложена в формальных системах, уходящих корнями в Грамматика Монтегю, который сам построен на Ричард Монтегю с интенсиональная логика.[1] Современные исследования в области семантики обычно используют возможные миры как формальные инструменты без привязки к какой-либо конкретной теории их метафизического статуса. Период, термин возможный мир сохраняется даже у тех, кто не придает им метафизического значения.

Аргумент от путей

К возможным мирам часто относятся с подозрением, поэтому их сторонники изо всех сил пытаются найти аргументы в свою пользу.[2] Часто цитируемый аргумент называется аргумент с пути. Он определяет возможные миры как «способы, какими все могло быть» и полагается в своих предпосылках и выводах на предположения из естественный язык,[3][4][5] Например:

(1) Хиллари Клинтон могла выиграть выборы в США в 2016 году.
(2) Итак, есть другие способы, как все могло быть.
(3) Возможные миры - это способы, какими все могло быть.
(4) Итак, есть и другие возможные миры.

Центральный шаг этого аргумента происходит в (2) где правдоподобный (1) интерпретируется таким образом, чтобы количественная оценка над «путями». Многие философы, следуя Уиллард Ван Орман Куайн,[6] считают, что количественная оценка влечет за собой онтологические обязательства, в данном случае приверженность существованию возможных миров. Сам Куайн ограничил свой метод научными теориями, но другие применяли его также и к естественному языку, например: Эми Л. Томассон в ней легко подход к онтологии.[7] Сила аргумент с пути зависит от этих допущений и может быть поставлен под сомнение, поставив под сомнение кванторный метод онтологии или надежность естественного языка как руководства по онтологии.

Философские вопросы и приложения

Метафизика

Дальнейшая информация: Модальная логика § Онтология возможности, и Модальный реализм

В онтологический Статус возможных миров вызвал ожесточенные дискуссии. Дэвид Льюис лихо выступал за позицию, известную как модальный реализм, который утверждает, что возможные миры - это реальные, конкретные места, которые существуют в том же самом смысле, что и реальный мир. По мнению Льюиса, реальный мир особенный только тем, что мы в нем живем. Это учение называется индексальность действительности поскольку это можно понимать как утверждение, что термин "актуальный" индексный, например, «сейчас» и «здесь». Льюис привел множество аргументов в пользу этой позиции. Он утверждал, что так же, как реальность атомов демонстрируется их объяснительной силой в физике, также возможны миры, оправдываемые их объяснительной силой в философии. Он также утверждал, что возможные миры должны быть реальными, потому что они просто «способы, которыми все могло быть», и никто не сомневается, что такие вещи существуют. Наконец, он утверждал, что они не могут быть сведены к более «онтологически респектабельным» сущностям, таким как максимально последовательные наборы предложений, не делая теории модальности круговыми. (Он назвал эти теории «эрзац-модальным реализмом», которые пытаются получить преимущества семантики возможных миров «по дешевке».)[8][9]

Модальный реализм неоднозначен. W.V. Куайн отверг его как «метафизически экстравагантный».[10] Сталнакер ответил на аргументы Льюиса, указав, что способ, которым могли бы быть вещи, сам по себе не является миром, а скорее свойством, которым может обладать такой мир. Поскольку свойства могут существовать без применения их к каким-либо существующим объектам, нет причин делать вывод о существовании других миров, подобных нашему. Другой аргумент Стальнакера нападает на Льюиса. индексальность теория действительности. Сталнакер утверждает, что даже если английское слово «фактический» является индексальным, это не означает, что существуют другие миры. Для сравнения можно использовать индексное «я», не веря, что другие люди действительно существуют.[11] Некоторые философы вместо этого одобряют взгляд на возможные миры как на максимально последовательные наборы предложений или описаний, в то время как другие, такие как Саул Крипке относиться к ним как к чисто формальный (т.е. математические) устройства.[12]

Объяснение необходимости и возможности

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

  • Правдивые предложения те, которые правда в реальном мире (Например: "Ричард Никсон стал президентом в 1969 г. ").
  • Ложные предложения те, которые ложь в реальном мире (Например: "Рональд Рейган стал президентом в 1969 г. ").
  • Возможные предложения те, которые верно по крайней мере в одном возможном мире (Например: "Хьюберт Хамфри стал президентом в 1969 г. ") (Хамфри действительно баллотировался в президенты в 1968 г. и, таким образом, мог быть избран). Это включает в себя утверждения, которые обязательно верны в том смысле, как это указано ниже.
  • Невозможные предложения (или же обязательно ложные предложения) те, которые правда в невозможном мире (например: «Мелисса и Тоби одновременно выше друг друга»).
  • Обязательно верные суждения (часто просто называют необходимые предложения) те, которые правда во всех возможных мирах (например: «2 + 2 = 4»; «все холостяки не состоят в браке»).[13]
  • Условные предложения те, которые верно в некоторых возможных мирах и ложно в других (Например: "Ричард Никсон стал президентом в 1969 г. " условно верно и "Хьюберт Хамфри стал президентом в 1969 г. " условно ложный).

Другое использование

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

История концепции

Идею возможных миров чаще всего приписывают Готфрид Лейбниц, которые говорили о возможных мирах как об идеях в сознании Бог и использовал это понятие, чтобы доказать, что наш фактически созданный мир должен быть " лучший из всех возможных миров ". Артур Шопенгауэр утверждал, что наоборот, наш мир должен быть худшим из всех возможных миров, потому что, если бы он был немного хуже, он не мог бы продолжать существовать.[14] Ученые обнаружили неявные более ранние следы идеи возможных миров в работах Рене Декарт,[15] большое влияние на Лейбница, Аль-Газали (Непоследовательность философов ), Аверроэс (Несвязность несогласованности ),[16] Фахр ад-Дин ар-Рази (Маталиб аль-'Алия)[17] и Джон Данс Скот.[16]

Современное философское использование этого понятия было впервые предложено Дэвид Льюис и Саул Крипке.

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

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

  1. ^ «Формальная семантика: истоки, проблемы, раннее влияние». Балтийский международный ежегодник познания, логики и коммуникации. Это материалы симпозиума по познанию, логике и коммуникации. 6. 2011.
  2. ^ Льюис, Дэвид К. (1973). «4. Основы». Контрольные факты. Блэквелл.
  3. ^ Лаан, Дэвид А. Вандер (1997). «Онтология невозможных миров». Журнал формальной логики Нотр-Дам. 38 (4): 597–620. Дои:10.1305 / ndjfl / 1039540772.
  4. ^ Берто, Франческо; Джаго, Марк (2018). «Невозможные миры». Стэнфордская энциклопедия философии. Лаборатория метафизических исследований, Стэнфордский университет. Получено 14 ноября 2020.
  5. ^ Мензель, Кристофер (2017). «Возможные миры». Стэнфордская энциклопедия философии. Лаборатория метафизических исследований, Стэнфордский университет. Получено 14 ноября 2020.
  6. ^ Куайн, Уиллард В. (1948). "О том, что есть". Обзор метафизики. 2 (1): 21–38.
  7. ^ Томассон, Эми Л. (2014). Онтология стала проще. Oup Usa. п. 248.
  8. ^ Льюис, Дэвид (1973). Контрольные факты. Джон Вили и сыновья.
  9. ^ Льюис, Дэвид (1986). О множественности миров. Вили-Блэквелл.
  10. ^ В. В. О. Куайн, «Пропорциональные объекты» в онтологической теории относительности и других эссе », 1969, стр.140-147.
  11. ^ Стальнакер, Роберт (1976). «Возможные миры». Нет. 10 (1).
  12. ^ Крипке, Саул (1972). Именование и необходимость. Издательство Гарвардского университета.
  13. ^ См. "A Priori and A Posteriori" (автор: Джейсон С. Бэр) на Интернет-энциклопедия философии: «Необходимое предложение - это такое утверждение, истинностное значение которого остается постоянным во всех возможных мирах. Таким образом, обязательно истинное утверждение - это утверждение, которое истинно во всех возможных мирах, а обязательно ложное утверждение - это утверждение, которое ложно во всех возможных мирах. напротив, значение истинности случайных предложений не фиксируется во всех возможных мирах: для любого случайного предложения существует по крайней мере один возможный мир, в котором оно истинно, и по крайней мере один возможный мир, в котором оно ложно ». По состоянию на 7 июля 2012 г.
  14. ^ Артур Шопенгауэр, "De Welt als Wille and Vorstellung", приложение к 4-й книге "Von der Nichtigkeit und dem Leiden des Lebens", с. 2222, см. Также перевод Р. Б. Холдейна и Дж. Кемпа. «О суете и страдании жизни» стр. 395-6
  15. ^ «Мы также не могли сомневаться в том, что, если бы Бог создал много миров, они не были бы такими же истинными во всех из них, как в этом. Таким образом, те, кто мог бы в достаточной мере исследовать последствия этих истин и наших правил, могли бы обнаружить следствия по их причинам, и, чтобы объяснить себя языком школ, они могли априори продемонстрировать все, что может быть произведено в этом новом мире ". -The Мир, Глава VII
  16. ^ а б Танели Кукконен (2000), «Возможные миры в Тахафут аль-Фаласифа: Аль-Газали о сотворении и непредвиденных обстоятельствах», Журнал истории философии, 38 (4): 479–502, Дои:10.1353 / ч. 2005.0033
  17. ^ Ади Сетиа (2004), "Фахр ад-Дин ар-Рази о физике и природе физического мира: предварительный обзор", Ислам и наука, 2, получено 2010-03-02

дальнейшее чтение

  • D.M. Армстронг, Мир положений дел (1997. Кембридж: Издательство Кембриджского университета) ISBN  0-521-58948-7
  • Джон Дайверс, Возможные миры (2002. Лондон: Рутледж) ISBN  0-415-15556-8
  • Пол Херрик, Множество миров логики (1999. Oxford: Oxford University Press), главы 23 и 24. ISBN  978-0-19-515503-7
  • Дэвид Льюис, О множественности миров (1986. Оксфорд и Нью-Йорк: Бэзил Блэквелл) ISBN  0-631-13994-X
  • Майкл Дж. Лукс [ред.] Возможное и актуальное (1979. Итака и Лондон: издательство Корнельского университета) ISBN  0-8014-9178-9
  • G.W. Лейбниц, Теодицея (2001. Wipf & Stock Publishers) ISBN  978-0-87548-437-2
  • Брайан Скирмс, "Возможные миры, физика и метафизика" (1976. Философские исследования 30)

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