Изменить стиль страницы
…Не верьте в колдовскую власть огня:
Горит, пока кладут в него дровишки.
Не верьте в златогривого коня
Ни за какие сладкие коврижки!
Не верьте в то, что звездные стада
Несутся в бесконечной круговерти.
Но что же вам останется тогда?
Не верьте в то, что я сказал.
Не верьте.
В.Прудовский

Но реально ли такое всеобщее неверие? Судя по всему, оно противоречиво и, значит, логически невозможно.

11. Допустим, что, вопреки общему убеждению, неинтересные люди все-таки есть. Соберем их мысленно вместе и выберем из них самого маленького по росту, или самого большего по весу, или какого-то другого «самого…». На этого человека интересно было бы посмотреть, так что мы напрасно включили его в число неинтересных. Исключив его, мы опять найдем среди оставшихся «самого…» в том же самом смысле и т.д. И все это до тех пор, пока не останется только один человек, которого не с кем будет уже сравнивать. Но, оказывается, этим он как раз и интересен! В итоге мы приходим к выводу, что неинтересных людей нет. А началось рассуждение с того, что такие люди существуют.

Можно, в частности, попробовать найти среди неинтересных людей самого неинтересного из всех неинтересных. Этим он будет, без сомнения, интересен, и его придется исключить из неинтересных людей. Среди оставшихся опять-таки найдется наименее интересный и т.д.

В этих рассуждениях определенно есть привкус парадоксальности. Допущена ли здесь какая-нибудь ошибка и если да, то какая?

12. Допустим, что вам дали чистый лист бумаги и поручили описать этот лист на нем же. Вы пишите: это лист прямоугольной формы, белый, таких-то размеров, изготовленный из прессованных волокон древесины и т.д.

Описание как будто закончено. Но оно явно неполное! В процессе описания объект изменился: на нем появился текст. Поэтому к описанию нужно еще добавить: а кроме того, на этом листе бумаги написано: это лист прямоугольной формы, белый…и т.д. до бесконечности.

Кажется, что здесь парадокс, не так ли?

Хорошо известен детский стишок:

У попа была собака,
Он ее любил,
Она съела кусок мяса,
Он ее убил.
Убил и закопал,
А на плите написал:
«У попа была собака…»

Смог ли этот любивший свою собаку поп когда-нибудь закончить надгробную надпись? Не напоминает ли составление этой надписи полное описание листа бумаги на нем самом?

13. Один автор дает такой «тонкий» совет: «Если маленькие хитрости не позволяют достичь желаемого, прибегните к большим хитростям». Этот совет предлагается под заголовком «Маленькие хитрости». Но относится ли он на самом деле к таким хитростям? Ведь «маленькие хитрости» не помогают, и как раз по этой причине приходится прибегнуть к данному совету.

14. Назовем игру нормальной, если она завершается в конечное число ходов. Примерами нормальных игр могут служить шахматы, шашки, домино: эти игры всегда завершаются или победой одной из сторон, или ничьей. Игра, не являющаяся нормальной, продолжается бесконечно, не приводя ни к какому результату. Введем также понятие сверхигры: первым ходом такой игры является установление того, какая именно игра должна играться. Если, к примеру, вы и я намереваемся играть в сверхигру и мне принадлежит первый ход, я могу сказать: «Давайте играть в шахматы». Тогда вы в ответ делаете первый ход шахматной игры, допустим, е2 – е4, и мы продолжаем партию до ее завершения (в частности, в связи с истечением времени, отведенного турнирным регламентом). В качестве своего первого хода я могу предложить сыграть в крестики-нолики и т.п. Но игра, которая мною выбирается, должна быть нормальной; нельзя выбирать игру, не являющуюся нормальной.

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

Итак, является сверхигра нормальной игрой или нет?

Пытаясь ответить на этот вопрос, не следует, конечно, идти по легкому пути чисто словесных разграничений. Проще всего сказать, что нормальная игра – это игра, а сверхигра – всего лишь розыгрыш.

Какие другие парадоксы напоминает этот парадокс сверхигры, являющейся одновременно и нормальной и ненормальной?

Литература

Байиф Ж.К. Логические задачи. – М., 1983.

Бурбаки Н. Очерки по истории математики. – М., 1963.

Гарднер М. А ну-ка догадайся! – М.: 1984.

Ивин А.А. По законам логики. – М., 1983.

Клини С.К. Математическая логика. – М., 1973.

Смаллиан P.M. Как же называется эта книга? – М.: 1982.

Смаллиан P.M. Принцесса или тигр? – М.: 1985.

Френкель А., Бар-Хиллел И. Основания теории множеств. – М., 1966.

Контрольные вопросы

Какое значение имеют парадоксы для логики?

Какие решения предлагались для парадокса «Лжец»?

В чем особенности семантически замкнутого языка?

В чем существо парадокса множества обычных множеств?

Имеется ли решение спора Протагора и Еватла? Какие решения предлагались для этого спора?

В чем сущность парадокса неточных имен?

В чем могло бы заключаться своеобразие логических парадоксов?

Какие выводы для логики следуют из существования логических парадоксов?

В чем различие между устранением и объяснением парадокса? Какое будущее ожидает логические парадоксы?

Темы рефератов и докладов

Понятие логического парадокса

Парадокс «Лжец»

Парадокс Рассела

Парадокс «Протагор и Еватл»

Роль парадоксов в развитии логики

Перспективы разрешения парадоксов

Разграничение языка и метаязыка

Устранение и разрешение парадоксов

Вместо заключения

О многом шла речь в этой книге. Еще больше интересных и важных тем осталось за ее пределами.

Логика – это особый, самобытный мир со своими законами, условностями, традициями, спорами и т.д. То, о чем говорит эта наука, знакомо и близко каждому. Но войти в ее мир, почувствовать его внутреннюю согласованность и динамику, проникнуться его своеобразным духом непросто.

Если книга в какой-то мере помогла в этом, задача автора выполнена.

Хотелось бы пожелать, чтобы читатель – если он впервые познакомился теперь с логикой – не остановился на первом шаге, особенно если это молодой читатель.