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.