Проблема Геттиера: почему истинное обоснованное убеждение не всегда знание

Проблема Геттиера — вопрос эпистемологии о том, достаточно ли для знания обоснованного истинного убеждения. В 1963 году философ Эдмунд Геттиер опубликовал короткую статью «Is Justified True Belief Knowledge?», предложив ситуации, в которых человек верит в истинное утверждение и располагает разумными основаниями, но мы всё же не склонны говорить, что он знает его. Причина — роль случайного совпадения между основанием убеждения и действительным положением дел.

Три соседних понятия, без которых проблема непонятна

1. Убеждение. Человек принимает утверждение за верное. Оно может быть истинным или ложным независимо от уверенности человека.
2. Истина. Высказывание соответствует тому, как обстоят дела. Истинность не возникает оттого, что кто-то привёл убедительный довод.
3. Обоснование. У человека есть рациональные основания верить высказыванию — свидетельства, наблюдение или корректное рассуждение. Хорошее обоснование может быть ошибочным, если исходная информация подводит.

Традиционная схема анализа знания как «истинного, обоснованного убеждения» объединяет все три условия. Геттиер не оспаривал ценность истины или аргументов сами по себе. Он показал, почему их сочетание не всегда является достаточным условием знания. Различие между необходимым и достаточным условием принципиально: даже если знание требует истины, из одной истинности знания ещё не следует.

Два сопоставления: как точно описывать случай

Корректно: «Это обоснованное истинное убеждение, которое оказалось верным благодаря удачному совпадению; можно сомневаться, что это знание». Такая формулировка сохраняет различие между основаниями и случайной истинностью.

Неверно: «Утверждение было истинным, значит человек его знал» или «обоснование оказалось несовершенным, следовательно убеждение было ложным». Обе фразы перескакивают через отдельное звено рассуждения.

Мысленный эксперимент: остановившиеся часы

Представьте человека, который ежедневно смотрит на надёжные настенные часы перед выходом. Сегодня он видит 11:56 и приходит к выводу: «Сейчас 11:56». В действительности часы остановились ровно двенадцать часов назад на этом значении, а человек подошёл к ним именно в 11:56. Получается, его убеждение истинно. Оно также выглядит обоснованным: раньше часы показывали точное время, и причины подозревать неисправность у наблюдателя не было. Но часы не отслеживают время, а точный ответ получился случайно.

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

Как устроен один исходный случай Геттиера?

В оригинальной статье Смит имеет серьёзные основания полагать, что Джонс владеет автомобилем Ford. Из этого он выводит высказывание с логическим «или»: «Джонс владеет Ford или Браун находится в Барселоне». Такая дизъюнкция следует из первого утверждения независимо от местоположения Брауна. Затем выясняется: у Джонса нет Ford, но Браун действительно находится в Барселоне — причём Смит этого не знал. Итак, итоговая дизъюнкция истинна, вывод логически корректен, а убеждение Смита обоснованно его доступными данными. Однако нужный истинный член дизъюнкции «сработал» независимо от его свидетельств. Именно поэтому этот случай кажется примером истины без знания.

Здесь нельзя сказать, что всякая логически корректная операция сохраняет истинность, если посылка фактически ложна. Корректность означает: при истинности посылок заключение не может быть ложным. В случае Смита ошибка находится не в правиле «из P следует P или Q», а в принятой за истинную посылке и случайном совпадении итогового утверждения с действительностью.

Какие решения предлагают эпистемологи?

Одна линия ответа стремится исключить «ложные звенья» обоснования; другая требует подходящей связи между фактом и убеждением; третья исследует надёжность способа образования убеждений или его устойчивость к ошибке в близких возможных ситуациях. У каждой стратегии возникают новые контрпримеры. Поэтому проблему Геттиера нельзя считать окончательно решённой единой четвёртой строкой к определению знания.

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

Вывод: проблема Геттиера показывает границу классического анализа знания и объясняет, почему истинное убеждение с хорошим обоснованием может всё же не быть знанием. Название относится к философской задаче, а не к любой жизненной ситуации, когда человеку случайно повезло.

Проверенные источники

• Internet Encyclopedia of Philosophy — Gettier Problems (структура случаев, оригинальные примеры и варианты решения).
• Stanford Encyclopedia of Philosophy — The Analysis of Knowledge (классический анализ и влияние статьи Геттиера).
• Internet Encyclopedia of Philosophy — Epistemology (иллюстрация с остановившимися часами).