Алиса в стране смекалки - Смаллиан Р.М.
Скачать (прямая ссылка):
Первое доказательство. Изложим это доказательство в форме диалога.
Первый логик. Если не ошибаюсь, Дед Мороз существует. Второй логик. Разумеется, Дед Мороз существует, если вы не ошибаетесь.
Первый логик. Следовательно, мое утверждение истинно. Второй логик. Разумеется!
Первый логик. Итак, я не ошибся, а вы согласились с тем, что если я не ошибаюсь, то Дед Мороз существует. Следовательно, Дед Мороз существует.
Второе доказательство. Приведенное выше доказательство представляет собой не что иное, как беллетризованный вариант следующего доказательства, предложенного Дж.
Баркли Россером:
Если это утверждение истинно, то Дед Мороз существует.
В основе этого доказательства лежит уже знакомая нам идея. С ней мы встречались, когда доказывали, что если обитатель острова рыцарей и лжецов высказывает утверждение "если и рыцарь, то то- то и то-то", то он должен быть рыцарем, а "то-то и то-то" должно быть истинно.
Если наше утверждение истинно, то Дед Мороз заведомо
Ше:Шу4 _Библиотека_КОЛХОЗ/Ыхо3^зс05/М_МАТНЕМ/МРОР_РОР/14.5МтШт (3о? 13)19.01.2004 16:56:31
"Какже называется эта книга?" -14
существует (потому что если это утверждение истинно, то должно быть верно, что если это утверждение истинно, то Дед Мороз существует, из чего следует, что Дед Мороз существует). Следовательно, то, о чем говорится в утверждении, верно, поэтому утверждение истинно. Значит, утверждение истинно, а если оно истинно, то Дед Мороз существует. Следовательно, Дед Мороз существует.
Вопрос. Предположим, что обитатель острова рыцарей и лжецов заявляет: "Если я рыцарь, то Дед Мороз существует?" Доказывало бы это, что Дед Мороз существует?
Ответ. Несомненно, доказывало бы. Однако поскольку дед Мороз не существует, то ни лжец, ни рыцарь не могли бы высказать подобное утверждение.
Третье доказательство.
Это утверждение ложно, и Дед Мороз не существует.
Детали доказательства я предоставляю читателям.
Необходимые пояснения. Что в этих доказательствах "не так"? Ошибка в них та же, что и в рассуждениях претендента на руку Порции N-й: часть утверждений лишена смысла (об этом мы более подробно поговорим в гл. 15), и их нельзя считать ни истинными, ни ложными.
Следующее доказательство, к рассмотрению которого мы сейчас переходим, основано на совершенно ином принципе.
241. Доказательство того, что единорог существует.
Я хочу доказать вам, что единорог существует. Для этого, очевидно, достаточно доказать более сильное (как нам кажется) утверждение о том, что существует существующий единорог. (Под существующим единорогом я понимаю единорога, который существует.) Ясно, что если существует существующий единорог, то какой-нибудь единорог тем более должен существовать. Итак, я должен доказать, что существующий единорог существует. Возможны два и только два случая:
1) Существующий единорог существует.
2) Существующий единорог не существует.
Ше:Шу4 _Библиотека_КОЛХОЗ/Ыхо3^зс05/М_МАТНЕМ/МРОР_РОР/14.5МтШт (4о? 13)19.01.2004 16:56:31
"Как же называется эта книга?" - 14
Второй случай мы исключаем из рассмотрения как противоречивый: как может не существовать существующий единорог? Существующий единорог непременно должен существовать точно так же, как синий единорог должен быть синим.
Необходимые пояснения. В чем ошибка этого доказательства? Оно представляет собой не что иное, как самую суть знаменитого онтологического доказательства существования бога, предложенного Декартом. Декарт определил бога как существо, обладающее всеми мыслимыми свойствами. Значит, по определению, бог должен обладать свойством существовать. Следовательно, бог существует.
Иммануил Кант объявил доказательство Декарта недействительным на том основании, что существование не есть свойство. Я считаю, что в доказательстве Декарта имеется гораздо более серьезная ошибка. Не вдаваясь в обсуждение вопроса о том, можно ли считать существование свойством, я хочу лишь заметить, что даже если существование - свойство, то доказательство Декарта остается неверным.
Рассмотрим сначала мое доказательство (звучит гордо, не так ли?) существования единорога. Насколько я могу судить, ошибка в приведенных мною рассуждениях состоит в следующем. Когда я привожу определение существующего единорога ("под существующим единорогом я, разумеется, понимаю единорога, который существует"), то имею в виду не какого-то вполне определенного существующего единорога, а некоторого существующего единорога, или, если угодно, существующего единорога вообще. Это подразумеваемое слово "некоторый" допускает двойственное толкование: иногда оно может означать "любой, каждый, всякий", иногда же означает "по крайней мере один". Например, если я высказываю утверждение "у совы большие глаза", то оно означает, что у сов большие глаза, что у всех сов большие глаза или что у каждой совы большие глаза. Но если я высказываю утверждение "в этом доме сова", то оно отнюдь не означает, что в этом доме собрались все совы. Я имею в виду лишь, что в этом доме находится по крайней мере одна сова.
Ше:Шу4 _Библиотека_КОЛХОЗ/Ыхо3^зс05/М_МАТНЕМ/МРОР_РОР/14.5МтШт (5оБ 13)19.01.2004 16:56:31
