Принцип замкнутости обоснования. Если 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]. В то же время ЭСЗ Т. Уильямсона отвергают возможность редуктивного анализа концепта знания. В частности, Уильямсон приводит «аргумент индукции», согласно которому до сих пор ни одно из предложенных определений знания не имело успеха и, следовательно, такого определения вообще не существует. Он полагает, что проблема Гетье плохо поставлена, а исследовательская программа, целью которой является удовлетворительный анализ знания в терминах мнения и других компонент, является тупиковой. Д. Притчард, однако, считает, что хотя его двухкомпонентный подход, вообще говоря, редуктивный, в своей нередуктивной версии он совместим с идеей первичности знания, и соответствующее нередуктивное (круговое) определение (анализ) знания, отсылающее в конечном итоге к знанию, может быть содержательным.
Понятие истины как соответствия фактам внешнего мира, фигурирующее в стандартном определении знания, тоже требует коррекции в том смысле, что истина вторична по отношению к знанию. Принятие концепта истины в качестве более фундаментального как раз и означало бы принятие метафизического реализма. На наш взгляд, возможен в некотором роде промежуточный путь между дефляционистским минимализмом, ограничивающимся формулировкой «Предложение р истинно, если и только если р», и метафизической теорией истины как соответствия. Действительно, если р истинно, то существует реальный факт, которому р соответствует. Сказанное, однако, можно понимать не как теоретическое утверждение, а как логическое, – как тавтологию. По определению истина – соответствие фактам. Во всяком случае так можно интерпретировать аристотелевское определение понятия истины – реалистически и аналитически, в умеренно дефляционистском смысле, как определение, предполагающее вторичность истинного высказывания (истины) по отношению к той или иной соответствующей ему реальности, а не в смысле формулировки природы истины как соответствия в некотором субстанциальном смысле: «Сказать о том, что есть, что его нет, или о том, чего нет, что оно есть, ложно. Сказать о том, что есть, что оно есть, или о том, чего нет, что его нет, истинно» [12, Г 7.27]. К тому же следует принять во внимание, что истина (истинность высказывания, мнения) как соответствие факту устанавливается в контексте. Это значит, что она не предопределена. Во всяком случае в новых областях исследования не существует теории истины как соответствия, некоторого механизма (техники), позволяющего установить истину