stringtranslate.com

Возможный мир

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

Логика

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

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

В области теории баз данных возможные миры также являются понятием, используемым применительно к неопределенным базам данных и вероятностным базам данных , которые служат кратким представлением большого числа возможных миров. [2]

Аргумент от способов

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

  1. Черная смерть могла убить 99% населения Европы, а не 25–60%, как предполагалось.
  2. Так что все могло бы быть и по-другому.
  3. Возможные миры — это то, как все могло бы быть.
  4. Так что есть и другие возможные миры.

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

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

Метафизика

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

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

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

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

Другие применения

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

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

Идея возможных миров чаще всего приписывается Готфриду Лейбницу , который говорил о возможных мирах как об идеях в разуме Бога и использовал это понятие, чтобы утверждать, что наш фактически созданный мир должен быть « лучшим из всех возможных миров ». Артур Шопенгауэр утверждал, что, напротив, наш мир должен быть худшим из всех возможных миров, потому что если бы он был хоть немного хуже, он не смог бы продолжать существовать. [15] Ученые обнаружили неявные более ранние следы идеи возможных миров в работах Рене Декарта , [16] большое влияние оказали Лейбниц, Аль-Газали ( «Непоследовательность философов» ), Аверроэс ( «Непоследовательность несогласованности» ), [17] Фахр ад-Дин ар-Рази ( Маталиб аль-Алия ), [18] Джон Дунс Скот [17] и Антонио Рубио ( Commentarii in libros Aristotelis Stagiritae de Coelo ). [19]

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

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

Ссылки

  1. ^ "Формальная семантика: истоки, проблемы, раннее влияние". Балтийский международный ежегодник познания, логики и коммуникации . Труды симпозиума по познанию, логике и коммуникации. Том 6. 2011.
  2. ^ Сучу, Дэн; Олтяну, Дэн; Ре, Кристофер; Кох, Кристоф (31 мая 2022 г.). Вероятностные базы данных. Спрингер Природа. ISBN 978-3-031-01879-4.См. раздел 1.2.2 «Семантика возможных миров».
  3. ^ Льюис, Дэвид К. (1973). "4. Основания". Контрфактуальности. Блэквелл.
  4. ^ Лаан, Дэвид А. Вандер (1997). «Онтология невозможных миров». Notre Dame Journal of Formal Logic . 38 (4): 597–620. doi : 10.1305/ndjfl/1039540772 .
  5. ^ Берто, Франческо; Яго, Марк (2018). «Невозможные миры». Стэнфордская энциклопедия философии . Исследовательская лаборатория метафизики, Стэнфордский университет . Получено 14 ноября 2020 г.
  6. ^ Менцель, Кристофер (2017). «Возможные миры». Стэнфордская энциклопедия философии . Исследовательская лаборатория метафизики, Стэнфордский университет . Получено 14 ноября 2020 г.
  7. ^ Куайн, Уиллард В. (1948). «О том, что есть». Обзор метафизики . 2 (1): 21–38.
  8. ^ Томассон, Эми Л. (2014). Онтология стала проще. Oup Usa. стр. 248.
  9. ^ Льюис, Дэвид (1973). Контрфактуальности . John Wiley & Sons.
  10. ^ Льюис, Дэвид (1986). О множественности миров . Wiley-Blackwell.
  11. ^ WVO Куайн , «Пропорциональные объекты» в «Онтологической относительности и других эссе», 1969, стр. 140-147
  12. ^ Сталнакер, Роберт (1976). «Возможные миры». Нус . 10 (1): 65–75. дои : 10.2307/2214477. JSTOR  2214477.
  13. ^ Крипке, Сол (1972). Именование и необходимость . Издательство Гарвардского университета.
  14. ↑ См. «A Priori and A Posteriori» (автор: Джейсон С. Бэр) в Интернет-энциклопедии философии : «Необходимое суждение — это суждение, истинностное значение которого остается постоянным во всех возможных мирах. Таким образом, необходимо истинное суждение — это суждение, которое истинно в каждом возможном мире, а необходимо ложное суждение — это суждение, которое ложно в каждом возможном мире. Напротив, истинностное значение контингентных суждений не является фиксированным во всех возможных мирах: для любого контингентного суждения существует по крайней мере один возможный мир, в котором оно истинно, и по крайней мере один возможный мир, в котором оно ложно». Доступно 7 июля 2012 г.
  15. ^ Артур Шопенгауэр, «Die Welt als Wille und Vorstellung», приложение к 4-й книге «Von der Nichtigkeit und dem Leiden des Lebens», с. 2222, см. также перевод Р.Б. Холдейна и Дж. Кемпа «О тщеславии и страдании жизни», стр. 395–6.
  16. ^ «Мы также не могли сомневаться в том, что если бы Бог создал много миров, они не были бы столь же истинны во всех них, как в этом. Таким образом, те, кто мог бы достаточно исследовать следствия этих истин и наших правил, могли бы обнаружить следствия через их причины, и, выражаясь языком школ, они могли бы иметь априорные доказательства всего, что могло бы быть произведено в этом новом мире». - Мир, Глава VII
  17. ^ ab Taneli Kukkonen (2000), «Возможные миры в Тахафут аль-Фаласифа: Аль-Газали о творении и случайности», Журнал истории философии , 38 (4): 479–502, doi :10.1353/hph.2005.0033, S2CID  170995877
  18. ^ Ади Сетия (2004), «Фахр ад-Дин ар-Рази о физике и природе физического мира: предварительный обзор», Ислам и наука , 2 , получено 2010-03-02
  19. ^ Падилья Гальвес, Хесус (1948). «Лучший из всех возможных миров» (PDF) . Куадернос Салмантинос де Философия . 45 (1): 231–259.

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

Внешние ссылки