Проблема Гетьера: контрпримеры к теории знания

В 1963 году трёхстраничная статья никому тогда не известного американского философа Эдмунда Гетьера за считанные месяцы разрушила определение знания, которое считалось незыблемым со времён Платона. Классическая формула - знание есть обоснованное истинное мнение - казалась очевидной: мы чувствовали, что она точно схватывает, чем знание отличается от простой веры или слепой удачи. Гетьер показал простыми историями, что все три условия могут выполняться одновременно, а знания всё равно не будет. Этот вызов превратился в одну из центральных проблем современной эпистемологии. Если вам нужно разобрать конкретный пример или контрпример - воспользуйтесь инструментом ниже.

Классическое определение: ОИМ до Гетьера

Со времён платоновских диалогов «Менон» и «Теэтет» господствовало определение: знание есть обоснованное истинное мнение (justified true belief, JTB). Три необходимых и совместно достаточных условия:

1. Истинность: утверждение S знает, что P, предполагает, что P истинно. Нельзя знать того, что ложно.
2. Мнение (вера): субъект должен верить, что P. Нельзя знать то, во что не веришь.
3. Обоснование: вера должна опираться на хорошие основания - свидетельства, выводы, восприятие.

Формула выглядела исчерпывающей. Если человек верит, что у него есть рубль в кармане (мнение), действительно имеет его (истина) и предъявил квитанцию о зачислении зарплаты (обоснование) - он знает это. Проблема появилась, когда Гетьер показал: случайное совпадение обоснования и истины ломает интуицию о знании.

Рассчитать для своей задачи

Первый контрпример: Смит и Джонс

Гетьер строит свои случаи на двух технических допущениях: из ложного утверждения можно вывести истинное; обоснование передаётся при дедуктивных выводах.

История: Смит и Джонс претендуют на одну должность. Директор сообщил Смиту, что Джонс получит место. Смит видел, что в кармане у Джонса десять монет. Смит формирует убеждение: «Тот, кто получит работу, имеет в кармане десять монет», - и считает его хорошо обоснованным.

На деле работу дают Смиту. Случайно в его собственном кармане тоже оказывается ровно десять монет - он просто не знал об этом.

Итог: утверждение «тот, кто получит работу, имеет в кармане десять монет» - истинно (это Смит, у него десять монет), обосновано (сведения об Джонсе давали основания для вывода), Смит в него верил. Все три условия JTB выполнены. Но большинство философов интуитивно чувствует: Смит не знает этого - он просто угадал по счастливому стечению обстоятельств.

Второй контрпример: поле и овца

Эта версия принадлежит уже другим авторам, но работает по той же логике и часто приводится как более наглядная.

Фермер смотрит в поле и видит то, что выглядит как овца. На самом деле это большой камень, покрытый белым мехом. Однако где-то за холмом - вне поля зрения фермера - действительно прячется овца. Фермер верит: «В поле есть овца» (мнение). Это истинно (овца там есть). Обоснование - перцептуальное: фермер видит нечто овцеподобное.

Снова: JTB выполнено, но знания нет. Фермер не видел настоящую овцу.

Третий контрпример: часы, которые стоят

Человек всю жизнь доверял настенным часам в холле. Сейчас он смотрит на них: часы показывают 14:17. Человек верит, что сейчас 14:17. Действительно сейчас 14:17. Обоснование безупречное - надёжный хронометр. Но часы остановились ровно двенадцать часов назад и дважды в сутки показывают правильное время.

Истина, мнение и обоснование налицо. Знания нет: субъект попал на правильный момент случайно.

Рассчитать для своей задачи

Почему это философски важно

Статья Гетьера значима не потому, что разрушила одно определение, а потому что обнажила глубокую проблему: что именно связывает обоснование с истиной так, чтобы получилось знание?

Любой ответ на вопрос «что такое знание» должен объяснить, почему в случаях Гетьера знания нет. Это направило три десятилетия философских поисков. Аналогичная проблема обсуждается в статье о дилемме Евтифрона: когда связь между двумя понятиями оказывается случайной, определение рассыпается.

С формальной точки зрения Гетьер использует два базовых принципа:

• Принцип передачи обоснования: если S обоснованно верит в P, а P влечёт Q, то S обоснованно верит в Q.
• Принцип фоллибилизма: обоснование совместимо с ложностью - мы можем иметь хорошие основания верить в P, даже если P ложно.

Именно эта пара делает контрпримеры работающими.

Ответы на вызов Гетьера

Философы предложили несколько стратегий. Ни одна не стала общепринятой, но каждая обнажила новый пласт проблемы.

Четвёртое условие (no false lemmas). Кит Лерер и Томас Паксон предложили добавить: знание требует, чтобы вывод не опирался на ложные промежуточные шаги. В случае Смита ключевая посылка «Джонс получит работу» ложна - поэтому знания нет. Проблема: можно построить случай Гетьера без ложных посылок (остановившиеся часы - пример именно такой конструкции).

Надёжностизм (reliabilism). Элвин Голдман: знание - это убеждение, сформированное надёжным когнитивным процессом. Видение в нормальных условиях надёжно; созерцание камня вместо овцы - нет. Трудность: что делает процесс «надёжным»? В каком контексте считается?

Условная теория знания (sensitivity). Роберт Нозик: S знает P, если бы P было ложным, S не верил бы в P. В часовом примере: если бы время было другим, человек всё равно смотрел бы на стоящие часы и всё равно верил бы - значит, знания нет. Проблема: счётные контрфактические условные суждения плохо работают для логических истин.

Контекстуализм. Дэвид Льюис и Стюарт Коэн: слово «знает» меняет смысл в зависимости от контекста разговора. При низком пороге - фермер «знает» про овцу в обычном разговоре. При высоком эпистемологическом требовании - нет. Это не столько решение проблемы, сколько переосмысление её природы.

Современные направления

После Гетьера эпистемология превратилась в поле активного конструирования. Несколько ключевых тем:

Virtue epistemology (эпистемологические добродетели). Линда Загзебски, Эрнест Соса: знание - это когнитивное достижение, а не просто счастливое совпадение. В случае фермера вера оказалась истинной не благодаря компетенции субъекта, а вопреки ей. Знание требует успеха, который причинно связан с когнитивной компетентностью.

Safety. Близкая идея: знание - это убеждение, которое не могло бы легко оказаться ложным при тех же обстоятельствах. Остановившиеся часы «легко могли бы» показывать неверное время, если бы субъект подошёл чуть раньше.

Рассчитать для своей задачи

Подробнее о границах рациональной аргументации в философии можно прочитать в статье об эпистемологическом анархизме Фейерабенда.

Частые ошибки

• «Гетьер опроверг существование знания». Нет. Он показал, что одно конкретное определение знания неполно. Большинство философов убеждено, что знание существует - просто JTB его не схватывает.
• «Достаточно добавить одно условие, и проблема решена». Каждое предложенное четвёртое условие порождало новые контрпримеры. Проблема оказалась глубже, чем «заплатка».
• «Контрпримеры Гетьера искусственны и нереалистичны». Это не аргумент против них. Контрпримеры в философии намеренно дистиллируют ситуацию до сути - как мысленные эксперименты в физике.
• «Гетьер первым заметил эту проблему». Аналогичные наблюдения были у Расселла в 1912 году и у индийского философа Дхармоттары ещё в VIII веке. Заслуга Гетьера - чёткая, публично признанная формулировка.

FAQ

Почему статья Гетьера такая короткая - всего три страницы? Гетьер сформулировал именно то, что нужно: два технических предположения плюс два контрпримера. Краткость не слабость, а точность. Редактор журнала Analysis принял статью сразу.

Есть ли у проблемы Гетьера решение, принятое большинством философов? Нет. Через шестьдесят лет после публикации единого консенсуса нет. Надёжностизм и теории добродетелей - наиболее влиятельные направления, но каждое имеет критиков.

Как проблема Гетьера связана с повседневным мышлением? Напрямую: каждый раз, когда мы говорим «он это знает» или «это не настоящее знание - просто удача», мы интуитивно воспроизводим ту же проблему. Гетьер перевёл народную интуицию в строгий философский аргумент.

Коротко

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