Парадокс как логическое явление¶

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

¶Общая характеристика

Классическое определение восходит к античности: парадокс (от греч. παράδοξος — «неожиданный, странный») — это мнение, расходящееся с общепринятым. В логике и математике под парадоксом понимают вывод, ведущий к противоречию вида «A и не-A». Существенно, что парадокс не тождествен софизму: софизм строится на намеренной или случайной ошибке, тогда как парадокс сохраняет видимость безупречности.

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

¶История

Первые систематические парадоксы связаны с древнегреческой философией. Зенон Элейский (V век до н. э.) сформулировал апории — «Ахиллес и черепаха», «Дихотомия», «Стрела», — направленные против представления о движении и множественности. Эти рассуждения на протяжении двух тысячелетий оставались предметом спора и получили разрешение лишь с развитием математического анализа и теории множеств.

Средневековая схоластика активно изучала «неразрешимые» предложения, например парадокс лжеца в формулировке «Я лгу». В Новое время к теме обращались логики и математики, а на рубеже XIX–XX веков парадоксы приобрели особую остроту. Открытие парадоксов теории множеств — Рассела, Бурали-Форти, Кантора — поставило под вопрос основания математики и вызвало так называемый кризис оснований.

¶Классификация

Парадоксы принято разделять по природе источника противоречия.

• Логические (семантические) — связаны с языком, истиной и самореференцией. Пример: парадокс лжеца, парадокс Ришара, парадокс Греллинга.
• Математические (теоретико-множественные) — возникают из понятия множества и бесконечности. Пример: парадокс Рассела о множестве всех множеств, не содержащих себя.
• Физические — противоречие между теоретическими следствиями и наблюдениями либо между двумя теориями. Пример: парадокс близнецов в теории относительности, парадокс Эйнштейна — Подольского — Розена.
• Экономические и социальные — например парадокс бережливости, парадокс голосования Кондорсе.
• Вероятностные — парадокс дней рождения, парадокс Монти Холла, парадокс Симпсона.

Такое деление условно: один и тот же парадокс может рассматриваться с разных сторон.

¶Известные примеры

Парадокс лжеца. Утверждение «Это предложение ложно». Если оно истинно, то ложно; если ложно, то истинно. Разрешение ищется через различение языка и метаязыка (А. Тарский) либо через отказ от классической двузначности.

Парадокс Рассела. Рассмотрим множество всех множеств, которые не содержат себя в качестве элемента. Содержит ли оно само себя? Если да — то по определению не должно; если нет — то должно. Парадокс показал несостоятельность наивной теории множеств и привёл к аксиоматизации (системы Цермело — Френкеля, теория типов Рассела).

Апории Зенона. «Ахиллес никогда не догонит черепаху»: пока бегун преодолевает очередной отрезок, черепаха продвигается вперёд, и так до бесконечности. Разрешение связано с понятием сходящегося ряда и корректным определением суммы бесконечного числа слагаемых.

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

Парадокс Монти Холла. В задаче о трёх дверях смена первоначального выбора увеличивает вероятность выигрыша с 1/3 до 2/3. Парадоксальность здесь психологическая: результат противоречит интуиции, но не теории вероятностей.

¶Значение в науке

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

В логике и информатике парадоксы тесно связаны с теоремами о неполноте К. Гёделя и с проблемой разрешимости А. Тьюринга: самореференция и диагональный метод лежат в основе доказательств принципиальной ограниченности формальных систем.

¶Парадокс в культуре и языке

В широком, нестрогом смысле парадоксом называют любое неожиданное, на первый взгляд абсурдное, но содержащее истину суждение — например, афоризмы О. Уайльда или высказывания древнекитайских философов. В риторике парадокс используется как приём, обостряющий мысль и привлекающий внимание. В русской традиции к парадоксальным формулировкам обращались А. С. Пушкин, Ф. М. Достоевский, а в философской публицистике — В. С. Соловьёв и Н. А. Бердяев.

¶Критика и уточнения

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

Источники: работы Зенона Элейского; Б. Рассел, «Введение в математическую философию»; А. Тарский, «Понятие истины в формализованных языках»; К. Гёдель, теоремы о неполноте; А. Н. Колмогоров, «Математическая логика»; энциклопедические словари по логике и философии.