Истинное полагание может быть основано на ложном полагании. Воспользовавшись формой известного примера Рассела, предположим, что я истинно полагаю, что фамилия президента России в 2000 году начинается на букву 'П', но при этом это мое истинное полагание основано на ложном полагании, что президент – Алексей Подберезкин. Мое истинное полагание, что имя президента начинается с буквы 'П', не является знанием, потому что оно основано на ложном полагании.
И наконец, даже некоторые истинные полагания, следующие из правильного рассуждения, основанного на истинном полагании, все же еще не являются знанием. Предположим, что я полагаю (истинно), что мои соседи сейчас находятся дома. Мое полагание основано на правильном рассуждении от моего истинного полагания, что я вижу свет в их окнах и что, в прошлом, свет был только тогда, когда они были дома. Но предположим, далее, что на этот раз свет был включен в отсутствие хозяев гостем, приходящей домработницей или грабителем, а сами соседи только что вошли в дом и еще просто не успели подойти к выключателю. В этом случае, несмотря на совпадение моего истинного в конечном счете полагания с истинным в конечном счете положением дел, я не буду на самом деле знать, что мои соседи дома.
Итак, для того, чтобы быть знанием, истинное полагание должно обладать еще некоторым свойством. Мы можем так и определить его: свойство, которое, будучи добавлено к истинному полаганию, обращает его в знание, назовем обоснованием542; тогда знание – это истинное обоснованное полагание. Уточнение понятия обоснования является предметом обширнейших эпистемологических дискуссий, но в наиболее общей форме мы скажем, что полагание обосновано в том случае, когда мы обладаем им в силу доступных нам релевантных причин. В истории философии насчитывается множество подходов к теории обоснования, но их общая отправная точка такова: обоснованное полагание – то, которым мы располагаем не в силу простой когнитивной случайности. Понятие случайности здесь предстает в наиболее общем виде – скорее как не-инференциальность, чем как противопоставление контингентных истин необходимым. Платон обращается к этой интуиции в «Теэтете»; во второй «Аналитике» Аристотеля теория перехода от незнания первооснов науки к их познанию предназначена продемонстрировать, что существуют надежные познавательные механизмы, результаты которых никоим образом не являются случайными; Декарт предлагает методы приобретения полаганий, которые должны с необходимостью вести к истине; Локк подчеркивает, что если люди приходят к своим полаганиям случайно, то они не свободны от критики, даже если эти полагания истинны. Поэтому базисом для понятия обоснованности полагания является представление о его неслучайности. Иными словами, если о пропозиции известно, что она не случайна, а выведена из определенных причин, удовлетворяющих определенным требованиям, то, с когнитивной точки зрения, это означает и то, что она истинна, и то, что она выступает как чье-либо полагание. Следовательно, теория обоснования должна объяснить, что делает полагание не-случайно истинным с когнитивной точки зрения.
Это может подразумевать, что обоснование должно быть определено или проанализировано в отношении или в терминах истины. Можно, например, утверждать, что понятие обоснования предполагает понятие истины. Это весьма традиционный способ рассмотрения отношения между истиной и обоснованием, но он не является философски нейтральным. Возможно и обратное требование: истина должна быть определена или проанализирована в терминах обоснования или одного из его (приблизительных) синонимов, например обоснованной или гарантированной утверждаемости (warranted assertibility). Это требование может принимать различные формы: истина должна быть проанализирована как обоснование словоупотреблений, как максимальное обоснование, как обоснование в идеальных обстоятельствах и т.д. Однако, как заметил Ричард Рорти, тезис «истина как обоснование» часто утверждается как окольный путь выражения некоторой другой доктрины.
Патнэм теперь согласен с Гудменом и Витгенштейном: представлять язык как картину мира – как множество репрезентаций, которые нужны философии, чтобы изобразить их находящимися в некотором неинтенциональном отношении к тому, что они репрезентируют, – бесполезно для объяснения того, как понимается или осваивается язык. Но... до своего отречения он полагал, что мы все еще могли бы использовать эту картину языка для целей натурализованной эпистемологии; язык-как-картина не служил полезным образом успешного понимания того, как язык используется людьми, но был полезен в объяснении успеха исследования, точно так же, как «карта выполняет свое предназначение, если она подходящим образом соответствует конкретной части Земли». Патнэм здесь делает такой же ход, как Селларс и Розенберг. Эти люди все-таки идентифицируют «истину» с «гарантированно для нас утверждаемым» (тем самым разрешая истины о несуществующих предметах), но затем они переходят к описанию «изображения» как неинтенционального отношения, которое дает нам архимедову точку опоры, позволяющую сказать, что наша настоящая теория мира, хоть и наверняка является истинной, может не изображать мир так же адекватно, как некоторая последующая теория... Все трое хотят, чтобы с проблемами того, что я называю «чистой» философией языка (т.е. собственно теории языкового значения – М.Л.), справлялась витгенштейнова теория значения как употребления, а с эпистемологическими проблемами справлялось отношение изображения в духе «Трактата»543.
Итак, тезис «истина как обоснование» может служить для выражения тезиса о том, что теория истины не может играть никакой роли в легитимной философской программе; а следовательно, мы действительно не нуждаемся в теории истины, отличной от теории обоснования. Или же это – метафора для популярного в философии языка тезиса о том, что всякая истина является истиной относительно концептуальной схемы (см. § 3.6). Иногда же тезис «истина как обоснование» выражает дефляционистское требование, что истина – избыточное понятие, в то время как обоснование – нет. Или же он используется как способ отрицания того, что наши обосновательные процедуры дают нам такую эпистемическую ценность как истина. Наконец, тезис «истина как обоснование» иногда утверждается как способ выражения определенной метафизической позиции. Например, возможно дать один и тот же ответ и на метафизический вопрос, и на вопрос обоснования – скажем, прагматический.
Основной аргумент против требования, что истина может быть проанализирована в терминах обоснования или редуцирована к нему, состоит в следующем. Синтаксическое значение таких терминов, как 'обоснованный', 'проверяемый' и 'подтвержденный', подразумевает, что ничто не обосновано или проверено, или подтверждено simpliciter. Эти причастия требуют управляемого дополнения – чем утверждение или полагание обосновано или подтверждено – некоторыми (истинными) фактами, или – как обосновано или подтверждено? Очевидно, как истинное. Тогда приравнивание предиката 'истинный' к предикату 'обоснованный' или анализ истины даже частично в терминах обоснования приведет к циркулярности или регрессу, обращающему 's истинно' в бесконечную бессмыслицу 's обосновано как обоснованное как обоснованное как…'.
Известная попытка уклониться от этого последствия состоит в требовании, что утверждения обоснованы «как утверждаемые». В одном из смыслов термина 'утверждаемый', любое предложение утверждаемо, если оно физически способно быть утвержденным. Но никто не требовал бы, чтобы все такие утверждения были истинны. В другом смысле 'утверждаемый' является протяженным предикатом и имеет такую же семантическую форму, как, например, 'почтенный'; утверждаемое предложение – то, которое может быть обоснованно утверждено, так же, как почтенный человек – это тот, кто может быть обоснованно, заслуженно почтен, а нее просто тот, кому можно оказать почести, потому что их можно оказать, вообще говоря, кому угодно. Но в этом смысле 'утверждаемого' знаменитое кембриджское выражение 'обоснованная утверждаемость' является избыточным, поскольку пытается обойти тот факт, что утверждение может быть обоснованно утверждено только тогда, когда оно обосновано как обладающее некоторым значением, а в рамках концепции значения как условий истинности последнее связано с истиной. Таким образом, этим маневром циркулярность откладывается только на шаг. То же самое относится к отождествлению 'истинный' с 'обоснованный в пределах системы' или 'обоснованный в пределах концептуальной схемы', поскольку это вновь повлечет за собой вопрос "Обоснованный как что в пределах системы?" А согласно этому представлению, 's истинно' (или 's истинно в пределах системы') будет циркулярно объяснено как означающее 's обосновано как истинное в пределах системы', или же приравнено к 's обосновано как обоснованное в пределах системы в пределах системы'.
