М Лебедев - Стабильность значения

Адекватная T-теория для агента A будет содержать теоремы (1) - (2), но не теоремы (3) - (4).

(1) "Цицерон лыс" - истинно ТТТ Цицерон лыс

(2) "Tуллий лыс" - истинно ТТТ Tуллий лыс

(3) "Цицерон лыс" - истинно ТТТ Tуллий лыс

(4) "Tуллий лыс" - истинно ТТТ Цицерон лыс

Если агент A полагает, что Цицерон лыс, но не что Tуллий лыс, то T-теория, порождающая теорему (3), будет неправильно характеризовать семантическую компетенцию А. Опасность введения (3) в семантическую теорию для А состоит в том, что это ведет к неправильной атрибуции суждения в следующем виде:

(a) А полагает: "Цицерон лыс";

(b) А полагает, что "Цицерон лыс" - истинно (из (a) и допущения о рациональности А);

(с) А полагает, что "Цицерон лыс" истинно ТТТ, когда 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) будут в таком контексте выражать различные вещи.

Трудность здесь состоит в том, что поскольку среды, вызываемые обычным использованием контекстов вида "знает, что", непрозрачны - и, следовательно, случаи (1) и (3) могут различаться, - то отношение "А знает, что b", используемое в семантической теории, не является отношением, обозначаемым этим выражением повседневного языка, но скорее техническим отношением в абстрактной логико-ориентированной теории значения. Оно отличается от обычного отношения "А знает, что b" прежде всего тем, что учитывает "неявное знание" - знание, которое агент может не сознавать или не признавать. Не будучи семантиком, агент без сомнения не будет эксплицитно признавать (осознавать) большинство аксиом и теорем семантической теории, однако, согласно такой теории, агент все же будет соблюдать - и, таким образом, "знать" эти аксиомы и теоремы. Интенсиональные обороты, выражающие такое отношение, были подвергнуты Дэвидсоном запрету для языка теории значения (например, следующего вида: "Интерпретатор языка L знает, что в данной теории утверждается, что...")32. Тем не менее нельзя отрицать, что при наличии таких радикально различающихся типов отношений, имеющих одинаковую форму "А знает, что b", интуиции относительно того, что выражается в обычной среде, неприменимы к теории значения. Невозможно представить, что в среде, вызываемой техническим отношением, теорема (3) выражает что-либо отличное от (1). В частности, можно сказать, что агент, неявно знающий (1), должен таким образом неявно знать (3). Знания (1) и (3) выступают для агента способами знания друг о друге.