похожее на то, которое существует между дорожкой на граммофонной пластинке и звуком, который ей соответствует — что-то вроде проективного отношения между фактами и высказываниями. Незащитимость этой позиции показать нетрудно. Вспоминается знаменитая история про Ливингстона, которого переводчик представил негритянскому королю. Ливингстон спросил короля: «Как Вы поживаете?». Негритянский король ответил одним словом. Переводчик начал говорить, и говорил, и говорил, и говорил, и говорил минут десять, переводя это слово Ливингстону в виде длиннейшего рассказа о королевских горестях. Тогда Ливингстон спросил, не нужна ли королю медицинская помощь, и король стал говорить, и говорить, и говорить. А переводчик перевел это одним словом: «Нет».
Несомненно, эта история выдумана. Но она хорошо выдумана; и она иллюстрирует слабость проективной теории языка, особенно если рассматривать ее как теорию соответствия между высказыванием и фактом.
Но это не все. Дело обстоит еще серьезнее: Витгенштейн, сформулировав свою теорию, заявил, что невозможно обсуждать отношение языка к реальности или вообще обсуждать язык. (Потому что язык нельзя обсуждать с помощью языка). Это область, в которой слова нам изменяют. «Это показывает себя» — излюбленное выражение Витгегнштейна для указания на бессилие слов. Любая попытка углубиться в отношение между языком и реальностью или более глубоко обсудить язык или высказывания, соответственно, обречена быть бессмысленной. И хотя в «Предисловии» к своей книге он и говорит, что «истинность изложенных здесь мыслей кажется мне неопровержимой и окончательной», кончает он ее словами: «Тот, кто меня понял, в конце концов уясняет их [высказываний „Трактата'] бессмысленность». (Поскольку разговоры о языке бессмысленны). Несомненно, это относится, помимо прочих вещей, в особенности к его теории проекции. Его замечание, что читатели увидят бессмысленность того, что он говорит, подтверждает, таким образом, то, что противники теории соответствия всегда о ней говорили, а именно — что бессмысленно говорить о соответствии между высказыванием и фактом.
Итак, мы вернулись обратно к сути дела. А она состоит в следующем: существует или не существует теория соответствия, которую можно защитить? Можем мы или не можем осмысленно говорить о соответствии между высказыванием и фактом?
Так вот, я утверждаю, что Тарский реабилитировал теорию соответствия. Это, я думаю, великое достижение, и это великое философское достижение. Я говорю это потому, что многие философы (например, Макс Блэк) отрицают, что в этом достижении Тарского есть что-то философски значимое.
Ключом к реабилитации теории соответствия служит очень простое и очевидное наблюдение Тарского, а именно: если я хочу говорить о соответствии между высказыванием S и фактом F, то я должен делать это на языке, на котором я могу говорить и о том, и о другом — и о высказываниях, таких как S, и о фактах, таких как F. Это кажется ужасно тривиальным, но тем не менее это имеет решающее значение. Это означает, что язык, на котором мы говорим, объясняя соответствие, должен иметь средства, нужные как для того, чтобы ссылаться на высказывания, так и для того, чтобы описывать факты. Если у меня есть язык, располагающий средствами обоих этих типов, так что он может и ссылаться на высказывания, и описывать факты, то есть метаязык, то я могу без всяких затруднений говорить о соответствии между высказываниями и фактами, как мы это вскоре увидим.
Метаязык — это язык, на котором мы можем говорить о некотором другом языке. Например, грамматика немецкого языка, написанная по-английски, использует английский как метаязык, чтобы говорить о немецком языке. Язык, о котором мы говорим на метаязыке (в данном случае на английском{52}), обычно называют «языком- объектом» (в данном случае это немецкий). Для метаязыка характерно, что он содержит (метаязыковые) имена слов и высказываний языка-объекта, а также (мета- языковые) предикаты, такие как «существительное (языка-объекта)» или «глагол (языка-объекта)» или «высказывание (statement) (языка-объекта»). Чтобы метаязык был достаточен для наших целей, он должен также, как указывает Тарский, содержать обычные средства, необходимые для того, чтобы говорить по крайней мере обо всех тех фактах, о которых можно говорить на языке-объекте.
Все это имеет место, когда мы используем английский как наш метаязык, чтобы говорить о немецком (как о рассматриваемом языке-объекте).
Например, мы должны иметь возможность говорить на английском метаязыке такие веши, как:
Немецкие слова 'Das Gras ist grun' образуют высказывание на немецком языке.
Вместе с тем мы должны иметь возможность описать на нашем (английском) метаязыке тот факт, который описывается немецким высказыванием 'Das Gras ist grun'. Мы можем описать этот факт на английском, просто сказав, что трава зеленая.
Теперь мы можем построить на метаязыке высказывание о соответствии некоторого высказывания языка-объекта фактам следующим образом. Мы можем высказать утверждение: Немецкое высказывание 'Das Gras ist grun' соответствует фактам, если и только если трава зеленая. (Или: «...если и только если является фактом, что трава зеленая»).
Это очень тривиально. Важно, однако, понять следующее: в нашем утверждении слова 'Das Gras ist grun', взятые в кавычки, выступают как метаязыковое (т. е. английское) имя немецкого высказывания. Со своей стороны, английские слова «трава зеленая» входят в наше приведенное выше утверждение без всяких кавычек: они представляют собой не имя высказывания, а просто описание факта (или предполагаемого факта).
Это дает возможность нашему утверждению выражать отношение между (немецким) высказыванием и фактом. (Факт не является ни немецким, ни английским, хотя, конечно, мы описываем его или говорим о нем на нашем метаязыке, то есть на английском: факт не лингвистичен, это факт реального мира, хотя, конечно, нам понадобится метаязык, если мы захотим говорить об этом факте). А в нашем метаязыковом утверждении утверждается, что определенное (немецкое) высказывание соответствует определенному факту (неязыковому факту, факту реального мира) при точно сформулированных условиях.
Мы можем, конечно, заменить немецкий язык-объект любым другим — даже английским. Так, мы можем высказать следующее метаязы-ковое утверждение:
Английское высказывание «Трава зеленая» соответствует фактам, если и только если трава зеленая.
Оно кажется еще более тривиальным. Но вряд ли его можно отрицать, как нельзя отрицать и то, что в нем выражены условия, при которых высказывание соответствует фактам.
Говоря в общем виде, пусть 'S' будет (метаязыковым) именем некоторого высказывания языка-объекта, и пусть 'f' будет аббревиатурой некоторого выражения метаязыка, описывающего (предполагаемый) факт F, который описывается высказыванием S. Тогда мы можем высказать следующее метаязыковое утверждение:
Высказывание S языка-объекта соответствует фактам, если и только если f. (Или: ...если является фактом, что f).
Заметим, что в то время как 'S' здесь — метаязыковое имя некоторого высказывания, — не имя, а аббревиатура некоторого выражения метаязыка, описывающего определенный факт (тот факт, который мы можем назвать 'F').
Теперь мы можем сказать, что же именно сделал Тарский. Он открыл, что для того, чтобы говорить о соответствии между высказыванием S и фактом F, нам нужен язык (метаязык), на котором мы можем говорить о высказывании S и высказывать факт F. (О первом мы говорим, используя имя 'S', о втором — используя метаязыковое
