Очевидно, что такая теория более высокого порядка не является собственно T-теорией: это – T-теория, объединенная с теорией, обеспечивающей способ, которым субъект представляет истинностные условия предложения, т.е. теорией, демонстрирующей (хотя и не отображающей непосредственно) значения выражений объектного языка.

Таким образом, к семантике Дэвидсона оказываются применимы аргументы IF-семантики Хинтикки против семантической теории истины: условие-истинностная семантика – это двухплоскостная семантика, использующая метаязык для описания значений объектного языка. Концепция значения как условий истинности основана на репрезентационистском подходе к анализу языковых значений: согласно подобным представлениям, мы имеем дело с языковыми выражениями таким образом, что они указывают нам на определенные положения дел, события, факты, ситуации, принадлежащие к реальности, отличной от реальности самих предложений и систем предложений. Проблема того, как применять концепцию истины Тарского к естественному языку, оказывается зависимой от обеспечения анализа основной логической формы выражений естественного языка, который представляет их таким способом, что они подпадают под возможности полностью экстенсионального подхода, употребляющего только ресурсы квантификационной логики первого порядка. Это связано, соответственно, с двумя особенностями концепции истины Тарского: она определяет истину

на основе логических ресурсов, доступных в пределах квантификационной логики первого порядка;

экстенсионально, то есть в терминах предметов, которые выполняют выражениям —другими словами, в терминах предметов, которые подпадают под эти выражения, а не в терминах смыслов, описаний или других интенсиональных объектов.

Оба эти свойства представляют важные преимущества для подхода Дэвидсона, поскольку его отрицание существенной роли детерминированных значений в теории значения уже влечет обязательство к экстенсиональному подходу к языку. Однако эти же признаки и создают дополнительные проблемы. Дэвидсон стремится применить модель Тарского как основание теории значения для естественных языков, но такие языки гораздо богаче, чем четкие формальные системы, для которых Тарский первоначально развивал свой подход. В частности, естественные языки содержат элементы, которые требуют ресурсов вне пределов логики первого порядка или какого бы то ни было экстенсионального анализа: это косвенная речь, наречные выражения, не-указательные предложения типа императивов и т.д.

Более же общая проблема, как мы видели, здесь состоит в следующем. В то время как Тарский использует понятие сходства значения (через понятие перевода) как средство обеспечить определение истины – одно из требований Конвенции T состоит в том, что предложение с правой стороны T-предложения должно быть переводом предложения слева, – Дэвидсон стремится использовать истину, чтобы дать теорию значения. Но в таком случае он нуждается в некотором другом способе ограничить формирование T-предложений, чтобы гарантировать, что они действительно правильно определяют то, что означают предложения. Это – проблема того, как мы можем исключить T-предложения формы «„Schnee ist weiss“ истинно, если и только если трава зелена». Так как бикондиционал «если и только если» гарантирует только то, что предложение слева будет иметь то же истинностное значение, что и предложение справа, он позволит нам делать любую замену предложений справа лишь постольку, поскольку их истинностное значение идентично таковому слева. Решение этой проблемы предполагается холистическим: T-предложения должны рассматриваться как теоремы, произведенные в соответствии с теорией значения, которая была бы адекватна языку, рассматриваемому в целом. Но поскольку значение определенных выражений не будет независимо от значения других выражений (в силу обязательства к композициональности значения всех предложений должны быть даны на одном и том же конечном основании), то теория, которая дает проблематичные результаты относительно одного выражения, вероятно, даст проблематичные результаты и относительно других, и, в частности, также даст результаты, которые не выполняют требования Конвенции T.

Эта проблема также может быть рассмотрена как связанная и с другим важным различием между теорией истины Тарского и теорией значения Дэвидсона: теория значения для естественного языка должна быть эмпирической теорией – это теория, которая должна объяснять действительное языковое поведение, реальное использование языка людьми, а также она должна поддаваться проверке опытным путем. Удовлетворение требования, чтобы теория значения была адекватной как эмпирическая теория, и чтобы она была адекватна действительному поведению говорящих на этом языке, повлечет за собой также более сильные ограничения (если таковые необходимы) на формирование T-предложений.

Исследователи, стоящие на позициях эпистемической (верификационистской, инструменталистской) семантики, сами не употребляют этого названия. Однако речь идет о семантике, которая выделяет эпистемические элементы в составе теории значения. В естественном языке наличествуют семантически релевантные эпистемические элементы, не зависящие от обычных сфер действия пропозициональных операторов: традиционная неоднозначность, связанная со сферами действия операторов, не помогает нам найти правильную интерпретацию. Поэтому основное требование верификационистской семантики состоит в том, что мы должны включить в нашу теорию значения объяснение тех оснований, по которым мы судим об истинностных значениях наших предложений, поскольку это действительно объясняет значения выражений с учетом реальных человеческих способностей распознания истины.

Однако, то общее, что заключается в позициях таких аналитических философов языка, как Майкл Даммит404 или Гектор-Нери Кастаньеда405, состоит именно в том, что они особо выделяют эпистемические элементы в составе теории значения.

Мы уже обращались к семантике Даммита при рассмотрении его возражений против холизма; уточним, далее, ее ключевые моменты по вопросу связи истины и значения.

Даммит ставит исходные вопросы следующим образом406:

Зависит ли значение предложения от условий его истинности? Заключается ли значение слова в том вкладе, который оно вносит в детерминацию условий истинности содержащих его предложений?

Нет необходимости доказывать, что утвердительный ответ на эти вопросы выражает наиболее популярный до сих пор подход к истолкованию этого понятия, что его придерживаются те философы, которые не склонны к полному отказу от понятия значения, и что в явном виде он был выражен Фреге, Витгенштейном в его «Трактате» и Дэвидсоном. Я далеко не уверен, что этот утвердительный ответ ошибочен. Однако мне представляется совершенно несомненным, что такой ответ сталкивается с громадными трудностями, и мы не вправе давать его до тех пор, пока не покажем, как можно справиться с этими трудностями. На мой взгляд, далеко не ясно, почему мы обязаны или можем использовать в этой связи в теории значения понятие истины (или два понятия: истина и ложь) в качестве базисного: необходимо исследование, чтобы показать, что понятия истины и значения связаны так, как считал Фреге.

Так, в частности, стандартная семантика Дэвидсона, основываемая им на Тарском и возводимая Даммитом к Фреге, сталкивается с проблемами подгонки к естественному языку тех технических средств, которые были созданы Фреге и Тарским для формализованных языков. И напротив, альтернативные (неаналитические par excellence) теории значения, центральным понятием которых не является понятие истины, не вызывают принципиальных возражений.

Даммит считает, что идею о том, что значение предложения заключается в его условиях истинности, необычайно трудно выразить последовательным образом. По его мнению, философские вопросы о значении лучше интерпретировать как вопросы о понимании: утверждение о том, в чем состоит значение некоторого выражения, следует формулировать в виде тезиса о том, что значит знать его значение. Такой тезис будет примерно следующим: знать значение некоторого предложения – значит знать условия, при которых предложение истинно, однако остается неясным само понятие условий истинности. Что значит знать условия истинности предложения? Здесь вновь возникает фрегеанский принцип композициональности: ведь знание условий истинности некоторого предложения, образующее его понимание, выводимо из понимания слов, из которых составлено предложение, и способа их соединения. Отсюда следующая переформулировка проблемы Даммитом: что знает говорящий, когда он знает некоторый язык, и что тем самым он знает о любом данном предложении этого языка?