Стабильность значения

(с) А полагает, что "Цицерон лыс" истинно ТТТ, когда Tуллий лыс (посредством гипотезы);

(d) А полагает: "Tуллий лыс" (из (b), (с), и предположения о замкнутости выражения)29.

Шаг (с) основан на предположении о том, что А фактически принимает за истину теоремы T-теории. Это предположение исходит из того, что А, не обладая специальными семантическими познаниями, имеет тем не менее некоторые убеждения (по крайней мере, делает заключения) относительно теорем T-теории определенного вида. Поскольку нельзя сказать, что А (не семантик) обладает отчетливым (осознающим себя) знанием относительно таких вопросов, то отсюда следует, что А должен обладать некоторым неявным знанием о (3).

Допущение о том, что введение (3) будет позволять нам выводить (d), требует обоснования важного предположения, задействованного в приведенном выше рассуждении. А именно, приписывает ли теорема (3) агенту больше семантических знаний, чем (1)? Ведь утвердительный ответ на этот вопрос в категориях корреспондентной теории истины означал бы, по сути, отказ от представления об аксиомах и теоремах T-теории как о предложениях, изоморфных аксиомам и теоремам любой другой науки.

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

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

Но и так называемые дефляционные теории не преодолевают основной трудности на пути отображения значения. Фундаментальная проблема здесь состоит в следующем: при использовании языкового выражения (например, русского языка) с правой стороны T-предложения то, что утверждается с правой стороны, не может быть ни больше ни меньше, чем то, что утверждается этим языковым выражением. Вопрос тогда может быть поставлен так: о разных ли вещах идет речь в предложениях "Цицерон лыс" и "Tуллий лыс"? Поэтому эта проблема свойственна не исключительно определенным видам T-теорий, в которых полагается, что правая сторона T-предложений отсылает к определенному состоянию дел; скорее она вытекает из того факта, что для установления истинностных условий используется некоторый язык, и, поэтому T-теория может отображать не более, чем то, что сообщается выражением этого языка, используемым для установления истинностных условий.

Но в том случае, если теоремы T-теории являются частью языковых знаний говорящего, то способ, в котором это знание выражается, становится релевантным. В самом деле, если теоремы входят в языковую компетенцию агента, то они могут быть помыслены как встроенные в традиционный для рассмотрения в аналитической философии контекст вида "агент знает, что..." При том, что эти контекстные среды непрозрачны, использование теоремы (1) для характеристики семантических знаний агента может быть адекватным, но использование теоремы (3) - нет.

Поскольку эта среда непрозрачна, то теоремы (1) и (3) (и их непосредственно составляющие) не будут просто указывать на референты, но скорее будут содержать отсылку к интенсионалам. Так как интенсиональные значения (1) и (3) различны, то теоремы (1) и (3) будут в таком контексте выражать различные вещи.