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

Конвенции здесь не создают и не отменяют фактические утверждения о том, что является возможным (или сами фактические возможности): конвенция членов языкового сообщества может выражаться лишь в выборе одного языкового выражения скорее, чем другого, для высказывания истины на основании фактов относительно возможных миров. Можно сказать, что "женатых холостяков" или "круглых квадратов" не существует в силу конвенции, но это будет означать, что в соответствии с соглашением не может существовать языковое выражение "женатый холостяк" или "круглый квадрат", а не что невозможно быть одновременно женатым и холостым или круглым и квадратным в соответствии c соглашением. Последняя невозможность не может быть конвенциональна.

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

Вместе с тем привлечение технического аппарата возможных миров несколько усиливает модальность ситуации: в каком отношении вообще можно говорить о конвенциональности там, где истинность выражения устанавливается с необходимостью?

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

Одна из причин смешения необходимой и априорной истинности состоит в том, что, начиная с Лейбница, необходимое принято объяснять как нечто истинное во всех возможных мирах. С такой точки зрения, умозрительно рассматривая все возможные миры, мы должны быть способны видеть, необходимо ли истинно суждение, и знать это а priori. Однако можно было бы предположить, наоборот, что если нечто известно а priori, это должно быть необходимо истинно, потому что, будучи истинным а priori, это было известно без обращения к фактическому миру. Если бы истина зависела от некоторой контингентной особенности мира, то это не могло бы быть известно без обращения к миру; фактический мир мог бы быть одним из миров, в которых проверяемое суждение было бы ложно. Это, однако, предполагает, что любой способ знания о фактическом мире без обращения к миру является способом знания обо всех возможных мирах. Если мы теперь раскроем термин "аналитически истинный" в его обычном понимании, как "истинный в силу (своего) значения", то с такой точки зрения оказывается, что все аналитические истины необходимо истинны, но не наоборот. В этом отношении модель Льюиса также рассматривает аналитичность как нередуцируемый признак и не выходит из круга критики Куайна.

Если сам способ отсылки к миру не является конвенциональным, то как мы можем уйти от жесткого логического детерминизма в трактовке значений? Но, с другой стороны, как может быть конвенциональна сама референция?

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

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

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

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

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