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

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

Логика [ править ]

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

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

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

Аргумент от способов [ править ]

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

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

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

Философские вопросы и приложения [ править ]

Метафизика [ править ]

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

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

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

Объяснение необходимости и возможности [ править ]

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

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

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

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

История концепции [ править ]

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

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

См. Также [ править ]

  • Стандартный перевод , встраивание модальных логик в логику первого порядка, которая фиксирует их возможную мировую семантику.
  • N-вселенные
  • Модальный фикционализм
  • Художественная литература
  • Невозможный мир
  • Модальный реализм
  • Расширенный модальный реализм
  • Альтернативная история
  • Молинизм

Ссылки [ править ]

  1. ^ «Формальная семантика: происхождение, проблемы, раннее влияние» . Балтийский международный ежегодник познания, логики и коммуникации . Это материалы симпозиума по познанию, логике и коммуникации. 6 . 2011 г.
  2. ^ Льюис, Дэвид К. (1973). «4. Фундаменты». Противоречия . Блэквелл.
  3. ^ Лаан, Дэвид А. Вандер (1997). «Онтология невозможных миров» . Журнал формальной логики Нотр-Дам . 38 (4): 597–620. DOI : 10.1305 / ndjfl / 1039540772 .
  4. ^ Берто, Франческо; Джаго, Марк (2018). «Невозможные миры» . Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета . Дата обращения 14 ноября 2020 .
  5. Перейти ↑ Menzel, Christopher (2017). «Возможные миры» . Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета . Дата обращения 14 ноября 2020 .
  6. ^ Куайн, Уиллард В. (1948). «О том, что есть» . Обзор метафизики . 2 (1): 21–38.
  7. ^ Томассон, Ами Л. (2014). Онтология стала проще . Oup Usa. п. 248.
  8. ^ Льюис, Дэвид (1973). Противоречия . Джон Вили и сыновья.
  9. ^ Льюис, Дэвид (1986). О множественности миров . Вили-Блэквелл.
  10. ^ WVO Quine , "Пропорциональные объекты" в онтологической теории относительности и других эссе ', 1969, стр.140-147
  11. ^ Стальнакер, Роберт (1976). «Возможные миры». Нет . 10 (1). DOI : 10.2307 / 2214477 . JSTOR 2214477 . 
  12. Перейти ↑ Kripke, Saul (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. ^ Б Taneli Kukkonen (2000), "Возможные миры в Tahafut аль-Falâsifa: Аль-Газали по созданию и Случайности", журнал истории философии , 38 (4): 479-502, DOI : 10,1353 / ПВД. 2005.0033 , S2CID 170995877 
  17. ↑ Ади Сетиа (2004), «Фахр ад-Дин ар-Рази по физике и природе физического мира: предварительный обзор» , « Ислам и наука» , 2 , извлечено 02 марта 2010 г.

Дальнейшее чтение [ править ]

  • Д.М. Армстронг, Мир состояний дел (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. Итака и Лондон: Cornell University Press) ISBN 0-8014-9178-9 
  • GW Leibniz, Theodicy (2001. Wipf & Stock Publishers) ISBN 978-0-87548-437-2 
  • Брайан Скирмс, «Возможные миры, физика и метафизика» (1976. Философские исследования 30)

Внешние ссылки [ править ]

  • Запись «Возможные миры» в Стэнфордской энциклопедии философии
  • «Возможные миры: чем они хороши и чем они являются» - Александр Прусс.
  • Запись «Возможные объекты» в Стэнфордской энциклопедии философии
  • Запись «Невозможные миры» в Стэнфордской энциклопедии философии