Парадокс Карри


Парадокс Карри

Парадокс Карри — парадоксальный вывод из высказывания «Если это утверждение верно, то русалки существуют». Вместо существования русалок может указываться любое неправдоподобное или ложное заявление (в английском оригинале — существование Санта-Клауса). Ход мыслей, ведущий к парадоксу, строится следующим образом:

  • Обозначим через S высказывание «Если S верно, то русалки существуют»;
  • Мы не знаем, верно ли высказывание S. Но если бы высказывание S было верным, то это влекло бы существование русалок;
  • Но именно это и утверждается в высказывании S, таким образом S — верно;
  • Следовательно, русалки существуют!

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

Парадокс рассматривался математиком Хаскеллом Карри, в честь которого и получил своё название. Иногда называется парадоксом Лёба по имени Мартина Хьюго Лёба.

См. также



Wikimedia Foundation. 2010.

Смотреть что такое "Парадокс Карри" в других словарях:

  • Парадокс лжеца — Парадокс лжеца: «То, что я утверждаю сейчас  ложно», или «Я лгу», или «Данное высказывание  ложь». То есть, если это высказывание истинно, значит, исходя из его содержания, верно то, что данное высказывание  ложь; но если оно  …   Википедия

  • Парадокс импликации — Парадоксы импликации  это парадоксы, возникающие в связи с содержанием условных утверждений классической логики. Главная функция этих утверждений  обоснование одних утверждений ссылкой на другие. Содержание 1 Смысл импликации …   Википедия

  • ПАРАДОКС ЛОГИЧЕСКИЙ — положение, которое сначала еще не является очевидным, однако, вопреки ожиданиям, выражает истину. В античной логике парадоксом называли утверждение, многозначность которого относится прежде всего к его правильности или неправильности. В… …   Философская энциклопедия

  • парадокс —         ПАРАДОКС (от греч. para вне и doxa мнение). 1) В широком (внелогическом) смысле все то, что так или иначе вступает в конфликт (расходится) с общепринятым мнением, подтвержденным традицией, законом, правилом, нормой или здравым смыслом.… …   Энциклопедия эпистемологии и философии науки

  • Мнимый парадокс — Мнимый парадокс  ложный парадокс, возникающий из за неверного хода рассуждений. Для разрешения противоречий мнимого парадокса достаточно использовать средства формальной логики. Пример мнимого парадокса Рассмотрим пример доказательства, что… …   Википедия

  • КОМБИНАТОРНАЯ ЛОГИКА — см. Логика комбинаторная. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970. КОМБИНАТОРНАЯ ЛОГИКА …   Философская энциклопедия

  • Список парадоксов — …   Википедия

  • Парадоксы —       Служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не устанавливается на информационные статьи списки и глоссари …   Википедия

  • Теорема Лёба — Теорема Лёба  теорема в математической логике о взаимосвязи между доказуемостью утверждения и самим утверждением. Установлена математиком Мартином Хуго Лёбом в 1955 году. Теорема Лёба гласит, что во всякой теории, включающей аксиоматику… …   Википедия

  • Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия