Александр Ивин - Современная логика

Вопросы ребенка только кажутся простыми и наивными. За этими «детскими» вопросами скрываются, если вдуматься, сложные проблемы, затрагивающие вполне серьезные темы и прежде всего тему неточных понятий.

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

Но история в таком изложении просто невозможна! Чтобы выявить это, достаточно немного перестроить рассуждение. Человек произошел от обезьяны, и был когда-то первый человек, не являвшийся обезьяной. У него были, разумеется, родители, и они являлись обезьянами: ведь до этого – первого – человека людей вообще не было. Но здесь надо остановиться: две обезьяны не в состоянии произвести на свет человека! Значит, никакого «первого человека» вообще не было. Но если это так, то как быть с тем эволюционным рядом, который ведет от обезьяны к человеку?

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

Более наглядно трудности этого рода демонстрируются классическими парадоксами «лысый» и «куча», сформулированными Евбулидом. Еще в IV веке до н. э. этот древний грек доказывал, что лысых людей не существует. О самом Евбулиде, о его жизни и внешности не дошло никаких сведений. Неизвестно, в частности, был он сам лысым или нет.

Доказательство Евбулида, изложенное в несколько осовремененной версии, звучит так.

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

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

Доказано это, как будто строго, а именно методом математической индукции.

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

Интересно, что, используя прием Евбулида, можно доказать и прямо противоположное утверждение, что «волосатых» людей нет и все являются лысыми. Для этого достаточно начать с другого конца образованного нами ряда людей.

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

Парадокс «куча» строго аналогичен парадоксу «лысый». Одно зерно {один камень и т. п.) не образует кучи. Если n зерен не образуют кучи, то и n +1 зерно не образуют кучи. Следовательно, никакое число зерен не может образовать кучи.

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

Возникает, однако, вопрос: благодаря каким свойствам математических понятий парадоксы, подобные описанным, не могут появиться в математике? В чем состоит та особая «жесткость» математических объектов, которая дает возможность распространить на них математическую индукцию? Или, говоря иначе, какие именно объекты являются «математическими», подпадающими под действие принципа математической индукции?