Если допустить, что каждая истина в принципе познаваема, то из этого логически следует, что каждая истина уже известна — а значит, неизвестных истин не существует вовсе.
История возникновения парадокса
В 1963 году американский логик Фредерик Фитч опубликовал статью «A Logical Analysis of Some Value Concepts» в журнале The Journal of Symbolic Logic. В этой работе, посвященной анализу понятий ценности и знания, он привел одну теорему — почти мимоходом, как вспомогательный результат. Теорема выглядела невинно, но последствия оказались разрушительными для целого направления в эпистемологии.
Фитч показал: если принять принцип познаваемости (всякая истина может быть познана), то из него с железной необходимостью следует принцип всеведения (всякая истина уже познана). Казалось бы, между «может быть познана» и «уже познана» — пропасть. Но формальная логика эту пропасть схлопывает.
Любопытно, что сам Фитч не придал этому результату особого значения. Настоящий резонанс начался только в 1979 году, когда Уильям Харт и Колин Макгинн заново обратили внимание на эту теорему и назвали её «парадоксом познаваемости». С тех пор он стал известен как парадокс Фитча, или парадокс познаваемости (Knowability Paradox).
| Дата | Событие | Значение |
|---|---|---|
| 1945 | Фитч предположительно получил результат, но рецензент (возможно, Алонзо Чёрч) отклонил рукопись | Парадокс мог стать известен на 18 лет раньше |
| 1963 | Публикация статьи Фитча в The Journal of Symbolic Logic | Формальное доказательство теоремы впервые появляется в печати |
| 1979 | Харт и Макгинн публикуют анализ парадокса | Начало широкой философской дискуссии |
| 2000-е | Выходят десятки работ и несколько монографий, посвященных парадоксу | Парадокс становится одной из центральных проблем эпистемологии |
В 2009 году Джо Салерно выпустил сборник «New Essays on the Knowability Paradox», который подытожил полвека попыток справиться с этой проблемой. Попытки продолжаются до сих пор — и ни одна из них не признана окончательно убедительной.
В чём именно заключается противоречие
Начнем с интуиции, которая кажется совершенно безобидной. Многие философы — особенно антиреалисты, верификационисты и интуиционисты — придерживаются так называемого принципа познаваемости:
- Принцип познаваемости (KP): Если утверждение p истинно, то существует возможность, что кто-то когда-то узнает, что p истинно.
Формально: если p, то возможно, что p известно. На языке модальной логики: p → ◇Kp, где K — оператор знания, а ◇ — оператор возможности.
Это кажется скромным утверждением. Мы не говорим, что всё уже известно. Мы говорим лишь, что нет принципиально непознаваемых истин. Каждая истина хотя бы теоретически доступна познанию.
Теперь допустим, что существует хотя бы одна неизвестная истина. Назовем её q. Тогда верно следующее сложное утверждение: «q истинно, и никто не знает, что q истинно». Обозначим это как (q ∧ ¬Kq).
Поскольку (q ∧ ¬Kq) — истинное утверждение, по принципу познаваемости оно тоже должно быть познаваемым. То есть возможно, что кто-то узнает, что «q истинно и q неизвестно».
Но вот здесь ловушка захлопывается. Можно ли знать, что «q истинно и q неизвестно»? Разберем по шагам:
- Предположим, некий субъект знает, что (q ∧ ¬Kq).
- Знание дистрибутивно по конъюнкции: если знаешь (A и B), то знаешь A и знаешь B.
- Значит, он знает q, и он знает, что q неизвестно.
- Знание фактивно: если знаешь, что q неизвестно, то q действительно неизвестно.
- Но по шагу 3 он уже знает q. Противоречие: q одновременно известно и неизвестно.
Из противоречия следует, что наше допущение ложно: невозможно знать, что (q ∧ ¬Kq). Но принцип познаваемости требует, чтобы это было возможно. Значит, само утверждение (q ∧ ¬Kq) должно быть ложным. А если для любого q неверно, что «q истинно и q неизвестно», то каждая истина уже известна.
Мы начали с предельно скромного утверждения «всё в принципе познаваемо» и получили абсурдно сильное «всё уже познано» — и для этого не потребовалось ничего, кроме стандартных свойств знания и модальной логики.
Попробуйте найти слабое звено: в каком именно месте рассуждение перестает казаться вам убедительным? Может быть, знание не должно быть дистрибутивным? Или не должно быть фактивным? Но тогда что такое «знание»?
Почему это настоящая проблема, а не просто фокус
На первый взгляд может показаться, что парадокс Фитча — это логический курьез, трюк с символами, не имеющий отношения к реальной философии. Но это не так. Принцип познаваемости — не маргинальная идея. Он лежит в основе нескольких влиятельных философских программ:
- Логический позитивизм и верификационизм — утверждение, что осмысленно только то, что в принципе верифицируемо, то есть познаваемо.
- Интуиционизм в математике — истина отождествляется с доказуемостью. Если утверждение истинно, то существует доказательство, а значит, оно познаваемо.
- Антиреализм Майкла Даммита — истина не может радикально превосходить наши познавательные способности.
- Семантический антиреализм — значение утверждения определяется условиями его верификации, а не условиями истинности.
- Прагматизм — многие прагматисты связывают истину с тем, что может быть установлено в идеальных условиях исследования.
Парадокс Фитча бьет по всем этим направлениям одним ударом. Если принцип познаваемости ведет к абсурду, то либо эти философские программы ошибочны, либо нужно найти способ обойти парадокс — а это оказалось исключительно сложно.
Для реалистов (тех, кто считает, что истина не зависит от нашего познания) парадокс Фитча — подарок: он служит аргументом в пользу того, что существуют принципиально непознаваемые истины. Для антиреалистов — это экзистенциальная угроза.
Попытки решения
За более чем полвека предложено множество стратегий «обезвреживания» парадокса. Ни одна не стала общепризнанной, но каждая проливает свет на природу знания, истины и возможности.
| Стратегия | Представители | Суть подхода | Основная критика |
|---|---|---|---|
| Ограничение принципа познаваемости | Нил Теннант, Дагфинн Фёллесдал | Не всякая истина познаваема, а только те, познание которых не ведет к противоречию | Обвинение в ad hoc: ограничение вводится специально, чтобы избежать парадокса, без независимого обоснования |
| Ревизия логики (интуиционистская логика) | Тимоти Уильямсон (анализ), Майкл Даммит | В интуиционистской логике из принципа познаваемости не следует всеведение, потому что закон исключенного третьего не действует | Парадокс воспроизводится в ослабленной форме: всё равно получаются контринтуитивные следствия |
| Паранепротиворечивая логика | Грэм Прист, Зак Вебер | Допускаем, что противоречие на шаге 5 не фатально — истинные противоречия возможны | Слишком радикальная ревизия: большинство философов не готовы принять диалетеизм |
| Контекстуализм | Александер Пассо-Бьюно | Оператор знания чувствителен к контексту; знание в одном контексте не тождественно знанию в другом | Неясно, как формализовать контекстуальную зависимость в модальной логике |
| Ограничение на вложенность модальностей | Бернар Лински, Эдмонд Зальта | Принцип познаваемости не должен применяться к утверждениям, которые сами содержат эпистемические операторы | Трудно обосновать, почему именно эти утверждения должны быть исключены |
| Темпорализация знания | Йохан ван Бентем, Вероника Росси | Знание меняется во времени: «может быть познано» не значит «может быть познано одновременно со всеми своими компонентами» | Технически сложно; не все варианты блокируют парадокс |
Стратегия Теннанта: хирургическая точность
Нил Теннант предложил, пожалуй, наиболее обсуждаемую модификацию. Он заменил принцип познаваемости на более слабый: истина p познаваема тогда и только тогда, когда предположение «p известно» не ведет к противоречию. Утверждение «q истинно и q неизвестно» как раз ведет к противоречию при попытке его познать — поэтому оно исключается из области действия принципа.
Тимоти Уильямсон возразил: такое ограничение ad hoc. Оно не вытекает из какой-то независимой теории, а вводится исключительно для спасения принципа познаваемости. Это как если бы физик, обнаружив аномалию, просто объявил: «Этот случай не считается».
Интуиционистский путь
В интуиционистской логике отвергается закон исключенного третьего (p ∨ ¬p). Без него цепочка рассуждений Фитча обрывается раньше: мы не можем утверждать, что для любого p либо p известно, либо p неизвестно. Парадокс формально не воспроизводится, но цена высока — приходится отказаться от одного из фундаментальных принципов классической логики.
Кроме того, как показали Уильямсон и другие, даже в интуиционистской логике из принципа познаваемости следуют утверждения, которые трудно принять. Например, что не может быть так, чтобы p было истинным и при этом навсегда неизвестным. Это мягче, чем полное всеведение, но всё равно чрезвычайно сильное утверждение.
Темпоральный подход
Йохан ван Бентем и его последователи предложили ввести в формализм время. Идея такова: когда мы говорим «q истинно и q неизвестно», это верно в момент t1. Познать эту истину можно в момент t2 — но к моменту t2 ситуация уже изменилась: q стало известным. То есть сам акт познания разрушает истинность исходного утверждения.
Это напоминает принцип неопределенности Гейзенберга: наблюдение изменяет наблюдаемое. Подобная аналогия привлекательна, но формальная реализация наталкивается на серьезные технические трудности.
Представьте, что вы нашли запечатанный конверт, на котором написано: «Внутри написана истина, которую никто не знает». Открыв конверт, вы узнаете эту истину — но в тот самый момент надпись на конверте перестает быть верной. Можно ли считать, что вы «познали» содержимое конверта в его исходном смысле?
Где парадокс встречается в реальной жизни, науке и математике
Парадокс Фитча — не чисто кабинетная головоломка. Его структура всплывает в самых разных областях, иногда в неожиданном обличье.
Эпистемология и философия науки
Вопрос о том, существуют ли принципиально непознаваемые истины, имеет прямое отношение к пределам науки. Если реалисты правы и непознаваемые истины существуют, то наука имеет фундаментальные границы — не технические, а логические. Никакой прогресс, никакие технологии не позволят преодолеть эти границы.
- Проблема недоопределенности теорий: Квайн показал, что одни и те же данные совместимы с различными теориями. Если некоторые истины принципиально непознаваемы, то проблема недоопределенности может быть неустранимой.
- Проблема сознания: Некоторые философы (например, Колин Макгинн — тот самый соавтор работы 1979 года) утверждают, что природа сознания может быть принципиально непознаваемой для человеческого разума.
- Космология: Существуют ли факты о Вселенной за горизонтом событий, которые не могут быть известны ни одному наблюдателю?
Математика и логика
Парадокс Фитча перекликается с несколькими фундаментальными результатами:
| Результат | Связь с парадоксом Фитча |
|---|---|
| Теоремы Гёделя о неполноте (1931) | Существуют истинные, но недоказуемые утверждения в арифметике. Если отождествить доказуемость с познаваемостью — прямая аналогия с проблемой непознаваемых истин. |
| Проблема остановки Тьюринга (1936) | Не существует алгоритма, который определит, остановится ли произвольная программа. Факт «программа X не остановится» может быть истинным, но непознаваемым алгоритмически. |
| Теорема Тарского о неопределимости истины (1936) | Истина в формальной системе не может быть определена средствами самой этой системы — что перекликается с идеей о границах познаваемости. |
| Парадокс неожиданной казни | Структурно близок к парадоксу Фитча: знание о том, что событие будет «неожиданным», саморазрушительно. |
Информатика и искусственный интеллект
В теории формальной верификации и в эпистемической логике многоагентных систем парадокс Фитча ставит вопрос о границах того, что система может «знать» о себе и о мире. Когда мы проектируем агента, который должен рассуждать о собственном знании и незнании, мы сталкиваемся с теми же ограничениями: агент не может одновременно знать, что p истинно и что он этого не знает.
Это имеет практические последствия для систем, которые должны рассуждать о своих эпистемических состояниях — например, в протоколах безопасности, где участники должны знать, что определенная информация им недоступна.
Квантовая механика
Параллель между парадоксом Фитча и квантовой механикой — не просто метафора. В обоих случаях акт наблюдения (познания) изменяет наблюдаемую реальность. Квантовое состояние коллапсирует при измерении; утверждение «p истинно и p неизвестно» перестает быть истинным в момент его познания. Некоторые исследователи (в частности, Дагфинн Фёллесдал) прямо использовали эту аналогию для анализа парадокса.
Интересные факты и связанные парадоксы
Загадочный рецензент
В 2005 году Джо Салерно обнаружил в архивах, что Фитч впервые попытался опубликовать свой результат еще в 1945 году. Рукопись была отклонена анонимным рецензентом. Основываясь на косвенных свидетельствах, Салерно выдвинул гипотезу, что этим рецензентом был не кто иной, как Алонзо Чёрч — один из величайших логиков XX века. Если это так, то Чёрч, возможно, первым осознал силу этого результата — и, возможно, именно поэтому рекомендовал не публиковать его (хотя точные причины отказа неизвестны).
Семейство связанных парадоксов
- Парадокс Мура: утверждение «Идет дождь, но я не верю, что идет дождь» может быть истинным, но его абсурдно произносить от первого лица. Структурно родственен парадоксу Фитча: в обоих случаях сочетание факта с незнанием/неверием создает самоподрывающуюся конструкцию.
- Парадокс неожиданной казни: заключенному объявляют, что казнь состоится на следующей неделе, но день будет неожиданным. Заключенный «доказывает», что казнь невозможна — и именно поэтому она становится неожиданной.
- Парадокс лжеца: «Это утверждение ложно» — самореферентность создает неразрешимый цикл. Парадокс Фитча не содержит явной самореферентности, но механизм саморазрушения при попытке «поглощения» знанием — аналогичен.
- Парадокс кучи (соритес): не связан напрямую, но оба парадокса возникают из-за того, что безобидные принципы при итерации приводят к абсурду.
Значение для философии религии
Парадокс Фитча неожиданно оказался релевантен для философии религии. Если принцип познаваемости верен и ведет к всеведению, то возникает вопрос: чьё это всеведение? Некоторые теисты использовали парадокс как аргумент в пользу существования всеведущего существа — если каждая истина должна быть кем-то познана, а коллективного человеческого знания явно недостаточно, то должен существовать субъект, знающий всё. Это, конечно, неортодоксальный аргумент, и большинство философов религии относятся к нему скептически, но сам факт такого применения иллюстрирует глубину парадокса.
Парадокс как лакмусовая бумажка
Парадокс Фитча стал своеобразным тестом для философских позиций. Ваша реакция на него многое говорит о ваших базовых убеждениях:
| Если вы считаете, что… | То парадокс Фитча для вас… |
|---|---|
| Истина объективна и не зависит от познания | Аргумент в вашу пользу: существуют непознаваемые истины, и это нормально |
| Истина связана с возможностью верификации | Серьезная проблема, требующая либо ревизии логики, либо ограничения принципа познаваемости |
| Классическая логика нуждается в ревизии | Повод перейти на интуиционистскую или паранепротиворечивую логику |
| Знание — это социальная конструкция | Артефакт слишком жесткой формализации, не имеющий отношения к реальному познанию |
Нерешенные вопросы
Парадокс Фитча продолжает генерировать новые исследования. Среди открытых вопросов:
- Можно ли сформулировать принцип познаваемости, который достаточно силен, чтобы быть философски интересным, но достаточно слаб, чтобы избежать парадокса?
- Является ли парадокс следствием дефекта в нашем понимании модальности (возможности и необходимости) или в нашем понимании знания?
- Существует ли аналог парадокса для других пропозициональных установок — веры, надежды, намерения?
- Как парадокс трансформируется в динамических эпистемических логиках, где знание агентов меняется во времени?
Каждый из этих вопросов — это отдельное исследовательское направление, и работы продолжают выходить каждый год. Парадокс, сформулированный мимоходом в 1963 году, оказался одной из тех проблем, которые не устаревают, а только становятся глубже по мере того, как мы пытаемся их решить.