Как же называется эта книга

Смаллиан Рэймонд М.

Продемонстрирую его вам на примере. Предположим, что мне необходимо доказать кому-то, будто я граф Дракула. Я говорю: "Из всей логики вам необходимо лишь знать, что если заданы любые два утверждения p, q и p истинно, то по крайней мере одно из двух утверждений p, q истинно".

Против этого вряд ли кто-нибудь станет возражать.

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

масти, а q - утверждение о том, что я граф Дракула, продолжаю я.
– Утверждение p истинно.

Согласны ли вы с тем, что либо p, либо q истинно?" Моя "жертва" соглашается. "Но утверждение p, как вы можете убедиться собственными глазами, ложно. Откройте карту!"

– приказываю я. "Жертва" послушно открывает карту: к его изумлению, у него в руке оказывается карта черной масти! "Следовательно, - завершаю я доказательство, - утверждение q истинно. Значит, я граф Дракула!"

В. НЕСКОЛЬКО ЛОГИЧЕСКИХ КУРЬЕЗОВ

В двух предыдущих разделах мы рассмотрели несколько неверных рассуждений, которые на первый взгляд казались верными. Теперь нас ожидает нечто прямо противоположное: мы познакомимся с кое-какими принципами, которые на первый взгляд противоречат здравому смыслу, но тем не менее оказываются верными.

250. Принцип пьяницы

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

Человек сидит у стойки в баре. Внезапно он ударяет кулаком по стойке и приказывает бармену: "Налей-ка мне и налей всем. Когда пью я, пьют все. Такой уж я человек!" Все выпивают, настроение у посетителей бара повышается. Через какое-то время человек, сидящий у стойки, снова ударяет кулаком по стойке и заплетающимся языком отдает бармену распоряжение: "Налей мне еще и налей всем еще по одной.

Когда я пью еще одну, все пьют еще по одной! Такой уж я человек!" Все выпивают еще по одной, и настроение в баре повышается еще больше. Затем человек, сидящий у стойки, кладет на нее деньги и говорит: "А когда я плачу, платят все. Такой уж я человек!"

На этом анекдот о пьянице завершается. Проблема состоит в следующем: существует ли в действительности такой человек, что если он пьет, то пьют все? Ответ на этот вопрос удивит многих из вас.

Более драматический вариант возник в разговоре, который состоялся у меня с философом Джоном Бэконом. Существует ли на свете такая женщина, что если она утратит способность к деторождению, то все человечество будет обречено на вымирание?

Вариант проблемы, двойственный принципу пьяницы:

существует ли по крайней мере один человек, такой, что если кто-нибудь пьет, то пьет и он?

Решение. Да, существует такой человек, что если он пьет, то пьют все. Это следует в конечном счете из странного принципа, согласно которому из ложного утверждения следует любое утверждение.

Взглянем на проблему со следующей точки зрения. Утверждение о том, что все пьют, либо истинно, либо ложно. Предположим, что оно истинно. Выберем кого-нибудь и назовем нашего избранника Джимом. Так как все пьют и Джим пьет, то верно, что если Джим пьет, то все пьют. Следовательно, существует по крайней мере один такой человек (а именно Джим), что если пьет он, то все пьют.

Предположим теперь, что наше утверждение ложно, то есть не

верно, что все пьют. Что тогда? B этом случае существует по крайней мере один человек (назовем его Джимом), который не пьет. Поскольку не верно, что Джим пьет, то верно, что если Джим пьет, то пьют все. Следовательно, и в этом случае существует такой человек (а именно Джим), что если он пьет, то пьют все.

Подведем итог. Назовем загадочной фигурой всякого, кто обладает странным свойством: если он пьет, то пьют все.

Суть дела заключается в том, что если пьют все, то каждый может служить загадочной фигурой. Если же пьют не все, то загадочной фигурой может служить любой непьющий.

Перейдем теперь к более драматическому варианту принципа пьяницы. Все рассуждения по существу остаются прежними, и мы заключаем следующее. Существует по крайней мере одна такая женщина (а именно любая женщина, если все женщины становятся бесплодными, и любая женщина, которая не становится бесплодной, если не все женщины утрачивают способность к деторождению), что если она утратит способность к деторождению, то и все женщины утратят способность к деторождению.

Перейдем теперь к "двойственному" принципу, согласно которому существует такой человек, что если кто-нибудь вообще пьет, то он пьет. Иначе говоря, либо существует по крайней мере один человек, который пьет, либо не существует. Если ни одного пьющего не существует, то выберем любого и назовем его Джимом. Поскольку не верно, что кто-нибудь пьет, то верно, что если кто-нибудь пьет, то Джим пьет. С другой стороны, если существует кто-нибудь пьющий, то возьмем любого пьющего и назовем его Джимом. Тогда верно, что кто-нибудь пьет, и верно, что Джим пьет. Следовательно, верно, что если кто-нибудь пьет, то Джим пьет.

Эпилог

Когда я рассказал о принципе пьяницы своим студентам Линде Ветцель и Джозефу Беванер, они пришли в восторг. Вскоре после этого они прислали мне поздравительную открытку со следующим воображаемым диалогом (который вполне мог произойти в кафетерии после обеда).

Логик. Я знаю одного парня. Когда он пьет, пьют все.

Студент. Я вас не совсем понял. Что вы имеете в виду, когда говорите, что пьют все? Все человечество?

Логик. Да, конечно.

Студент. Но это же немыслимо! Вы хотите сказать, что стоит ему пропустить стаканчик, как тотчас же все обитатели Земли до единого выпивают свою порцию?

Логик. Вы совершенно правы.

Студент. Но это означает, что в какой-то момент времени все обитатели Земли выпивали одновременно. Такого же просто никогда не было!

Логик. Вы не слишком внимательно слушали меня.

Студент. Я выслушал вас достаточно внимательно. Более того, я опроверг вашу логику.

Логик. Вы говорите чепуху. Логику нельзя опровергнуть.

Студент. Как же нельзя, когда я только что опроверг?

Логик. Не вы ли говорили мне, что вы не пьете?

Студент. Гм... Знаете, давайте лучше поговорим о чем-нибудь другом.

251. Правильно ли рассуждение?

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

Замечу, кстати, что правильным принято называть такое рассуждение, в котором заключение с необходимостью следует из посылок (посылки же не обязательно должны быть истинными). Вот это рассуждение /* Мне сообщил его философ Ричард Картрайт.*/.