Дэвид Эдмондс - Кочерга Витгенштейна. История десятиминутного спора между двумя великими философами

С этой загадкой связана и еще одна. Если значение имени «Вальтер Скотт» — объект или предмет, обозначаемый этим именем, то есть человек Вальтер Скотт, то, предположительно, то же верно и по отношению к описанию сэра Вальтера Скотта как «автора "Веверлея"». Дескрипция «автор "Веверлея"» тоже обозначает Вальтеpa Скотта; следовательно, она должна иметь то же значение, что и его имя. Однако этот вывод влечет за собой дальнейшие трудности. Ведь когда король Георг IV осведомлялся, верно ли, что «Скотт — автор "Веверлея"», вряд ли он хотел узнать, верно ли, что «Скотт — это Скотт», —, или, как изысканно выразился Рассел, вряд ли Георг IV интересовался законом тождества.

Но вернемся к нашему лысому французу. Даже прекрасно зная, что Франция — республика, мы без труда поймем предложение «Нынешний король Франции лыс». С точки зрения логики оно не вызывает нареканий. Если произнести его, скажем, на вечеринке, то человек, не сведущий в истории Франции, вполне может поверить, что так оно и есть. Этим оно отличается от логически абсурдных предложений, таких, например, как: «Король — это лысая Франция».

Но как же получается, что мы понимаем предложение «Нынешний король Франции лыс», если нынешнего короля Франции не существует? Если слова «нынешний король Франции» относятся к человеку, то этот человек должен быть либо лыс, либо нет — как и кочерга в аудитории НЗ была либо раскаленной, либо нет. Однако в реальном мире нет ни единого лысого человека, который являлся бы королем Франции, равно как и нет ни единого лохматого человека, который являлся бы королем Франции. Рассел писал, что «гегельянцы, тяготеющие к синтезу, заключили бы, наверное, что он носит парик».

Австрийский логик Алексиус Мейнонг, писавший в конце XIX века, предложил способ решения этих проблем. С его точки зрения, тот факт, что мы можем говорить о золотой горе, означает, что в некотором смысле золотая гора существует — не физически, конечно, но логически. В этом же смысле существуют и единороги, феи, привидения, домовые и лохнесское чудовище. Именно поэтому для нас имеют смысл такие утверждения, как «Деда Мороза не существует» или «Лохнес-ское чудовище — всего лишь крупная форель». В мире логики лохнесское чудовище существует — и именно то, что оно существует в мире логики, позволяет нам отрицать его существование в реальном мире.

Надо сказать, что Рассел был человеком в высшей степени педантичным и аккуратным. (В 1946 году он занимал комнаты Ч. Д. Броуда в Тринити, и Броуд, вернувшись, отметил: «Рад засвидетельствовать, что Рассел — идеальный жилец, при всей деструктивности его мышления».) Картина мира, нарисованная Мейнонгом, в глазах Рассела была невыносимо запутанной и хаотичной. «Логика, — утверждал он, — должна допускать существование единорогов не в большей степени, чем зоология». Этот метафизический беспорядок требовал генеральной уборки. Так возникла расселовская теория дескрипций.

Язык, считал Рассел, путает нас, сбивает с толку. Мы думаем, что такие дескрипции, как «золотая гора», «автор "Вэверлея"» или «король Франции», ведут себя как имена. В толпе, встречающей королевскую процессию, можно с равным успехом воскликнуть: «Ура, король Франции!» и «Ура, Людовик XVIII!». Потому мы думаем, что эти дескрипции, подобно именам, должны обозначать объект, чтобы иметь значение.

На самом же деле они вовсе не функционируют как имена. Хотя высказывание «король Франции лыс» кажется простым и однозначным, оно маскирует сложный логический триплет. Как в омлете, когда мы видим на сковороде только яйца, но под ними прячутся еще помидоры и сыр, в нашем высказывании тоже скрываются целых три ингредиента:

1. Существует король Франции.

2. Существует только один король Франции.

3. То, что является королем Франции, — лысое.

Выявив такую логику, мы можем увидеть, каким образом высказывание «король Франции лыс» имеет смысл, но при этом является ложным: это происходит потому, что неверна первая посылка — «существует король Франции». Таким же образом мы можем рассматривать и высказывания «Золотая гора не существует» или «Скотт — автор "Вэверлея"». Последнее можно трансформировать следующим образом: «Существует X такой, что X написал "Вэверлея", так, что для всех Y, если Y написал "Вэверлея", то Y тождествен X, и X тождествен "Скотту"».

Рассел изобрел логическую нотацию для записи таких случаев — она используется и сейчас. Высказывание «Король Франции лыс» записывается так: