1. Введение: Эпистемологический разлом между метафизическим реализмом и семантическим антиреализмом
Может ли суждение быть объективно истинным, даже если ни один конечный разум никогда — даже в принципе — не сможет его проверить, открыть или узнать?
Этот вопрос определяет глубочайший разлом в современной метафизике, эпистемологии, философии языка и философии математики: противостояние между метафизическим реализмом (Metaphysical Realism) и семантическим антиреализмом (Semantic Anti-Realism / верификационизмом).
1.1 Позиция метафизического реализма
Согласно метафизическому реализму — который отстаивали Готлоб Фреге, Бертран Рассел, ранний Хилари Патнэм и Тимоти Уильямсон — истина радикально трансцендентна по отношению к познанию (recognition-transcendent truth). В формальном языке бимодальной эпистемическо-алетической логики, где \(p\) означает «суждение \(p\) истинно», \(Kp\) — «кто-то в некоторый момент времени (в прошлом, настоящем или будущем) знает \(p\)», а \(\Diamond\phi\) — «логически или метафизически возможно, что \(\phi\)», реализм утверждает существование непознаваемых истин:
\[\text{Реализм (Непознаваемые истины)}: \quad \exists p \, \big( p \land \neg \Diamond K p \big)\]Примерами служат безвозвратно утраченные микроисторические факты (например, «Число волос на голове Юлия Цезаря в точный момент удара кинжалом Брута в 44 году до н. э. было нечётным»), квантовые события за космологическим горизонтом событий или неразрешимые математические утверждения.
1.2 Семантический антиреализм и принцип познаваемости (KP)
Напротив, традиция верификационизма, прагматизма и семантического антиреализма — от Ч. С. Пирса и Венского кружка до внутреннего реализма Патнэма и интуиционистского антиреализма Майкла Даммита — отвергает понятие абсолютно неверифицируемой истины. Опираясь на знаменитые аргумент усвоения (Acquisition Argument) и аргумент проявления (Manifestation Argument), Даммит доказывал, что конечные носители языка могут усвоить и проявить понимание смысла предложения лишь тогда, когда условия его истинности конститутивно связаны с принципиальной познаваемостью.
Это выражается в фундаментальной аксиоме современного антиреализма — принципе познаваемости (Knowability Principle, KP):
\[\text{KP (Принцип познаваемости)}: \quad \forall p \, \big( p \to \Diamond K p \big)\](«Для любого суждения \(p\): если \(p\) истинно, то принципиально возможно, что кто-то когда-нибудь узнает \(p\).»)
1.3 Принцип не-всеведения (NO) и логическая бомба Фитча
Антиреалист вовсе не является субъективным идеалистом, утверждающим \(\forall p \, (p \to K p)\) («все истины актуально известны»). Признавая конечность человека, каждый антиреалист принимает очевидный принцип не-всеведения (Non-Omniscience Principle, NO):
\[\text{NO (Принцип не-всеведения)}: \quad \exists p \, \big( p \land \neg K p \big)\]Однако в 1963 году йельский логик Фредерик Б. Фитч (Frederic B. Fitch, 1908–1987) опубликовал в The Journal of Symbolic Logic статью “A Logical Analysis of Some Value Concepts”, в Теореме 5 которой доказал ошеломляющий результат:
Парадокс познаваемости Фитча (1963): Используя лишь самые слабые и бесспорные правила вывода модальной эпистемической логики — фактичность знания и дистрибутивность относительно конъюнкции — умеренный принцип познаваемости \(\forall p \, (p \to \Diamond K p)\) в классической логике напрямую влечёт абсурдный принцип всеведения \(\forall p \, (p \to K p)\)! По контрапозиции: если человечество не всеведуще (\(\exists p \, (p \land \neg K p)\)), то с логической необходимостью существует истина, которую невозможно познать даже в принципе (\(\exists q \, (q \land \neg \Diamond K q)\)).
2. Исторический генезис: Анонимная рецензия Алонзо Чёрча (1945) и статья Фитча (1963)
В сноске 5 (стр. 138) своей статьи 1963 года Фитч отметил, что доказательство Теоремы 5 было предложено ему «анонимным рецензентом статьи, поданной в 1945 году, но так и не опубликованной».
Эта историческая загадка была разгадана Джо Салерно (Joe Salerno, 2009, New Essays on the Knowability Paradox) в архивах Принстонского университета: анонимным рецензентом 1945 года оказался сам Алонзо Чёрч (Alonzo Church, 1903–1995) — создатель \(\lambda\)-исчисления! В июле 1945 года, рецензируя рукопись Фитча, отождествлявшую истину с познаваемостью, Чёрч показал, что подстановка конъюнкции \(q := (p \land \neg K p)\) в схему \(\forall q \, (q \to \Diamond K q)\) немедленно ведёт к \(\neg(p \land \neg K p)\) и вырождению потенциальной познаваемости в актуальное всеведение (\(\forall p (p \to K p)\)).
3. Формальный синтаксис и минимальная аксиоматика бимодальной логики
В бимодальном языке \(\mathcal{L}_{K,\Box}\) эпистемический оператор \(K\phi\) обозначает коллективное вневременное знание:
\[K\phi \stackrel{\text{def}}{\Longleftrightarrow} \exists x \in \text{Agents}, \, \exists t \in \text{Times} \, \big( K_{x,t} \phi \big)\]Убойная сила доказательства Фитча состоит в том, что оно не требует никаких сильных эпистемических аксиом — ни KK-принципа (Аксиома 4: \(K\phi \to KK\phi\)), ни негативной интроспекции (Аксиома 5: \(\neg K\phi \to K\neg K\phi\)), ни даже полной дедуктивной замкнутости (Аксиома K: \(K(\phi \to \psi) \to (K\phi \to K\psi)\)). Достаточно трёх минимальных принципов:
- (A1) Фактичность знания (Аксиома T): \(K\phi \vdash \phi\) («То, что известно, должно быть истинным; ложное нельзя знать.»)
- (A2) Дистрибутивность знания относительно конъюнкции: \(K(\phi \land \psi) \vdash K\phi \land K\psi\) («Кто знает конъюнкцию „\(\phi\) и \(\psi\)“, тот знает \(\phi\) и знает \(\psi\).»)
- (R1) Правило модальной нецесситации (Modal Necessitation Rule): \(\text{Если } \vdash \phi, \quad \text{то } \vdash \Box\phi\) («Любая логическая теорема необходимо истинна во всех возможных мирах», при двойственности \(\Box\neg\phi \equiv \neg\Diamond\phi\)).
| Принцип / Правило | Формальная схема | Философский смысл | Нужен для Фитча? |
|---|---|---|---|
| (A1) Фактичность знания (Аксиома T) | \(K\phi \vdash \phi\) | Знать можно только истинные суждения | ДА (Ключевой) |
| (A2) Дистрибутивность конъюнкции | \(K(\phi \land \psi) \vdash K\phi \land K\psi\) | Знание «\(A\) и \(B\)» влечёт знание \(A\) и знание \(B\) | ДА (Ключевой) |
| (R1) Модальная нецесситация | \(\vdash \phi \implies \vdash \Box\phi\) | Логические теоремы необходимы | ДА (Ключевой) |
| Полная дедуктивная замкнутость (K) | \(K(\phi \to \psi) \to (K\phi \to K\psi)\) | Логическое всеведение относительно импликации | НЕТ |
| Позитивная интроспекция (KK / Аксиома 4) | \(K\phi \to KK\phi\) | Знание влечёт знание о знании | НЕТ |
| Негативная интроспекция (Аксиома 5) | \(\neg K\phi \to K\neg K\phi\) | Незнание влечёт знание о незнании | НЕТ |
4. Пошаговое формальное доказательство парадокса Фитча
4.1 Этап I (Теорема 1 Фитча): Логическая невозможность познаania неизвестной истины
Рассмотрим конъюнктивное суждение \(q \stackrel{\text{def}}{\equiv} (p \land \neg K p)\) («\(p\) истинно, но никто никогда не знает \(p\)»). Докажем методом reductio ad absurdum (\(\neg\)-Введение), что никто не может знать \(q\):
| Строка | Формула | Обоснование / Правило вывода | Открытые допущения |
|---|---|---|---|
| (1) | \(K(p \land \neg K p)\) | Допущение для Reductio | \(\{1\}\) |
| (2) | \(K p \land K(\neg K p)\) | Из (1) по (A2) Дистрибутивности конъюнкции \(K(\phi \land \psi) \vdash K\phi \land K\psi\) | \(\{1\}\) |
| (3) | \(K p\) | Из (2) по \(\land\)-Удалению (левому) | \(\{1\}\) |
| (4) | \(K(\neg K p)\) | Из (2) по \(\land\)-Удалению (правому) | \(\{1\}\) |
| (5) | \(\neg K p\) | Из (4) по (A1) Фактичности знания \(K\psi \vdash \psi\) (\(\psi := \neg K p\)) | \(\{1\}\) |
| (6) | \(K p \land \neg K p \quad (\bot)\) | Из (3) и (5) по \(\land\)-Введению (Явное противоречие!) | \(\{1\}\) |
| (7) | \(\vdash \neg K(p \land \neg K p)\) | Из (1)–(6) по \(\neg\)-Введению (снятие допущения \(\{1\}\)) | \(\emptyset\) |
| (8) | \(\vdash \Box \neg K(p \land \neg K p)\) | Из теоремы (7) по (R1) Модальной нецесситации | \(\emptyset\) |
| (9) | \(\vdash \neg \Diamond K(p \land \neg K p)\) | Из (8) по модальной двойственности (\(\Box\neg\phi \equiv \neg\Diamond\phi\)) | \(\emptyset\) |
Строка (9) \(\vdash \neg \Diamond K(p \land \neg K p)\) доказывает: логически невозможно когда-либо познать неизвестную истину!
4.2 Этап II (Теорема 5 Фитча): Коллапс познаваемости (KP) во всеведение (OP)
Подставим теперь \(q := (p \land \neg K p)\) в принцип познаваемости (KP) \(\forall q \, (q \to \Diamond K q)\):
| Строка | Формула | Обоснование / Правило вывода | Логический статус |
|---|---|---|---|
| (10) | \((p \land \neg K p) \to \Diamond K(p \land \neg K p)\) | Универсальная инстанциация KP при \(q := (p \land \neg K p)\) | Частный случай KP |
| (11) | \(\neg (p \land \neg K p)\) | Из (10) и теоремы (9) \(\neg \Diamond K(p \land \neg K p)\) по Modus Tollens | Интуиционистски приемлемо! |
| (12) | \(p \to \neg \neg K p\) | Из (11) по пропозициональной эквивалентности \(\neg(A \land \neg B) \vdash (A \to \neg\neg B)\) | Интуиционистски приемлемо! |
| (13) | \(p \to K p\) | Из (12) по классическому снятию двойного отрицания (DNE) \(\neg\neg K p \vdash K p\) | Использует классическое DNE |
| (14) | \(\forall p \, (p \to K p)\) | Из (13) по Универсальному обобщению | Принцип всеведения (OP)! |
flowchart TD
subgraph Stage1["Этап I: Теорема 1 Фитча (Лемма об эпистемическом слепом пятне)"]
A1["Допущение (1): K(p ∧ ¬Kp)<br/>Кто-то знает, что «p истинно и неизвестно»"] -->|"Дистрибутивность конъюнкции (A2)<br/>K(φ ∧ ψ) ⊢ Kφ ∧ Kψ"| A2["(2) Kp ∧ K(¬Kp)"]
A2 -->|"∧-Удаление (левое)"| A3["(3) Kp<br/>p известно"]
A2 -->|"∧-Удаление (правое)"| A4["(4) K(¬Kp)<br/>Известно, что p неизвестно"]
A4 -->|"Фактичность знания (A1)<br/>Kψ ⊢ ψ"| A5["(5) ¬Kp<br/>p не известно"]
A3 & A5 -->|"∧-Введение"| A6["(6) Kp ∧ ¬Kp (⊥ Противоречие!)"]
A6 -->|"¬-Введение (снятие допущения 1)"| A7["(7) ⊢ ¬K(p ∧ ¬Kp)"]
A7 -->|"Модальная нецесситация (R1) + Двойственность"| A9["(9) ⊢ ¬◇K(p ∧ ¬Kp)<br/>Невозможно познать неизвестную истину"]
end
subgraph Stage2["Этап II: Теорема 5 Фитча (Коллапс во всеведение)"]
KP["Принцип познаваемости (KP)<br/>∀q (q → ◇Kq)"] -->|"Подстановка q := (p ∧ ¬Kp)"| B10["(10) (p ∧ ¬Kp) → ◇K(p ∧ ¬Kp)"]
A9 & B10 -->|"Modus Tollens"| B11["(11) ¬(p ∧ ¬Kp)<br/>Неизвестная истина не может существовать"]
B11 -->|"Конструктивно допустимая импликация"| B12["(12) ∀p (p → ¬¬Kp)<br/>Интуиционистская точка остановки Даммита"]
B12 -->|"Классическое снятие двойного отрицания (DNE)<br/>¬¬Kp ⊢ Kp"| B14["(14) ∀p (p → Kp)<br/>Принцип всеведения (OP)!"]
end
5. Структурная диагностика: Парадокс Мура, эпистемические слепые пятна и парадокс неожиданного экзамена
- Парадокс Дж. Э. Мура (1942): Предложение Мура «На улице идёт дождь, но я не знаю, что идёт дождь» (\(p \land \neg K_a p\)) онтологически непротиворечиво, но эпистемически непознаваемо от первого лица. Когда \(K\) охватывает всех субъектов во все времена, \((p \land \neg K p)\) становится универсализированным предложением Мура, для которого не существует внешнего наблюдателя.
- Эпистемические слепые пятна (Blindspots) Роя Соренсена (1988): \((p \land \neg K p)\) — это эпистемическое слепое пятно (\(\Diamond\phi \land \neg\Diamond K\phi\)): сам акт обретения знания \(K p\) изменяет эпистемическое состояние мира и опровергает второй конъюнкт \(\neg K p\).
- Парадокс неожиданного экзамена и теорема Гёделя о неполноте: В парадоксе неожиданного экзамена ученики путают истинность \((E_5 \land \neg K_{\text{Чт}} E_5)\) с возможностью знать это в четверг вечером \(K_{\text{Чт}}(E_5 \land \neg K_{\text{Чт}} E_5)\). В формальной арифметике теорема Лёба запрещает предикату доказуемости \(\text{Prov}_T(\ulcorner \phi \urcorner)\) удовлетворять универсальной фактичности (\(\text{Prov}_T(\ulcorner \phi \urcorner) \to \phi\)), тогда как подлинное знание \(K\) безусловно фактично.
6. Четыре главных философских пути спасения и их цена
6.1 Путь I: Майкл Даммит и интуиционистская логика
Майкл Даммит (2001, “Victor’s Error”) и Нил Теннант указали, что строки (1)–(12) полностью корректны в интуиционистской логике, а классическая логика используется только при переходе от (12) к (13) через снятие двойного отрицания (DNE: \(\neg\neg K p \vdash K p\)). Без DNE вывод останавливается на:
\[\forall p \, \big( p \to \neg\neg K p \big) \quad \text{и} \quad \forall p \, \neg(p \land \neg K p)\]Контраргументы Тимоти Уильямсона (1982, 2000):
- Даже в интуиционистской логике строка (11) доказывает \(\vdash_{\text{Int}} \neg \exists p \, (p \land \neg K p)\), то есть принцип не-всеведения (NO) оказывается внутренне противоречивым (ложным) и для интуициониста!
- Для разрешимых суждений (\(K p \lor \neg K p\)) правило \(\neg\neg K p \vdash_{\text{Int}} K p\) действует и в интуиционистской логике, возвращая коллапс к \(p \to K p\).
6.2 Путь II: Ограничение Нила Теннанта «картезианскими суждениями»
Нил Теннант (1997, The Taming of the Sleuth) ограничивает KP картезианскими суждениями (\(\text{Cartesian}(\phi) \iff K\phi \not\vdash \bot\)):
\[\text{KP}_{\text{Cart}}: \quad \forall \phi \, \Big( \text{Cartesian}(\phi) \implies \big( \phi \to \Diamond K \phi \big) \Big)\]Контрпример ДеВиди и Соломона (2001) и Уильямсона: Составное суждение \(r \stackrel{\text{def}}{\equiv} p \land (K p \to n)\) является картезианским (\(K r \not\vdash \bot\)), но его подстановка в \(\text{KP}_{\text{Cart}}\) при условии \(p \land \neg K p\) влечёт \(\Diamond(K p \land n)\), возрождая парадокс!
6.3 Путь III: Двумерная модальная логика Дороти Эджингтон (\(\mathcal{A}\) / @)
Дороти Эджингтон (1985, “The Paradox of Knowability”, Mind) вводит оператор актуальности \(\mathcal{A}\) («Actually») (\(\mathcal{M}, w' \models \mathcal{A}\phi \iff \mathcal{M}, w_0 \models \phi\)):
\[\text{KP}_{\text{Edg}}: \quad \forall \phi \, \Big( \mathcal{A}\phi \to \Diamond K(\mathcal{A}\phi) \Big)\]В контрфактическом возможном мире \(w'\) субъект может непротиворечиво знать, что в актуальном мире \(w_0\) суждение \(p\) истинно и никем в \(w_0\) не познано (\(K_{w'}(\mathcal{A} p) \land \neg \mathcal{A} K p\)). Критика Уильямсона: Как субъект в причинно изолированном мире \(w'\) может получить эмпирическое знание о случайных фактах мира \(w_0\)?
6.4 Путь IV: Динамическая эпистемическая логика (DEL) и логика публичных объявлений (PAL)
Йохан ван Бентем (2004) с помощью динамического оператора \([\phi!]\psi\) показал, что \((p \land \neg K p)\) — это «неуспешная формула» (Unsuccessful Formula), которая опровергает саму себя в момент объявления или изучения: \(\mathcal{M}, w \models [p \land \neg K p !] \neg(p \land \neg K p)\).
flowchart TD
Root["Парадокс познаваемости Фитча<br/>KP: ∀q (q → ◇Kq) + NO: ∃p (p ∧ ¬Kp) ⊢ ⊥"]
Root --> E1["Путь I: Интуиционистская логика<br/>(Michael Dummett / Neil Tennant)"]
Root --> E2["Путь II: Картезианское ограничение<br/>(Neil Tennant 1997)"]
Root --> E3["Путь III: Двумерная модальная логика<br/>(Dorothy Edgington 1985)"]
Root --> E4["Путь IV: Динамическая логика PAL<br/>(Johan van Benthem 2004)"]
E1 --> M1["Механизм: Отказ от классического DNE;<br/>остановка на ∀p (p → ¬¬Kp)"]
M1 --> C1["Цена: Всё равно доказывает ¬∃p(p ∧ ¬Kp),<br/>делая не-всеведение противоречивым"]
E2 --> M2["Механизм: KP только для картезианских<br/>суждений (Kφ ⊬ ⊥); блокирует (p ∧ ¬Kp)"]
M2 --> C2["Цена: r := p ∧ (Kp → n) картезианское,<br/>но возрождает модальный коллапс"]
E3 --> M3["Механизм: Оператор актуальности A:<br/>Aφ → ◇K(Aφ); знание в w' о мире w0"]
M3 --> C3["Цена: Невозможность эмпирического знания<br/>между причинно изолированными мирами"]
E4 --> M4["Механизм: Оператор PAL [φ!]ψ выявляет<br/>(p ∧ ¬Kp) как самоопровергающееся обновление"]
M4 --> C4["Следствие: Отказ от статического отождествления<br/>истины и познаваемости"]
7. Сравнительная матрица и философское заключение
| Философская позиция | Формальный принцип / Логика | Механизм блокировки | Уязвимость / Философская цена |
|---|---|---|---|
| Наивный антиреализм | \(\forall p \, (p \to \Diamond K p)\) (Классическая) | Отсутствует: Коллапс в \(\forall p (p \to K p)\) | Влечёт абсурдное всеведение человечества (OP) |
| Интуиционистский антиреализм (Dummett 2001) | \(\forall p \, (p \to \Diamond K p)\) (Интуиционистская) | Отвергает DNE (\(\neg\neg K p \not\vdash K p\)); стоп на \(p \to \neg\neg K p\) | Опровергает \(\exists p (p \land \neg K p)\); коллапс при разрешимом \(K p\) |
| Картезианское ограничение (Tennant 1997) | \(\text{Cartesian}(\phi) \to (\phi \to \Diamond K \phi)\) | Исключает \((p \land \neg K p)\), т.к. \(K(p \land \neg K p) \vdash \bot\) | Пробивается формулой \(r := p \land (K p \to n)\) |
| Двумерная модальная логика (Edgington 1985) | \(\forall \phi \, (\mathcal{A}\phi \to \Diamond K(\mathcal{A}\phi))\) | Разделяет мир истины (\(w_0\)) и мир знания (\(w'\)) | Загадка трансмирового эмпирического знания |
| Динамическая логика (PAL) (van Benthem 2004) | Публичное объявление \([\phi!]\psi\) | Выявляет \((p \land \neg K p)\) как неуспешную формулу | Отказ от статического семантического антиреализма |
Заключение: Если мы признаём конечность человеческого познания (\(\exists p \, (p \land \neg K p)\)), Теорема 1 Фитча (\(\vdash \neg \Diamond K(p \land \neg K p)\)) с чисто логической необходимостью обязывает нас принять метафизический реализм:
\[\exists p \, (p \land \neg K p) \quad \vdash \quad \exists q \, \big( q \land \neg \Diamond K q \big)\]Литература (References)
- Fitch, F. B. (1963). “A Logical Analysis of Some Value Concepts”. The Journal of Symbolic Logic, 28(2), 135–142.
- Salerno, J. (Ed.). (2009). New Essays on the Knowability Paradox. Oxford University Press.
- Dummett, M. (2001). “Victor’s Error”. Analysis, 61(269), 1–2.
- Williamson, T. (2000). Knowledge and Its Limits. Oxford University Press.
- Edgington, D. (1985). “The Paradox of Knowability”. Mind, 94(376), 557–568.
- Tennant, N. (1997). The Taming of the Sleuth. Oxford University Press.
- van Benthem, J. (2004). “What One May Come to Know”. Analysis, 64(282), 95–105.