Примерно такой путь – от корреспондентности к когерентности – проделал и Дэвидсон в 1960-80-е годы – что соответствует и пути Витгенштейна от «Трактата» к «Исследованиям», и, более широко, тому возрастающему признанию роли социокультурных факторов, которое характерно для эволюции многих философов. В статье «Когерентная теория истины и знания» Дэвидсон защищает аргумент, призванный «показать, что когерентность в итоге дает корреспонденцию (coherence yields correspondence)»541. С такой точки зрения, мы признаем, что наши полагания взаимно поддерживают друг друга, и принимаем их именно по этой причине. Но Дэвидсон не может показать, как через доказательство когерентности наших полаганий мы делаем наше знание истинным или ложным и поэтому соответствующим или не соответствующим внешней действительности. Однако мы должны это сделать, если хотим дать теорию значения для естественного языка: мы не можем не признать его не заключающим о мире. Язык существует постольку, поскольку функционирует, а функционирует постольку, поскольку представляет собой систему интенциональных репрезентаций, направленных на мир, и для того, чтобы дать теорию этой системы, мы должны объяснить ее связь с другими основаниями нашей когнитивной практики. Мы можем отказаться трактовать перцептуальные утверждения как экзистенциальные, но это не избавит нас от необходимости дать теорию их обоснования именно как утверждений о мире, а не только о других утверждениях.
10.8 Различение между истинностью и обоснованностью знания
Мы можем знать некоторый факт только в том случае, если мы имеем истинное полагание о нем. Однако, поскольку не все, а только некоторые истинные полагания являются знанием, то один из центральных вопросов эпистемологии – что обращает просто истинное полагание в полноценное знание?
Как известно, виды знания неоднородны. Я могу знать, как переустановить операционную систему на своем компьютере; я могу знать какого-то человека; я могу знать, что битва при Ватерлоо произошла в 1815 году. В первом случае я обладаю навыком; во втором – я знаком с кем-то; в третьем – я знаю факт. Эти виды знания могут быть разграничены более чем одним способом. С одной стороны, можно считать, что знание человека, места или вещи не должно быть рассмотрено как нечто большее (или меньшее), чем знание некоторых фактов об этом человеке, месте или вещи и обладание навыком отличать этого человека, место или вещь от других. С другой стороны, знание фактов зависит от знакомства со специфическими предметами. Редукция одной формы познания к другой очевидно неоднозначна; наиболее известной (по крайней мере, наиболее важной для нас здесь) в этой связи дистинкцией является восходящее к Расселу различение между знанием по знакомству и знанием по описанию. Именно знание фактов – так называемое пропозициональное знание, в противоположность знанию по знакомству или владению навыками, представляет основной интерес при обсуждении связи условий истинности со значением. Исходный вопрос здесь может быть сформулирован так: при каких условиях мое полагание должно считаться знанием, или – какие из моих полаганий должны считаться знанием?
Этот вопрос предполагает, что знание – разновидность полагания, однако можно предположить и нечто иное – а именно, что знание и полагание взаимно исключительны: например, на вопрос «Ты так считаешь?» мы можем ответить «Нет, не считаю – я просто это знаю». Но аналогичным образом мы можем на вопрос «Ты рад?» ответить «Нет, я не рад – я счастлив», где утверждение о том, что я счастлив, никак не отрицает того, что я рад, а следовательно, этот ответ мог бы быть перефразирован так: я не просто рад, я счастлив. В данном случае произошло сужение экстенсионального значения: не всякая радость – счастье, но всякое счастье – радость. Аналогичным образом утверждение «Я не просто полагаю это; я знаю это» не поддерживает предположение, что полагание и знание взаимно исключительны; скорее напротив, это свидетельствует о том, что знание (по крайней мере, пропозициональное) – разновидность полагания. Каковы же здесь будут критерии сужения? Ясно, что не всякое полагание – знание, но каким именно должно быть полагание, чтобы оно могло считаться знанием?
Очевидно, прежде всего – истинным, но этого так же очевидно недостаточно – по следующим трем причинам.
Истинное полагание может быть основано на дефектном рассуждении. Предположим, что я полагаю, что курение – главная причина рака легких, потому что я вывожу это из того факта, что я знаю двух курильщиков, которые умерли от рака легких. Обобщение истинно, но моего свидетельства очевидности здесь недостаточно, чтобы считать это мое полагание знанием (выборка из двух человек могла быть статистически нерелевантна, теоретически велика вероятность совпадений, и т.п.).
Истинное полагание может быть основано на ложном полагании. Воспользовавшись формой известного примера Рассела, предположим, что я истинно полагаю, что фамилия президента России в 2000 году начинается на букву 'П', но при этом это мое истинное полагание основано на ложном полагании, что президент – Алексей Подберезкин. Мое истинное полагание, что имя президента начинается с буквы 'П', не является знанием, потому что оно основано на ложном полагании.
И наконец, даже некоторые истинные полагания, следующие из правильного рассуждения, основанного на истинном полагании, все же еще не являются знанием. Предположим, что я полагаю (истинно), что мои соседи сейчас находятся дома. Мое полагание основано на правильном рассуждении от моего истинного полагания, что я вижу свет в их окнах и что, в прошлом, свет был только тогда, когда они были дома. Но предположим, далее, что на этот раз свет был включен в отсутствие хозяев гостем, приходящей домработницей или грабителем, а сами соседи только что вошли в дом и еще просто не успели подойти к выключателю. В этом случае, несмотря на совпадение моего истинного в конечном счете полагания с истинным в конечном счете положением дел, я не буду на самом деле знать, что мои соседи дома.
Итак, для того, чтобы быть знанием, истинное полагание должно обладать еще некоторым свойством. Мы можем так и определить его: свойство, которое, будучи добавлено к истинному полаганию, обращает его в знание, назовем обоснованием542; тогда знание – это истинное обоснованное полагание. Уточнение понятия обоснования является предметом обширнейших эпистемологических дискуссий, но в наиболее общей форме мы скажем, что полагание обосновано в том случае, когда мы обладаем им в силу доступных нам релевантных причин. В истории философии насчитывается множество подходов к теории обоснования, но их общая отправная точка такова: обоснованное полагание – то, которым мы располагаем не в силу простой когнитивной случайности. Понятие случайности здесь предстает в наиболее общем виде – скорее как не-инференциальность, чем как противопоставление контингентных истин необходимым. Платон обращается к этой интуиции в «Теэтете»; во второй «Аналитике» Аристотеля теория перехода от незнания первооснов науки к их познанию предназначена продемонстрировать, что существуют надежные познавательные механизмы, результаты которых никоим образом не являются случайными; Декарт предлагает методы приобретения полаганий, которые должны с необходимостью вести к истине; Локк подчеркивает, что если люди приходят к своим полаганиям случайно, то они не свободны от критики, даже если эти полагания истинны. Поэтому базисом для понятия обоснованности полагания является представление о его неслучайности. Иными словами, если о пропозиции известно, что она не случайна, а выведена из определенных причин, удовлетворяющих определенным требованиям, то, с когнитивной точки зрения, это означает и то, что она истинна, и то, что она выступает как чье-либо полагание. Следовательно, теория обоснования должна объяснить, что делает полагание не-случайно истинным с когнитивной точки зрения.
Это может подразумевать, что обоснование должно быть определено или проанализировано в отношении или в терминах истины. Можно, например, утверждать, что понятие обоснования предполагает понятие истины. Это весьма традиционный способ рассмотрения отношения между истиной и обоснованием, но он не является философски нейтральным. Возможно и обратное требование: истина должна быть определена или проанализирована в терминах обоснования или одного из его (приблизительных) синонимов, например обоснованной или гарантированной утверждаемости (warranted assertibility). Это требование может принимать различные формы: истина должна быть проанализирована как обоснование словоупотреблений, как максимальное обоснование, как обоснование в идеальных обстоятельствах и т.д. Однако, как заметил Ричард Рорти, тезис «истина как обоснование» часто утверждается как окольный путь выражения некоторой другой доктрины.
Патнэм теперь согласен с Гудменом и Витгенштейном: представлять язык как картину мира – как множество репрезентаций, которые нужны философии, чтобы изобразить их находящимися в некотором неинтенциональном отношении к тому, что они репрезентируют, – бесполезно для объяснения того, как понимается или осваивается язык. Но... до своего отречения он полагал, что мы все еще могли бы использовать эту картину языка для целей натурализованной эпистемологии; язык-как-картина не служил полезным образом успешного понимания того, как язык используется людьми, но был полезен в объяснении успеха исследования, точно так же, как «карта выполняет свое предназначение, если она подходящим образом соответствует конкретной части Земли». Патнэм здесь делает такой же ход, как Селларс и Розенберг. Эти люди все-таки идентифицируют «истину» с «гарантированно для нас утверждаемым» (тем самым разрешая истины о несуществующих предметах), но затем они переходят к описанию «изображения» как неинтенционального отношения, которое дает нам архимедову точку опоры, позволяющую сказать, что наша настоящая теория мира, хоть и наверняка является истинной, может не изображать мир так же адекватно, как некоторая последующая теория... Все трое хотят, чтобы с проблемами того, что я называю «чистой» философией языка (т.е. собственно теории языкового значения –