Комментарий к примеру 2. В этом случае имеет место вывод из ложной посылки, что у Джонса есть «Форд». Тем не менее, убеждение Смита, что либо у Джонса есть «Форд», либо Браун в Барселоне, истинно, благодаря случайности, что Браун действительно находится в Барселоне.
Отметим также, что в примере 2 Гетье использует предположение, что из обоснованности истинности одного из дизъюнктов следует обоснованность истинности дизъюнкта, то есть предположение, что обоснованность сохраняется при логическом выводе переходе к дизъюнкту как следствию (см. ниже принцип замкнутости обоснования относительности дедукции)[21].
Замечание 1. Случаи Гетье, вообще говоря, «мысленные эксперименты», хотя некоторые из них вполне могут быть реализованы в действительности. Знание истинности суждений, основанных на мысленных экспериментах, и, в частности, в случаях Гетье, оспаривается экспериментальными философами (см., например, [10]). В то же время Т. Уильямсон считает, что априорные философские мысленные эксперименты при определённых условиях могут давать знание (в частности, в случаях Гетье мы приобретаем субстанциальное знание).
Принципы замкнутости знания и обоснования
Как уже было сказано, рассуждение Гетье опирается на принцип замкнутости обоснования относительно логического вывода. Этот принцип, а также принцип замкнутости знания относительно логического вывода, считаются в эпистемологии достаточно надёжными принципами, хотя некоторые эпистемологи их оспаривают.
Принцип замкнутости знания. Если S знает, что p, и если S из p компетентным образом выводит q, формируя на этом основании мнение, что q, и при этом удерживая своё знание, что p, то S приобретает знание, что q.
Вариант принципа замкнутости знания. Если S рационально знает, что p, и если S из p компетентным образом выводит q, формируя на этом основании рациональное мнение, что q, и при этом удерживая своё рациональное знание, что p, то S приобретает рациональное знание, что q. Под «рациональным знанием» (знание, строго говоря, всегда рационально) мы понимаем здесь знание, имеющее доступное рефлексии (интроспекции) рациональное обоснование.
Принцип замкнутости обоснования. Если S обоснованно верит, что p, и S корректно выводит r из p, то S обоснованно верит, что r.
Принцип замкнутости знания для случая многочисленных посылок. Если S знает, что p, и знает, что q, и S приходит к мнению, что r, корректным образом выводя его из p и q, то S знает, что r. (См., например, энциклопедическую статью Джона Колинса [11].)
Принцип замкнутости обоснования для случая многочисленных посылок. Если S обоснованно верит, что p, и обосновано верит, что q, и S корректно выводит r из p и q, то S обоснованно верит, что r. (См., например, статью Колинса [11].)
3. Интернализм и теория истины как соответствия
Понятие обоснования у Гетье интерналистское. Интернализм утверждает «внутренний» (ментальный) характер обоснования или его доступность рефлексии/интроспекции, что предполагает дихотомию субъекта и объекта, внутреннего и внешнего, ментального и материального, а также репрезентационализм. Как уже было сказано во Введении (раздел 2), принятие этой дихотомии и репрезентационализм характеристики философии модерна[22]. Также постановка проблемы Гетье подразумевает теорию истины как соответствия фактам внешнего мира, которая также относится к философии модерна. То есть предполагается концепция метафизического реализма о существовании внешнего мира не зависящих от сознания определённых объектов, их свойств и отношений между ними[23]. В этом смысле можно сказать, что проблема Гетье является симптомом следствием ложных посылок эпистемологии модерна[24].
Вместо того, чтобы их пересмотреть, традиционная эпистемология, однако, пыталась решить проблему Гетье, то есть определить знание, тем или иным образом модифицируя или усложняя традиционное определение. Некоторые авторы считают, что на этом пути они достигли успеха. Ниже мы рассмотрим, например, так называемую «антислучайную эпистемологию добродетелей»[25], комбинирующую условие отсутствия эпистемической удачи (мнение, которое истинно случайно, не может быть знанием) и условие подходящего применения познавательных способностей субъекта (истинное мнение, которое не является результатом познавательного процесса, не может быть знанием) (см. Главу 2) Д. Притчарда, которая является неплохим кандидатом на эту роль[26]. В то же время ЭСЗ Т. Уильямсона отвергают возможность редуктивного анализа концепта знания. В частности, Уильямсон приводит «аргумент индукции», согласно которому до сих пор ни одно из предложенных определений знания не имело успеха и, следовательно, такого определения вообще не существует. Он полагает, что проблема Гетье плохо поставлена, а исследовательская программа, целью которой является удовлетворительный анализ знания в терминах мнения и других компонент, является тупиковой. Д. Притчард, однако, считает, что хотя его двухкомпонентный подход, вообще говоря, редуктивный, в своей нередуктивной версии он совместим с идеей первичности знания, и соответствующее нередуктивное (круговое) определение (анализ) знания, отсылающее в конечном итоге к знанию, может быть содержательным.