Название: Хрестоматия по истории философии - Баранова В.И.

Жанр: Филология

Рейтинг:

Просмотров: 841


Неприятное же было без сомнения очень неприятным: из посылок, которые принимались всеми логиками после Аристотеля, выводились противоречия. Это свидетельствовало о неблагополучии в чем-то, но не давало никаких намеков, каким образом можно было бы исправить положение. Открытие одного такого противоречия весной 1901 г. положило конец моему логическому медовому месяцу. Я сообщил о неприятности Уайтхеду, который «утешил» меня словами: «Никогда больше нам не насладиться блаженством утренней безмятежности».

Я увидел противоречие, когда изучил доказательство Кантора о том, что не существует самого большого кардинального числа. Полагая, в своей невинности, что число всех вещей в мире должно составлять самое большое возможное число, я применил его доказательство к этому числу— мне хотелось увидеть, что получится. Это привело меня к обнаружению очень любопытного класса. Размышляя по линиям, которые до тех пор казались адекватными, я полагал, что класс в некоторых случаях является, а в других — не является, членом самого себя. Класс чайных ложек, например, не является сам чайной ложкой, но класс вещей, которые не являются чайными ложками, сам являетсяодной из вещей, которые не являются чайными ложками. Казалось, что есть случаи и не негативные: например, класс всех классов является классом. Применение доказательства Кантора привело меня к рассмотрению классов, не являющихся членами самих себя; эти классы, видимо, должны образовывать некоторый класс. Я задался вопросом, является ли этот класс членом самого себя или нет. Если он член самого себя, то должен обладать определяющим свойством класса, т.е. не являться членом самого себя. Если он не является членом самого себя, то не должен обладать определяющим свойством класса, и потому должен быть членом самого себя. Таким образом, каждая из альтернатив ведет к своей противоположности. В этом и состоит противоречие.

Поначалу я думал, что в моем рассуждении должна быть какая-то тривиальная ошибка. Я рассматривал каждый шаг под логическим микроскопом, но не мог обнаружить ничего неправильного. Я написал об этом Фреге, который ответил, что арифметика зашаталась и что он увидел ложность своего Закона V. Это противоречие настолько обескуражило Фреге, что он отказался от главного дела своей жизни — от попытки вывести арифметику из логики. Подобно пифагорейцам, столкнувшимся с несоизмеримыми величинами, он нашел убежище в геометрии, явно посчитав, что вся его предшествующая деятельность была заблуждением. Что касается меня, то я чувствовал, что причина в логике, а не в математике, и что именно логику и следовало бы преобразовать. Я укрепился в этом мнении, когда открыл рецепт составления бесконечного числа противоречий.

Философы и математики реагировали на ситуацию по-разному. Пуанкаре, не любивший математическую логику и обвинявший ее в бесплодности, обрадовался: «она больше не бесплодна, она рожает противоречия». Это блестящее замечание, впрочем, никак не способствовало решению проблемы. Некоторые другие математики, относившиеся неодобрительно к Георгу Кантору, заняли позицию Мартовского Зайца: «От этого я устал. Поговорим о чем-нибудь другом», — что точно так же казалось мне неадекватным.

...Парадоксы обнаруживали и раньше, некоторые были известны в древности; как мне казалось, тогда ставили похожие проблемы, хотя авторы, писавшие после меня, считали, что проблемы греков были иного рода. Наиболее известен парадокс об Эпимениде-критянине, который сказал, что все критяне лжецы, и заставил людей сомневаться, не лгал ли он, когда говорил это. Этот парадокс в самой простой форме возникает, когда человек говорит: «Я лгу». Если он лжет, то это ложь, что он лжет, и, следовательно, говорит правду; но если он говорит правду, то лжет, ибо именно это он утверждает. Противоречие поэтому неизбежно. Это противоречие упоминается св. Павлом (Тит 1,12), который, однако, не занимался его логическими аспектами, а доказывал с его помощью порочность язычников (1.119-122).

Объясню общие принципы теории типов, не вдаваясь в трудные технические детали. Возможно, лучше всего будет начать с того, что имеется в виду под «классом». Возьмем пример из домашнего хозяйства. Допустим, в конце обеда хозяин предлагает на выбор три сладких блюда, настаивая, чтобы вы попробовали одно, два или все три, как вы пожелаете. Сколько линий поведения открыто перед вами? Вы можете от всего отказаться. Это первый выбор. Вы можете выбрать что-то одно. Это можно сделать тремя различными способами, и, следовательно, перед вами еще три варианта. Вы можете выбрать два блюда. Это также возможно сделать тремя способами. Или вы можете выбрать все три, что дает одну последнюю возможность. Общее число возможностей, таким образом, равно восьми, то есть 23. Можно легко обобщить эту процедуру. Положим, перед вами n объектов, и вы желаете знать, сколько путей имеется, чтобы ничего не выбрать, или что-то выбрать, или же выбрать все п. Вы обнаружите, что число путей 2n. Если выразить это в логическом языке: класс из n-го количества элементов имеет 2n подклассов. Это суждение истинно и в том случае, когда n бесконечно. Кантор как раз и доказал, что даже в этом случае 2n больше, чем n. Применяя это, как сделал я, ко всем вещам во вселенной, мы приходим к заключению, что классов вещей больше, чем вещей. Отсюда следует, что классы не являются «вещами». Но, поскольку никто не знает точно, что означает слово «вещь» в этом утверждении, не очень-то легко точно сформулировать, что именно удалось доказать. Заключение, к которому я пришел, состояло в том, что классы — это просто подсобное средство (convenience) в рассуждении (1.124).

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

Я взял для доказательства противоположность имени «Скотт» и дескрипции «автор Вэверлея». Утверждение «Скотт — автор Вэверлея» выражает тождество, а не тавтологию. Георг IV желал знать, является ли Скотт автором Вэверлея, но не желал знать, является ли Скотт Скоттом. Для всех, кто не изучал логику, это совершенно ясно. Но для логика в этом заключена головоломная трудность. Логики полагают (или полагали раньше), что если два выражения обозначают один и тот же объект, то суждение, содержащее одно выражение, может всегда быть заменено суждением, содержащим другое, и при этом остаться истинным, если оно было истинным, или ложным, если оно было ложным. Но, как мы только что видели, можно превратить истинное суждение в ложное, если заменить «автора Вэверлея на «Скотта». Отсюда видно, что необходимо различие между именем и дескрипцией: «Скотт» — это имя, а «автор Вэверлея» — дескрипция.


Оцените книгу: 1 2 3 4 5