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

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

Предположим, однако, что мы откажемся от понятия неявного семантического знания и используем обычное отношение "А знает, что b" для характеристики семантической компетенции агента. Это позволяет утверждать, что теорема (3) выражает нечто отличное от (1). Но поскольку неискушенный в семантике агент может произвольно интерпретировать фактически любое выражение, содержащее семантическую терминологию, то запрет на неявное знание исключит из теории даже выражения вида "x указывает на y" или "x удовлетворяет P".

Поэтому семантические теории знаний агента о значении могут быть разделены следующим образом:

а) Теории, использующие обычное отношение "А знает, что b", будут допускать, что теорема (3) выражает нечто иное, чем теорема (1), но они будут неадекватны для обеспечения дифференцированных (пригодных для описания естественного языка) семантических теорий.

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

Следовательно, такая теория, которая отображала бы значение выражения, должна состоять:

а) из теорем T-теории;

б) из теории выражений, используемых в T-теоремах.

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

Постоянство указания, таким образом, обеспечивается с помощью некоторой его интерпретации. Инвариантность интерпретации сквозь все возможные индивидные события употребления и представляет стабильность языкового знака как конвенциональность, регулирующую здесь способы представления истинностных условий. Различные способы представления истинностных условий, разработанные с целью обеспечить постоянство указания в рамках расширенных теорий референции К. Доннеланом, С. Крипке, Х. Патнэмом, М. Девиттом, Г. Эвансом, Р. Бойдом и другими, нашли отражение в дискуссиях по теории идентифицирующих дескрипций и теории терминов естественных родов.

Способы представления истинностных условий, призванные прояснить использование понятия конвенции для объяснения значений естественных языков, могут (и, вероятно, должны) предполагать рассмотрение системы языка в ее развитии, что означает применительно к семантической системе учет динамики значений. Следовательно, использование понятия конвенции должно опираться на генетический анализ значений - которые именно в силу этого могут быть описаны конвенционально.