Введение: Статья на трех страницах, потрясшая двухтысячелетнее здание философии
В повседневной речи мы используем глагол «знать» с безоговорочной уверенностью:
- «Я знаю, что на улице идет дождь» (потому что вижу капли на стекле);
- «Я знаю, что Земля вращается вокруг Солнца» (благодаря астрономическим доказательствам);
- «Я знаю, что $2 + 2 = 4$» (по законам элементарной арифметики).
Но что с философской точки зрения означает для субъекта $S$ по-настоящему знать нечто? Каковы необходимые и достаточные условия знания?
Со времен Платона (в диалогах «Теэтет» и «Менон») классическая эпистемология опиралась на трехчастную формулу обоснованного истинного убеждения (Justified True Belief, JTB): Субъект $S$ знает пропозицию $P$ тогда и только тогда, когда:
- Убеждение (Belief): $S$ искренне верит, что $P$;
- Истина (Truth): $P$ объективно истинно в реальности;
- Обоснование (Justification): $S$ обладает достаточными рациональными свидетельствами в пользу $P$.
flowchart TD
subgraph JTB ["Классическая концепция знания (JTB)"]
direction LR
J["Обоснование (Justification)<br/>Рациональные доказательства"] --- T["Истина (Truth)<br/>Объективный факт"]
T --- B["Убеждение (Belief)<br/>Ментальное согласие"]
end
JTB ==>|Пересечение трех условий| K["Знание (Knowledge)<br/>S знает, что P"]
Эта концепция казалась нерушимой 2300 лет. Однако в июне 1963 года никому не известный доцент Эдмунд Геттиер (1927–2021) опубликовал в журнале Analysis статью объемом всего в три страницы: «Является ли обоснованное истинное убеждение знанием?». Геттиер привел неопровержимые контрпримеры, доказавшие: можно иметь обоснованное истинное убеждение, которое, тем не менее, знанием не является!
1. Контрпримеры Геттиера
Случай 1: Смит, Джонс и десять монет
Смит и Джонс претендуют на одну должность. Директор компании лично заверяет Смита, что работу получит Джонс. Минутами ранее Смит видел, как Джонс пересчитал десять монет и убрал их в карман. Смит логически выводит:
(e) Человек, который получит работу, имеет десять монет в кармане.
Внезапно совет директоров решает нанять самого Смита. И по невероятному совпадению в кармане у самого Смита тоже лежит ровно десять монет! Убеждение (e) истинно, искренне разделяется Смитом и безупречно обосновано. Но знал ли Смит об этом? Нет! Это была чистая слепая случайность.
2. Суть проблемы: Эпистемическая удача (Epistemic Luck)
Контрпримеры Геттиера разоблачают паразитический механизм эпистемической удачи:
- Неудача: обоснование отталкивается от ложного факта (Джонс не нанят);
- Удача: независимое совпадение случайно спасает истинность вывода (у Смита десять монет). Удача разрывает необходимую связь между познавательными усилиями человека и реальностью мира.
3. Битва за четвертое условие
- Исключение ложных посылок (No False Lemmas): пало под ударом примера со стоящими часами (случайный взгляд на сломанные сутки назад часы ровно в 8:20).
- Каузальная теория Голдмана: требование прямой причинной связи, опровергнутое мысленным экспериментом о бутафорских амбарах (Fake Barn Country).
- Отслеживание истины Нозика (Truth-Tracking): требование контрфактической чувствительности: «если бы $P$ было ложным, $S$ не верил бы, что $P$».
4. Эпистемология добродетелей и ИИ
- Модель AAA Эрнеста Сосы: знание подобно выстрелу из лука: оно должно быть метким (Accurate), умелым (Adroit) и состоятельным (Apt) — успех должен принадлежать мастерству стрелка, а не порыву попутного ветра.
- Языковые модели (LLM): современные нейросети, выдающие верные ответы на основе галлюцинированных фактов, представляют собой гигантские машины Геттиера, требующие строгой эпистемической верификации.
Заключение
Проблема Геттиера напоминает о хрупкости человеческой рациональности: случайно угадать правду — не значит познать ее. Подлинное знание требует освобождения от иллюзий случайности и установления прочной связи с объективной реальностью.