Сумма технологии - [72]

Представители логического эмпиризма, физикалисты, наконец бихевиористы, также всячески изгоняли беса-значение, подвергали его пыткам, вздергивали на дыбу, отсекали у него всякие общепринятые атрибуты, полагая, что вследствие такого обращения бес падет духом и перестанет подтачивать стройность их концепций; затем они провозглашали, чем, с их точки зрения, является «значение», и беспощадно «гильотинировали» все, что выпирало за рамки их условных и во спасенье созданных определений. И действительно, им удалось соорудить множество стрельчатых зданий, в которых проблема значения полностью отсутствует. Они обходят ее таким же благопристойным молчанием, каким «в обществе» прикрывают некоторые пикантные темы. Разумеется, это нужно понимать правильно. Как известно, в учебниках логики и логической семантики фигурируют Иван и Петр, которые время от времени произносят фразы вроде «Лондон – столица Англии» или «Идет снег». Об истинности или ложности этих фраз можно что-либо сказать лишь потому, что в логической семантике значение приобретает совсем не тот смысл, который оно имеет в обиходе, а нескольким особо одаренным ученым во главе с Тарским удалось создать такие метаязыки, а также и другие великолепные построения, кои позволяют теперь уже совершенно безбоязненно утверждать, что фраза «Идет снег» верна тогда и только тогда, когда идет снег.

Примерно так же «в обществе» говорят, что мистер Смит женится на мисс Браун, и все готовы широко обсуждать эту тему. При этом, однако же, полностью обходят одну из как-никак главных материально-физических сторон подобного происшествия – ведь никто «в обществе» не отваживается расспрашивать о подробностях первой брачной ночи.

Роль циников, задающих такие в высшей степени непристойные вопросы, берут на себя критики формальных систем, вроде Таубе, которые требуют, чтобы Иван или Петр вместо предложения «Идет снег» высказывали какие-нибудь другие предложения, вроде «Бог есть», каковое предложение верно тогда и только тогда, когда Бог существует; однако при этом нет ни одного такого факта или ситуации, которые позволили бы установить отношение формальной эквивалентности между ними и данной фразой. И дальше Таубе говорит: «Если бы Тарский ответил на это, что формальная эквивалентность выдерживается не между предложением и фактом, а между предложением в одном языке и предложением в другом, с этим можно было бы согласиться. Но тогда становится трудно понять, почему эквивалентность между предложениями в одном и том же языке – это чисто формальный факт, не имеющий семантического значения, тогда как эквивалентность предложения в одном языке предложению в другом языке должна иметь такое содержание. Либо вывод Тарского чисто формален, то есть истинен по определению, – в этом случае он не имеет никакого семантического содержания; либо он должен относиться к экспериментально подтверждаемой связи между любым языком и совокупностью фактов – в этом случае существует поистине семантическое содержание, но такое, которое находится вне всякой формальной системы, даже если обратиться к бесконечной иерархии метаязыков».[62]

Наше сравнение светского разговора с данной ситуацией не является просто шуткой, потому что и там и тут на самом деле замалчивается некий щекотливый вопрос, только в одном случае это вопрос сексуального характера, а в другом – теоретико-познавательного, эпистемологического. Один из самых разумных неопозитивистов, Эйно Кайла, очень удачно сравнил нынешнее положение в теории языка с айсбергом, лишь небольшая часть которого возвышается над поверхностью океана; под видимой частью айсберга в воду, во мрак океана уходит невидимая масса льда, и подобно этому основные языковые формы уходят в глубь, «во мрак» психики, тогда как над ее поверхностью возвышаются кристально ясные формализованные конструкции. Как бы ни отвечал Тарский или иной специалист по логической семантике на упреки М. Таубе, не подлежит сомнению, что всякая формальная процедура представляет собой лишь некоторую вставку между неформальным началом и неформальным концом. Сначала такой ученый о чем-то размышляет в содержательных понятиях, затем следует формализация, а когда она заканчивается, результаты снова оказываются понятными (хотя бы для специалистов). Выделение этой вставки при всей его дозволительности всегда является только выделением, и тут не помогут никакие заверения, будто, выписывая знаки, составляющие формализованное рассуждение, «семантик» не имел в виду ничего «значащего» и что такой же вывод может произвести даже машина, которая ничего не думает и не понимает. Не помогут потому, что в машине также действует «вставка», а «начало» и «конец», находясь вне машины, коренятся в мозгу человека. Утверждать, будто «все дело» только в формальном этапе, – все равно что заверять, будто все отношения между помолвленными до свадьбы и между супругами после таковой не играют никакой роли, будто все дело в свадьбе, которая не только составляет единственную благопристойную тему, но к коей вообще сводится все «значение» супружества.

Неформальные начало и конец формального построения показывают, сколь иллюзорны были попытки строголюбов изгнать