что как имя собственное, «Валенсия» будет иметь референцию к той вещи, которой является Валенсия,

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

Это – следствие того, что такая семантика может быть рассмотрена как не различающая знание референции слова со знанием того, что у этого слова вообще есть референция. Основа претензий здесь состоит в различении между знанием истинности предложения и знанием пропозиции, выраженной предложением. Знание истинности предложения требует знания пропозиции, которая нашла бы выражение в этом истинном предложении, однако это не одно и то же. Знание истинности предложения и знание пропозиции, которая находит выражение в этом истинном предложении, в совокупности дают достаточно понимания, чтобы различить, какую именно пропозицию мы знаем. Этот факт понимания не объясняется в концепции значения как условий истинности, так как она еще не дает нам объяснение того, что требуется, чтобы знать пропозицию, выраженную предложением. В любом случае сторонник концепции значения как условий истинности должен признать, что имеется нечто связанное с именем, что субъект должен схватить, если он хочет поддержать различие между знанием истинности предложения и знанием пропозиции, выраженной этим предложением. Если же это различие не поддерживается, то концепция значения как условий истинности уязвима к обвинению в смешении знания референции имени со знанием того, что имя вообще имеет референцию.

Можно утверждать, что эти аргументы методологически основаны на отклонении Даммитом тезиса Витгенштейна о том, что философия языка – это не общая теория значения, а исследование того, как язык используется в специфических языковых играх. Иными словами, Даммит фактически пересматривает концепцию «значение как употребление». Свой критический анализ этого положения Витгенштейна он базирует на фрегеанского типа различии между «силой» (force) и «смыслом» (sense). Даммит признает, что в различных языковых играх одно и то же лингвистическое выражение может иметь различную силу, например в приказе в отличие от утверждения. Однако выражение «Закрыть окно!», используемое как императив, все же имеет тот же самый смысл, что и в составе выражения «Я забыл закрыть окно», будь то извинение, оправдание, напоминание или что бы то ни было еще. Иначе, по мнению Даммита, мы никогда не смогли бы выучить язык. Хотя Витгенштейн был безусловно прав, утверждая (в противовес Фреге), что язык является социальным и коммуникативным феноменом, а не только выражением мысли – т.е. был прав, связывая значение выражения с его использованием, но отсюда вовсе не следует, что каждое нумерическое или типологическое различие в использовании влечет за собой полное различие в значении.

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

В итоге, согласно Даммиту, концепция значения как условий истинности неприемлема, поскольку она не приводит к удовлетворительному объяснению феномена понимания языка; любая теория значения, которая не является теорией понимания или не дает ее в итоге, не удовлетворяет той философской цели, для которой нам требуется теория значения – а следовательно, теория значения должна включать, помимо стержневой теории референции, еще некоторую теорию иллокуции – т.е. теорию смысла и теорию силы. Адекватная теория значения – это теория того, что знает человек, когда он знает язык. Таким образом, концепция «значение как употребление» удовлетворяет такой теории только в том случае, если мы рассматриваем неявное или явное знание значения выражения как знание о его употреблении. С такой точки зрения, концепцияя значения как условий истинности не может дать полноценную теорию значения, поскольку исходит из предположения, что мы уже понимаем некоторые основные концепты, на которых основано значение других понятий. Это ведет к известному возражению концепции значения как условий истинности, согласно которому значение предложения состоит в его переводимости в некоторое другое предложение – а именно, что мы можем знать, что одно предложение правильно переводится как другое без того, чтобы знать, что это предложение означает (аргумент «китайской комнаты» Серля). Точно так же знание того, что значение предложения является функцией значений некоторых базовых лингвистических выражений, дает нам собственно значение этого предложения только в том случае, если мы уже понимаем эти основные выражения. Полноценная же теория значения должна дать теорию понимания любого выражения, базового или деривационного.

Здесь целесообразно привлечь различение между носителями истинности (truth-bearers) и истинностными факторами (truth-makers), согласно которому, если утверждение является истинным, то должно иметься нечто, в силу чего оно истинно. Так, утверждения наблюдения могут быть истинны просто в силу того, что мы непосредственно воспринимаем, что это – именно так, а не иначе. Но с контрфактуалами и другими классами предложений, перечисленных выше, это не срабатывает. Известны попытки преобразовать их в предложения квази-наблюдения (программа логического позитивизма), однако это явно паллиативная мера, и для большинства контрфактуалов это принципиально невозможно. Выход здесь может состоять в том, чтобы отказаться от представления о том, что предложение должно быть либо истинно, либо ложно независимо от того, что мы можем или не можем знать, даже если у нас нет никакого возможного способа проверки – подобно тому, как математический интуиционизм отверг предположение, что математическая пропозиция должна быть или истинна, или ложна даже тогда, когда у нас нет никакого способа доказать ее истинность или ложность ее отрицания. Для интуициониста правильное утверждение математической пропозиции состоит в истинном требовании, что ее доказательство либо существует, либо может быть создано, и понимание такой пропозиции состоит в способности распознать ее доказательство, когда оно будет предъявлено. При экстраполяции этого подхода на естественноязыковые контексты понятие доказательства может быть заменено на то или иное более широкое понятие – например, проверки. Мы можем говорить, что утверждение P должно быть или истинно, или ложно, что должно быть нечто, в силу чего оно или истинно, или ложно, только тогда, когда P – утверждение такого рода, что мы можем на протяжении некоторого конечного промежутка времени занять такую позицию, в которой утверждение или отрицание P было бы для нас обосновано. Так, в верификационистской семантике Даммита понятие правильности высказывания (correctness of assertion) получает более важную роль, чем истина и считается им – опять-таки, вслед за Витгенштейном или, по крайней мере, за одной из возможных его интерпретаций – более базовым и первичным понятием. Мы правильно высказываем утверждение, когда получаем нечто, в силу чего оно истинно или ложно, и неправильно высказываем утверждение, когда этого не происходит. И мы знаем значение предложения только тогда, когда мы знаем, каково это «нечто», которое могло бы считаться окончательным установлением правильности нашего утверждения.

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