Вопрос, возникающий в этой связи, таков: как мы можем знать, что некоторая дескрипция является истинной?
Согласно общепринятой дедуктивно-номологической модели объяснение предполагает описание некоторого исходного знания об исследуемом предмете и описание некоторого дополнительного знания более общего характера. С такой точки зрения, к последовательности подобных построений сводимы выводы, возникающие в реальном процессе познания. Объяснением того, почему истинно высказывание "Вода — это Н 2О", будет, например, указание на то, что это высказывание дедуктивно выводимо из высказываний "Вещества, молекула которых состоит из двух атомов водорода и одного атома кислорода, представляют собой Н 2О" и "Молекула воды состоит из двух атомов водорода и одного атома кислорода". Разумеется, возможны и другие пути вывода, но в любом случае эксплананс как совокупность утверждений, выражающих то или иное знание об исследуемой предметной области, и экспланандум как совокупность утверждений, выражающих некоторое исходное знание об исследуемом предмете, должны быть связаны отношением дедуктивной выводимости экспланандума из эксплананса.
Привлечение логических понятий и символических средств призвано устранить так называемый парадокс объяснения, который заключается в следующем: для того, чтобы объяснить, как произведено то или иное объяснение, нужно знать, в чем заключается общий механизм объяснения, т. е. заранее знать то, что неизвестно и еще только рассматривается в качестве предмета объяснения. В дедуктивно-номологической модели парадокс оказывается снятым, однако оценка истинности высказывания фактически сводится к проверке соответствия этого высказывания некоторому (полагаемому данным) множеству истинных высказываний; оцениваемая таким способом истинность не может не быть аналитической, что в данном случае означает — конвенциональной. Здесь нет еще оснований считать полученное таким образом знание о мире истинным в смысле, скажем, прямого соответствия миру. Центральным вопросом, таким образом, здесь оказывается выбор базовых примитивов, или элементарных терминов ( primitive terms ) — "семантических атомов", из которых строится объяснение. Предполагаемая непроизвольность такого выбора может быть постулирована как положение о том, что по крайней мере элементарные термины языковой системы должны функционировать как термины естественных видов ( c м § 11.4.1.)
Предлагаемые решения могут оперировать определением истинности выражения как истинности относительно некоторой концептуальной структуры. В частности, относительность истины представляется важной предпосылкой, если мы пытаемся говорить о конвенциональности значения, удерживая при этом представления о связи значения языкового предложения с условиями его истинности. С другой стороны, такие модификации могут помочь вывести концепцию значения как условий истинности из-под удара содержательной критики, которой она была подвергнута, например, М. Даммитом. Как мы, возможно, еще помним, согласно Даммиту, концепция значения как условий истинности неприемлема, поскольку она не приводит к удовлетворительному объяснению феномена понимания языка; любая теория значения, которая не является теорией понимания или не дает ее в итоге, не удовлетворяет той философской цели, для которой нам требуется теория значения — а следовательно, теория значения должна включать, помимо теории референции, еще некоторую теорию иллокуции.
Оставаясь в пределах корреспондентных представлений об истинности, мы должны будем рассуждать примерно так: отношение между знаками – например, повествовательными предложениями изъявительного наклонения объектного языка — и трансцендентной описанию реальностью есть отношение дескриптивности. При этом по отношению к описываемой реальности как таковой, как к имеющемуся в наличии в качестве реальности трансцендентному референту, отношение между предложениями и тем, что они описывают, может задаваться в конкретной ситуации по крайней мере двумя способами:
как дескрипция исходной данности и
как конструкция, т.е. расширенная по отношению к первично репрезентированному материалу дескрипция более высокого уровня репрезентации.
В контексте понимания репрезентации как отношения описания к некоторой реальности (М. Вартофский) такая расширенная дескрипция предстает описанием некоторой иной, новой по отношению к первично репрезентированной, реальности. Конструктивное отношение характеризуется привнесением новых элементов, чей референциальный статус может быть не прояснен, т.е. эти референции могут не отсылать к изначально наличной реальности так, как к ней отсылают референции, устанавливаемые в первичной дескрипции. Тогда мы должны будем признать, что попытка расширения дескрипции, т.е. построения объяснения, означала бы, в определенном смысле, удвоение референта.
В самом деле, если мы имеем дело с системой обозначений, в которой взаимосвязаны как дескриптивные, так и конструктивные отношения к реальности — а эта реальность полагается в пределе общей для дескриптивного выражения в данной системе предложений — то перед нами встает вопрос: как эта внутренняя взаимосвязность достигается и сохраняется в контексте различного характера соотнесения с реальностью внутри данной системы предложений? По существу мы описываем внутри этой системы две реальности, принимаемые теоретически за одну. Следует признать, что попытка онтологического обоснования такого вывода явилась бы весьма дискуссионной.
Итак, мы рассмотрели традиционные представления о критериях перехода от описания к объяснению как основанные на репрезентационистском подходе к анализу языковых значений и показали связанные с этим проблемы, возникающие при использовании корреспондентной концепции истины. Альтернатива, к которой мы подошли в ходе этого рассмотрения, такова: представления об условиях истинности языковых выражений могут быть развиты в терминах когерентной концепции истины.
Согласно последней, мера истинности высказывания определяется его ролью и местом в некоторой концептуальной системе. Чем более связаны, или согласованы между собой наши идеи, тем в большей степени они истинны. Истинность любого истинного предложения состоит в его когерентности с некоторым определенным множеством предложений.
В то же время теоретики корреспонденции позволяют себе не озадачиваться этим видом вопросов, рассматривая корреспонденцию как отношение sui generis . "Помимо риторики высмеивания, существуют ли действительно принципиальные возражения против того, что общезначимая концепция корреспонденции нередуцируема, не подлежит анализу?"[8]. В таком случае уместно задать вопрос, почему тогда когерентность не может быть отношением sui generis так же, как корреспонденция?
Поскольку любой концептуальный анализ должен иметь основу, то следует принять наличие концептуальных "атомов", из которых сформированы все другие концепции и которые сами не могут быть проанализированы. Но так как любая система имеет структуру, мы можем сказать то же самое и относительно отношений между ними. (Поэтому, вероятно, может быть обоснован и более сильный тезис: если мы признаем корреспонденцию отношением sui generis , то мы тем самым с необходимостью признаем таким же отношением когерентность.)
Основание, если не наиболее существенное, по которому может быть оспорена как сама концепция когерентности истинности, так и ее связь с когерентной теорией обоснования, таково: даже если допустить, что определение когерентности с множеством полаганий является верификационной процедурой для определения истинности, то сама истина при этом могла бы тем не менее состоять не в чем ином, как в соответствии объективным фактам. Но этот контраргумент встречает следующее возражение: если истина заключается в соответствии объективным фактам, то когерентность с множеством полаганий никак не может быть критерием истинности, поскольку не может существовать никакой гарантии того, что сколь угодно непротиворечивое множество полаганий соответствует объективной действительности.
Поэтому, удерживая связь когерентной концепции истины с когерентной теорией обоснования знания, мы можем по-новому взглянуть на классический эпистемологический аргумент в пользу когерентной концепции истины, основанный на (свойственном, в частности, конструктивизму) представлении о том, что мы не можем "выйти вовне" нашего множества полаганий и сравнивать суждения с объективными фактами. Этот аргумент может быть рассмотрен как вытекающий из когерентной теории обоснования знания. Исходя из такой теории, аргумент заключает о том, что мы можем знать только единичные факты когерентности или отсутствия когерентности определенного предложения с определенным множеством предложений, выражающих определенные полагания. Мы никаким образом не находимся и не можем оказаться в такой эпистемологической позиции, откуда мы могли бы заключать о том, соответствует ли то или иное предложение действительности.
Контраргумент здесь будет заключаться в том, что такой аргумент может быть рассмотрен как содержащий некорректную импликацию. Из того факта, что мы не можем знать, соответствует ли некоторое предложение действительности, мы еще не можем вывести, что оно не соответствует действительности. Даже если некто признает, что мы можем знать лишь то, когерентны ли определенные предложения с нашими полаганиями, это само по себе еще не дает ему основания считать, что истина не состоит в соответствии объективным фактам. Если сторонники корреспондентной концепции истины принимают эту позицию, то они тем самым могут признавать, что существуют истины, которые не могут быть нам известны — например, что существует некоторая абсолютная истина, к которой мы можем лишь приближаться путем уточнения известных нам относительных истин. Или же сторонники корреспондентной концепции истины могут утверждать, как это делает Дэвидсон, что когерентность предложения с множеством полаганий является хорошим признаком того, что предложение действительно соответствует объективным фактам и что эти факты соответствия доступны нашему знанию [9] .