Допущение о том, что введение (3) будет позволять нам выводить (d), требует обоснования важного предположения, задействованного в приведенном выше рассуждении. А именно, приписывает ли теорема (3) агенту больше семантических знаний, чем (1)? Ведь утвердительный ответ на этот вопрос в категориях корреспондентной теории истины означал бы, по сути, отказ от представления об аксиомах и теоремах T-теории как о предложениях, изоморфных аксиомам и теоремам любой другой науки.
В самом деле, при рассмотрении предложений других наук (научных языков) способ представления классификаций (законов) не имеет для нас важности в том смысле, что мы не выводим, например, свойства атомов из названий элементов. Убеждение в том, что свойства атомов элемента не изменятся при переименовании элемента, как не меняются они при склонении и других изменениях названия элемента в процессе речи, характеризует позитивное научное знание в его наиболее существенных основаниях. И если мы пытаемся строить семантическую теорию на таких основаниях, то она не должна быть чувствительна к имени, которое мы даем семантическому значению, подобно тому, как экономические законы не чувствительны к разновидностям валют, а геологические - к названиям минералов и именам горных хребтов. Поскольку, далее, теория представляет собой разработанную структуру с большим числом следствий, постольку эти следствия должны включать как можно больше явлений. В традиционной теории истины к явлениям относится событие, фиксируемое Т-предложением; тогда, если теория истины строится по подобию научной теории, Т-предложения должны быть доказуемы.
В рамках условно-истинностной концепции значения может предполагаться, что T-теории трактуются "дефляционным" способом - так, чтобы они не отсылали к объекту (предмету) или состоянию дел30. Теория истины, которая приписывает возможные состояния дел или факты указательным предложениям, назначает одни и те же истинностные условия предложениям "Цицерон лыс" и "Tуллий лыс". Тем не менее условно-истинностные теории значения вовсе не обязательно должны иметь такую форму: стандартная теория Дэвидсона отклоняет реификацию истинностных условий31. Отсутствие отсылки к вещам не мешает таким условиям выполнять свою функцию - сертифицировать истинность предложений.
Но и так называемые дефляционные теории не преодолевают основной трудности на пути отображения значения. Фундаментальная проблема здесь состоит в следующем: при использовании языкового выражения (например, русского языка) с правой стороны T-предложения то, что утверждается с правой стороны, не может быть ни больше ни меньше, чем то, что утверждается этим языковым выражением. Вопрос тогда может быть поставлен так: о разных ли вещах идет речь в предложениях "Цицерон лыс" и "Tуллий лыс"? Поэтому эта проблема свойственна не исключительно определенным видам T-теорий, в которых полагается, что правая сторона T-предложений отсылает к определенному состоянию дел; скорее она вытекает из того факта, что для установления истинностных условий используется некоторый язык, и, поэтому T-теория может отображать не более, чем то, что сообщается выражением этого языка, используемым для установления истинностных условий.
