Текст книги "Современная логика"

5. Неясные имена

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

Хороший – можно сказать, классический – пример содержательно неясного понятия представляет собой понятие «человек». Неточность объема этого понятия совершенно незначительна, если она вообще существует. Класс людей ясно и резко очерчен. У нас никогда не возникает колебаний относительно того, кто является человеком, а кто нет. Особенно если мы отвлекаемся от вопросов происхождения человека, предыстории человеческого рода и т. п.

Вместе с тем с точки зрения своего содержания это понятие представляется весьма неопределенным.

Еще одним примером содержательной неясности может служить понятие «токсическое вещество».

Растущее внимание к токсикологии окружающей среды находит отчасти свое выражение в постоянном росте числа таких веществ. Одно из первых руководств по профзаболеваниям, изданное в Соединенных Штатах в 1914 г., включало всего 67 наименований токсинов. Стандартный справочник 1969 г. включал уже 17 тысяч наименований. Современный достаточно полный список токсинов, применяемых в промышленности, насчитывает 100 тысяч наименований. Ясно, что бурное увеличение числа токсинов обусловлено не столько появлением в ходе технического прогресса новых веществ, неблагоприятно воздействующих на живые существа, сколько постоянным изменением самих представлений о том, какие именно вещества должны относиться к токсинам.

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

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

Не особенно ясны и многие центральные понятия психологии: «мышление», «восприятие» и т. д.

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

Не является, к примеру, ясным понятие множества, или класса, лежащее в основании математической теории множеств. Далеки от ясности такие важные понятия логики, как «логическая форма», «имя», «предложение», «доказательство» и т. д.

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

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

Неплохим средством прояснения понятия иногда оказывается исследование его происхождения, прослеживание изменений его содержания во времени.

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

Еще несколько простых примеров для подтверждения ограниченного значения этимологии имени в разъяснении его содержания. «Феодал» и «феодализм» первоначально были терминами судебной практики. В XVIII в. они стали довольно неуклюжими этикетками для обозначения некоторого типа социальной структуры, довольно нечетко очерченной. Только во второй половине XIX в. эти термины приобрели современное, достаточно ясное содержание. Слово «капитал» первоначально употреблялось только ростовщиками и счетоводами, и только позднее экономисты стали последовательно расширять его значение… Слово «капиталист» появилось впервые в жаргоне спекулянтов на первых европейских биржах… Слово «революция», появившись в астрологии, означало правильное и беспрестанно повторяющееся движение небесных тел… Все эти этимологические экскурсы ничего – или почти ничего – не значат для более полного понимания указанных слов.

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

«Ясность – вот лучшее украшение истинно глубокой мысли, – утверждал французский моралист Л. Вовенарг. – Вырази ложную мысль ясно, и она сама себя опровергнет». Но при всей желательности и пользе ясности стремление достичь ее любой ценой неоправданно. Оно способно привести как раз к противоположному результату. «…Ясность в среднем оказывается более плодотворной, чем путаница, но не следует презирать плоды ни той, ни другой» (У. Куайн).

6. Проблемы и парадоксы неточности

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

Неточными являются характеристики типа «высокий», «лысый», «отдаленный» и т. д. Определенно существуют ситуации, когда нет уверенности, можно ли употребить рассматриваемое понятие или нет. Причем сомнения и колебания в применимости понятия к конкретным вещам не удается устранить ни путем привлечения каких-то новых фактов, ни дополнительным анализом самого понятия.

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

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

В случае неточных понятий не всегда ясно, какие именно вещи подпадают под них, а какие нет.

Например, «окно» – это отверстие в стене здания, через которое в здание может проникать свет. Но всякое ли такое отверстие является окном? Будет ли окном дыра в стене, проделанная снарядом и пропускающая свет? Кроме того, далеко не любое окно представляет собой отверстие. Бывают ложные и нарисованные окна. И не всегда окно связано со стеной.

Другой пример – «дом». Возьмем строение, несомненно, являющееся домом, и снимем с него крышу или значительную ее часть. Дом без крыши или с остатками ее – это, пожалуй, все-таки дом. Многое зависит, конечно, от конкретной ситуации, от контекста: сколько этажей в этом строении, для каких целей его намереваются использовать, в какое время года и т. д. Допустим далее, что в рассматриваемом строении выбиты также все окна или большое их число. Осталось оно домом или нет? Колебания в ответе на этот вопрос, скорее всего, неизбежны.

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

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

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

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

Древние греки зенитом жизни мужчины – его «акмэ» – считали сорок лет. В этом возрасте еще не совсем растраченные физические силы удачно дополняются и уравновешиваются накопленными уже опытом и мудростью. Мужчина в гармоничном расцвете своего тела и духа владеет «мерой вещей», с помощью которой отсеивает случайное от необходимого, эфемерное от вековечного. И вместе с тем у него еще достаточно энергии, чтобы не только созерцать, но и действовать. Однако акмэ – это хотя и золотоносная, но не самая счастливая фаза в жизни человека. Прошедший эту фазу и выполнивший свой долг перед людьми считался в древности уже старым и даже ненужным. Долголетие было в те времена, да и в гораздо более поздние, довольно редким исключением.

В Древнем Риме некто Катон-младший, решивший покончить с собой, недоумевал, почему его отговаривают – ведь ему уже… 48 лет! В свое время И. Тургенев в ремарке к комедии «Холостяк» писал: «Мошкин, 50 лет, живой, хлопотливый, добродушный старик». А. Герцен принялся писать свои мемуары «Былое и думы» вскоре после того, как ему исполнилось сорок лет.

В наше время вряд ли какой мужчина согласится с характеристикой пятидесятилетнего Мошкина. И в этом нет ничего странного: на рубеже между старой и новой эрами средняя продолжительность человеческой жизни составляла всего 22 года, пятнадцать веков назад – 33,5 года, в 1900 году – 49,5 года, а ныне она превышает 70 лет.

«Средний возраст» неуклонно расширяет свои границы. Создается даже впечатление, что старики существовали только в прошлом, сейчас остались только две возрастные категории: одна из них – это молодежь, а все остальные – люди среднего поколения. На Всемирном конгрессе по геронтологии, проведенном по инициативе ЮНЕСКО в 1977 году, была принята новая классификация населения по возрасту. Согласно этой классификации молодость длится до 45 лет, средний возраст – от 46 до 59 лет, пожилой – от 60 до 74, старческий же возраст наступает только после 74 лет.

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

Понятие «человек среднего возраста» не просто неточно, а неточно в двух смыслах или отношениях. Оно не имеет ясной и резкой границы сейчас, в настоящее время, как, впрочем, не имело ее ни в какое другое фиксированное время. Сверх того, даже эта расплывчатая граница не остается на одном и том же месте, она меняет свое положение с течением времени.

Парадоксы неточных имен

Говорят, главное во всяком деле – уловить момент. Это относится, пожалуй, и к таким делам, как размышление и рассуждение. Однако здесь «момент» улавливается особенно трудно, и существенную роль в этом играют как раз неточные понятия.

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

– Да, конечно, это все знают.

– А кто был тот первый человек, который не являлся уже обезьяной?

– Ну, это было так давно, что его забыли.

– Но он знал, что он человек, а не обезьяна?

– Вряд ли он догадывался об этом. Скорее всего, гораздо позднее кто-то заметил, что люди больше не обезьяны…

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Характерная особенность неточных понятий заключается в том, что с их помощью можно конструировать неразрешимые высказывания. Относительно таких высказываний невозможно решить, истинны они или нет, как, скажем, в случае высказываний: «Человек тридцати лет – молод» и «Тридцать лет – это средний возраст».

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

Неточными являются, в частности, обычные понятия, связанные с измерением пространства и времени. На это впервые обратил внимание А. Эйнштейн. Он показал, что понятия «одновременные события» и «настоящее время» не являются точными. Легко сказать, одновременны или нет события, происходящие в пределах восприятия человека. Установление же одновременности удаленных друг от друга событий требует синхронизации часов, сигналов. Содержание обычного понятия одновременности не определяет никакого метода, дающего хотя бы абстрактную возможность суждения об одновременности этих событий. Точно так же обстоит дело с понятием пространственного совпадения.

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

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

Применительно к математике А. Эйнштейн выразил эту мысль так: «Поскольку математические предложения относятся к действительности, они не являются бесспорными, а поскольку они являются бесспорными, они не относятся к действительности». Анализируя понятие неточности, Б. Рассел пришел к заключению, что, поскольку логика требует, чтобы используемые понятия были точными, она применима не к реальному миру, а только к «воображаемому неземному существованию».

Эти мнения являются, конечно, крайними. Но они хорошо подчеркивают серьезность тех проблем, которые связаны с неточностью понятий.

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

Так, иногда наряду с крайне расплывчатым понятием «молодой» используется точное понятие «совершеннолетний». Оно является настолько жестким, что тот, кому 18 лет и более, относится к совершеннолетним, а тот, кому хотя бы на один день меньше, считается еще несовершеннолетним.

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

Разумеется, эти, как и иные, способы устранения неточных понятий применимы только в редких ситуациях и для узкого круга целей. Попытка достичь сразу же, одним движением высокой точности там, где она объективно не сложилась, способна привести только к искусственным границам и самодовлеющему схематизму, «Несовершеннолетие, – говорил Кант, – есть неспособность пользоваться своим рассудком без руководства со стороны кого-то другого». Очевидно, что о так понимаемом несовершеннолетии никак не скажешь, что оно может отделяться от совершеннолетия всего одним днем. Подведем итог всему сказанному о многозначности и неточности имен обычного языка. Эти особенности обычных имен – предмет интереса не только чистой теории, но и нашей повседневной практики употребления языка. Всякая наша мысль и каждое наше высказывание включают имена. И, как правило, они являются многозначными или неточными, а нередко и теми и другими вместе.