По законам логики
Шрифт:
Налицо заметное смещение возрастных границ. Тот, кто в своей молодости называл пятидесятилетних стариками, сейчас, сам перевалив за пятьдесят, твердо относит себя к людям среднего возраста.
Чтобы решить, относится кто-то к среднему возрасту, надо знать не только, сколько ему лет, но и то, в какую эпоху он жил. Понятие «человек среднего возраста» не просто неточно, а неточно в двух смыслах или отношениях. Оно не имеет ясной и резкой границы сейчас, в настоящее время, как, впрочем, не имело ее ни в какое другое фиксированное время. Сверх того, даже эта расплывчатая
ПАРАДОКСЫ НЕТОЧНОСТИ
Говорят, главное во всяком деле — уловить момент. Это относится, пожалуй, и к таким делам, как размышление и рассуждение. Однако здесь «момент» улавливается особенно трудно, и существенную роль в этом играют как раз неточные понятия.
— Один мальчик сказал мне, — говорит ребенок взрослому, — что человек произошел от обезьяны. Это правда?
— Да, конечно, это все знают.
— А кто был тот первый человек, который не являлся уже обезьяной?
— Ну, это было так давно, что его забыли.
— Но он знал, что он человек, а не обезьяна?
— Вряд ли он догадывался об этом. Скорее всего только гораздо позднее кто-то заметил, что люди больше не обезьяны…
Вопросы ребенка только кажутся простыми и наивными. За этими «детскими» вопросами скрываются, если вдуматься, сложные проблемы, затрагивающие вполне серьезные темы и прежде всего тему неточных понятий.
Можно рассуждать так. Если человек произошел от обезьяны, то в ряду существ, ведущем от древней обезьяны к современному человеку, был, очевидно, первый человек, который не являлся обезьяной. Скорее всего он не догадывался, что он уже не обезьяна. Позднее появился первый человек, заметивший, что он больше не не обезьяна, и т. д.
Но история в таком изложении просто невозможна! Чтобы выявить это, достаточно немного перестроить рассуждение. Человек произошел от обезьяны, и был когда-то первый человек, не являвшийся обезьяной. У него были, разумеется, родители, и они являлись обезьянами: ведь до этого-первого — человека людей вообще не было.
Но здесь надо остановиться: две обезьяны не в состоянии произвести на спет человека! Значит, никакого «первого человека» вообще не било.
Но если это так, то как быть с тем эволюционным рядом, который ведет от обезьяны к человеку?
Подобные трудности, можно даже сказать — тупики, в рассуждении — неизбежное следствие недостаточно осторожного и корректного оперирования неточными понятиями.
Более наглядно трудности этого рода демонстрируются классическими парадоксами «лысый» и «куча», сформулированными Евбулидом. Еще в IV веке до н. э. этот древний грек доказывал, что лысых людей не существует. О самом Евбулиде, о его жизни и внешности не дошло никаких сведений. Неизвестно, в частности, был он сам лысым или нет.
Доказательство Евбулида, изложенное в несколько осовремененной версии, звучит так.
Допустим, что мы собрали людей с разной степенью облысения и строим их в ряд. Первым в этом ряду поставим человека с самой буйной шевелюрой, какая вообще возможна.
Будем рассуждать, начиная с первого, стоящего в ряду. Он, без сомнения, не лысый. Взяв произвольную пару в этом ряду, найдем, что если первый из них не лысый, то и непосредственно следующий за ним также не является лысым, поскольку у этого следующего всего на один волос меньше. Следовательно, каждый человек из данного ряда не является лысым. Подчеркнем — каждый, включая как первого, так и последнего.
Доказано это, как будто строго, а именно методом математической индукции.
Но ведь последний в ряду — совершенно лысый человек! Однако лысый, так сказать, только фактически: мы видим, что у него на голове нет волос, и именно поэтому мы и поставили его в конце ряда. Но рассуждая, мы приходим к заключению, что он не является лысым. Мы оказываемся, таким образом, перед дилеммой: нам остается либо верить своим глазам и не верить своему уму, либо наоборот.
Интересно, что, используя прием Евбулида, можно доказать и прямо противоположное утверждение, что «волосатых» людей нет и все являются лысыми.
Для этого достаточно начать с другого конца образованного нами ряда людей. Первым человеком будет в этом случае совершенно лысый. У каждого следующего в ряду будет всего на один волос больше, чем у предыдущего. Так что если предыдущий — лысый, то и следующий за ним также лысый. Значит, каждый человек является лысым, включая, естественно, и последних в ряду, у которых на головах буйные шевелюры.
Здесь уже не просто рассогласование чувств и разума, а прямое противоречие в самом разуме. Удалось доказать с равной силой как то, что ни одного лысого нет, так и то, что все являются совершенно лысыми. И оба доказательства были проведены с помощью метода математической индукции, в безупречность которой мы верим со школьных лет и которая лежит в основании такой строгой и точной науки, как математика.
Парадокс «куча» строго аналогичен парадоксу «лысый». Одно зерно {один камень и т. п.) не образует кучи. Если n зерен не образуют кучи, то и n+1 зерно не образуют кучи. Следовательно, никакое число зерен не может образовать кучи.
Продолжая тему возраста, начатую предыдущими примерами («молодой человек», «человек среднего возраста»), можно было бы доказать теперь, что стариков вообще нет, а есть только младенцы. Правда, к последним относились бы и все те, кому сто лет и больше. С равным успехом удалось бы также показать, что всякий человек, в том числе и только что родившийся, является глубоким стариком.
Возможность всех этих и подобных им доказательств означает, что принцип математической индукции имеет строго ограниченную область приложения. Он не должен применяться, в частности, в рассуждениях об объектах, обозначаемых неточными, расплывчатыми понятиями.