2.2.2 ИДЕНТИФИКАЦИЯ В РЕФЕРЕНЦИАЛЬНО НЕПРОЗРАЧНЫХ КОНТЕКСТАХ

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

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

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

Предполагается, что способность T-теории отображать значения является наиболее важной при обсуждении вопроса о том, может ли T-теория служить теорией значения. Для построения теории значения на основе теории истины следует определить некоторые условия адекватности, которые теория истины должна рассматривать для того, чтобы функционировать как теория значения, пригодная для интерпретации выражений языка L28. В таком случае, если T-теория предназначена служить теорией значения, то она должна быть T-теорией такого вида, которая может отображать значения (смыслы). В противном случае следует отклонить условия адекватности.

Адекватная 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) - нет.