Парадокс лжецов в ранней исламской традиции - Liar paradox in early Islamic tradition

Многие рано Исламский философы и логики обсудили парадокс лжеца. Их работа над этим предметом началась в 10 веке и продолжалась Атир ад-Дин аль-Абхари и Насир ад-Дин ат-Туси середины 13 века[1] и дальше.[2] Хотя парадокс лжецов был хорошо известен в Греческий и латинский традиции, труды арабских ученых только недавно были переведены на английский.[1]

Каждая группа ранних исламских философов обсуждала разные проблемы, представленные парадоксом. Они первыми разработали уникальные решения, на которые не повлияли Западный идеи.

Атир и парадокс лжецов

Атир ад-Дин Муфадал (б. Умар Абхари, ум. 663/1264) был Персидский философ, астроном и математик из города Абхар в Персия. Есть некоторые предположения, что его работы о парадоксе лжецов могли быть известны западным логикам, и в частности Томас Брэдвардин.[3]

Он проанализировал фразу лжеца следующим образом:

Один из сложных заблуждения соединение двух противоречия (Джамʿал-накишян), когда кто-то говорит: «Все, что я говорю в этот момент, - ложь». Это предложение (qawl) либо истинное, либо ложное. Если это правда, то это должно быть правда и ложь. А если это неправда, то необходимо, чтобы одно из его предложений в этот момент было верным, пока он что-то произносит. Но в данный момент он ничего не говорит, кроме этой фразы. Таким образом, это предложение обязательно истинное и ложное.[4]

Другими словами, Атир говорит, что если предложение Лжеца ложно, что означает, что Лжец ложно заявляет, что все, что он говорит в данный момент, ложно, то предложение Лжеца истинно; и, если предложение Лжеца истинно, что означает, что Лжец правдиво заявляет, что все, что он говорит в данный момент, ложно, тогда предложение Лжеца ложно. В любом случае, предложение Лжеца одновременно истинно и ложно, что парадокс.[4]

Атир предлагает следующее решение парадокса:

Чтобы разрешить парадокс, мы говорим: мы не должны признавать, что если оно ложно, то одно из его предложений (калам) истинно. За то, что это правда, считается соединение его истинность и ложность. Следовательно, его ложность требует несоединения его истинности и ложности. И несоединение его истинности и ложности не обязательно должно быть истинным.[4]

Согласно традиционной идеализации[5] что предположительно было использовано Атиром, приговор как универсальное предложение ложно только тогда, когда «либо у него есть контр-экземпляр, либо его предметный термин пуст».[6]

  • К другим примерам контр-экземпляра относятся: неверно утверждать, что все птицы могут летать, потому что есть некоторые, которые не могут, например пингвины.[6]
  • Другие примеры пустого предметного термина: неверно говорить, что все летающие ковры имеют четыре угла, и не только потому, что некоторые ковры круглые или имеют три угла, но скорее потому, что ковров-самолетов нет вообще.[6]

В предложении Лжеца, однако, нет ни пустого подлежащего, ни контр-экземпляра. Этот факт создает препятствия для точки зрения Атира, который должен показать, что уникально в предложении лжеца, и как предложение лжеца все еще может быть только истинным или ложным с учетом «истинных» и «ложных» условий, установленных в описании универсального суждения. . Атир пытается разрешить парадокс, применяя к нему законы отрицания соединения и отрицания дизъюнкции.[6]

Ахмед Альвишах, доктор философии. в исламском Философия и Дэвид Сансон, доктор философии. в философии объясняют, что Атир фактически утверждает, что:

(1) «Дело не в том, что если приговор лжеца не является одновременно истинным и ложным, то это правда».[7]

Альвишах и Сансон продолжают: «Общий принцип, лежащий в основе (1), достаточно ясен: отрицание союза не влекут за собой отрицание конъюнкта; поэтому из не истинного и ложного вы не можете сделать вывод, что не ложно и не так верно. Абхари, кажется, говорит, что Лжец опирается на элементарную ошибку разума! Но, конечно, Абхари не имеет права на (1). В некоторых случаях отрицание союза влечет за собой отрицание конъюнкта: например, «не одновременно P и P» влечет за собой «не P». Как правило, отрицание конъюнкции влечет за собой отрицание каждого конъюнкта всякий раз, когда конъюнкты логически эквивалентны, то есть всякий раз, когда одно следует из другого, и наоборот. Таким образом, Абхари имеет право (1) только в том случае, если он имеет право предположить, что «Приговор о лжеце истинен» и «Приговор о лжеце ложен» не являются логически эквивалентными ».[7]

Приговор Лжеца - универсальное предложение (Лжец говорит Все Я говорю ...), так что «если это (не -бессмысленно ) false у него должен быть счетчик ».[7] Но в этом случае сценария, когда единственное, что говорит лжец, - это единственное предложение, объявляющее, что то, что он говорит в данный момент, ложно, единственной доступной контр-инстанцией является само предложение Лжеца. Разыгрывая парадокс, Абхари сказал: «Если это неправда, то необходимо, чтобы одно из его предложений в данный момент было истинным, пока он что-то произносит. Но в этот момент он ничего не говорит, кроме этого предложения. Таким образом, , это предложение обязательно верно и ложь "[4] Таким образом, объяснение, предоставленное самим Абхари, демонстрирует, что и «Приговор лжеца ложен», и «Приговор лжеца верен». логически эквивалентный. Если они логически эквивалентны, то, в отличие от (1), отрицание конъюнкции влечет за собой отрицание каждой конъюнкции. Решение Абхари; поэтому терпит неудачу ".[8]

Насир ад-Дин ат-Туси о парадоксе лжецов

Накир ад-Дин аль-Хуси отмечен на иранской марке к 700-летию со дня его смерти

Натир ад-Дин аль-Хуси был Персидский[9] эрудит[10] и плодовитый писатель: астроном, биолог, химик, математик, философ, врач, физик, ученый, теолог и Марья Таклид. Он придерживался Исмаилиты, а впоследствии Шиллинг Шиит Исламский системы убеждений.[11] Арабский ученый Ибн Халдун (1332–1406) считал Туси величайшим из поздних Персидский ученые.

Работа Хуси над парадоксом начинается с обсуждения парадокса и решения, предложенного Абхари, с которым Хуси не согласен. Как отмечают Альвишах и Сансон, «Хуси утверждает, что какую бы причудливую вещь (соединение, условность) Абхари ни хотел идентифицировать как условие истины для приговора лжеца, это не имеет значения, потому что, шагая по Абхари, мы можем создать парадокс, не делая вывод, из отрицание сложного условия истинности, отрицание одной из его частей. Мы можем прямо утверждать, что его ложность влечет за собой отрицание его ложности и, следовательно, влечет за собой его истинность ".[12]

Затем Хуси готовит сцену для своего собственного решения парадокса лжецов, написав, что:

Если повествовательное предложение по своей природе может объявить что-то о чем-либо, то вполне возможно, что оно само может объявить что-то о другом повествовательном предложении.[13]

Он не видит причин, которые могли бы помешать декларативному предложению объявить что-то о другом декларативном предложении.[13]

На примере двух повествовательных предложений (D1) «Это ложно» и (D2) «Зайд сидит», Хуси объясняет, как одно повествовательное предложение (D1) может объявить другое повествовательное предложение (D2) ложным: «Это ложь, что Зайд сидит ".[13] В приведенных выше двух повествовательных предложениях нет парадокса, потому что они имеют разные темы. Чтобы вызвать парадокс, декларативное предложение должно что-то заявлять о себе. Если (D1) ложно объявляет себя не (D1), то это ложное объявление, ссылающееся на себя как на «ложное», создает парадокс.[13]

Хуси пишет:

Более того, если первое повествовательное предложение объявляет себя ложным, то [оба] оно истинно, поскольку это повествовательное предложение, и ложно, поскольку оно является тем-о-о-о-чем-что-объявлено, сопутствующие. Таким образом, может возникнуть следующий парадокс: первое декларативное предложение, которое является декларацией (хабар) о себе, а именно, что оно ложно, является либо ложным, либо истинным. Если это правда, то оно должно быть ложным, потому что объявляет себя ложным. Если это ложь, то это должно быть правдой, потому что, если это ложно, тогда это станет правдой, что абсурдно.[14]

Приведенные выше выводы очень важны для истории парадокса лжецов. Альвишах и Сансон отмечают: «Трудно переоценить, насколько примечателен этот отрывок. Современный читатель знаком с идеей о том, что Парадокс лжецов - это парадокс самооценки. Но, насколько нам известно, Хуси является первым лицом Чтобы выразить эту идею. Этот отрывок не имеет прецедентов ни в одной традиции. Хуси за короткое время совершил три замечательных подвига. Во-первых, его «Приговор лжеца» уникален: его предметом является он сам, и он объявляет себя ложным. выбор между универсальным или частным приговором лжеца и связанная с этим проблема добавления дополнительных предположений для создания подлинного парадокса. Во-вторых, он охарактеризовал парадокс как одно из ссылка на себя. В-третьих, он определил ключевое предположение, которое может быть причиной возникновения всей проблемы: предположение, что декларативное предложение по своей природе может объявить что-то о чем угодно ».[14]

Признавая, что если повествовательное предложение который заявляет о себе ложно, ложно, это не означает, что это правда. Хуси говорит, что было бы абсурдно утверждать, что это повествовательное предложение истинно только потому, что оно не ложно.[14] Хуси пишет:

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

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

Определение Аль-Багдади «истины» и «лжи» гласит: «истина - это согласие с субъектом, а ложь - противоположность этому». Хуси утверждает, что это определение не может быть применено к повествовательному предложению, которое объявляет его собственное подлежащее ложным, потому что тогда есть по крайней мере две противоположные части, которые не согласны друг с другом. Один и тот же субъект не может не соглашаться с самим собой. Следовательно, декларативное предложение со ссылками на самого себя, которое объявляет себя ложным, не является ни ложным, ни истинным, и определения истинности / ложности не применимы к этим предложениям.[16]

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

Хуси не стал предлагать решение для лжецов, которые обсуждались Смиди: «Все, что я говорю в данный момент, - ложь». Это предложение представляет собой другой сценарий случая, потому что его можно интерпретировать как объявление чего-то о себе и о другом предложении. Решение этого парадокса отсутствует в статьях Хуси.[17]

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

  1. ^ а б Альвишах и Сансон 2009, п. 97
  2. ^ Альвишах и Сансон 2009, п. 123
  3. ^ Альвишах и Сансон 2009, п. 113
  4. ^ а б c d Альвишах и Сансон 2009, п. 107
  5. ^ Парсонс, Теренс (1 октября 2006 г.), «Традиционная площадь оппозиции», в Залте, Эдвард N (ред.), Стэнфордская энциклопедия философии, Стэнфорд, Калифорния: Центр изучения языка и информации Стэнфордского университета.
  6. ^ а б c d Альвишах и Сансон 2009, п. 108
  7. ^ а б c Альвишах и Сансон 2009, п. 110
  8. ^ Альвишах и Сансон 2009, п. 111
  9. ^ "Туси, Насир ад-Дин аль-". Энциклопедия Britannica Online. Encyclopdia Britannica. 27 декабря 2007 г.
  10. ^ Наср 2006, п. 199
  11. ^ Куси 2005, п. 2
  12. ^ Альвишах и Сансон 2009, п. 114
  13. ^ а б c d Альвишах и Сансон 2009, п. 115
  14. ^ а б c Альвишах и Сансон 2009, п. 116
  15. ^ Альвишах и Сансон 2009, п. 117
  16. ^ а б Альвишах и Сансон 2009, п. 121
  17. ^ Альвишах и Сансон 2009, п. 122

Библиография

  • Наср, Сейед Хоссейн (2006), Исламская философия от истоков до наших дней: философия в стране пророчеств, Олбани: SUNY Press, стр. 380, ISBN  0-7914-6799-6
  • Хуси, Натир ад-Дин Мухаммад ибн Мухаммад; Бадакчани, С. Дж. (2005), Рай подчинения: средневековый трактат об исмаилитской мысли, Исмаилитские тексты и переводы, 5, Лондон: I.B. Tauris совместно с Институтом исмаилитских исследований, стр. 300, ISBN  1-86064-436-8