Истины же логики, ее законы являются необходимыми истинами, справедливыми во всех мирах, включая, разумеется, и действительный. К необходимым истинам этого же рода нередко относят и законы математики.
Теория возможных миров — даже в этом упрощенном и схематичном ее изложении — является хорошим средством для прояснения смысла логической необходимости.
Один из принципов логики говорит, что если утверждение логически необходимо, то оно истинно. В терминах возможных миров это положение перефразируется так: если утверждение истинно в каждом из миров, оно истинно и в действительном мире. Очевидно, что это так, поскольку последний является одним из возможных миров.
Сходным образом обосновываются и другие положения, касающиеся свойств логической необходимости и раскрывающие ее содержание.
Глава 6 СОФИЗМЫ
СОФИЗМ — ИНТЕЛЛЕКТУАЛЬНОЕ МОШЕННИЧЕСТВО!
Софизмы обычно трактуются вскользь и с очевидным осуждением. И в самом деле, стоит ли задерживаться и размышлять над такими, к примеру, рассуждениями: «Сидящий встал; кто встал, тот стоит; следовательно, сидящий стоит»,
«Сократ — человек; человек — не то же самое, что Сократ; значит, Сократ — это нечто иное, чем Сократ»,
«Этот пес твой; он является отцом; значит, он — твой отец»?
А чего стоит такое, допустим, «доказательство»: «Для того чтобы видеть, необязательно иметь глаза, так как без правого глаза мы видим, без левого тоже видим; кроме правого и левого, других глаз у нас нет, поэтому ясно, что глаза не являются необходимыми для зрения»!
Или такое неожиданное «заключение»: «Но когда говорят: «камни, бревна, железо», то ведь это — молчащие, а говорят»!
Софизм «рогатый» стал знаменитым еще в Древней Греции. И сейчас он кочует из энциклопедии в энциклопедию в качестве «образцового». С его помощью можно уверить каждого, что он рогат: «Что ты не терял, то имеешь; рога ты не терял; значит, у тебя рога».
Впрочем, рога — это мелочь в сравнении с тем, что вообще может быть доказано с помощью этого и подобных ему рассуждений.
Убедить человека в том, что у него есть рога, копыта и хвост или что любой, произвольно взятый отец, в том числе и не являющийся вообще человеком, — это как раз его отец и т. д., можно только посредством обмана или злоупотребления доверием. А это и есть, как говорит уголовный кодекс, мошенничество. Не случайно учитель императора Нерона древнеримский философ Сенека в своих «Письмах» сравнивал софизмы с искусством фокусников, относительно манипуляций которых мы не можем сказать, как они совершаются, хотя и твердо знаем, что в действительности все делается совсем не так, как это нам кажется.
В обычном и распространенном понимании софизм- это умышленный обман, основанный на нарушении правил языка или логики. Но обман тонкий и завуалированный, так что его не сразу и не каждому удается раскрыть. Цель его — выдать ложь за истину. Прибегать к софизмам предосудительно, как и вообще обманывать и внушать ложную мысль, зная, в чем заключается истина.
Софизму как ошибке, сделанной умышленно, с намерением ввести кого-либо в заблуждение, обычно противопоставляется паралогизм, понимаемый как непреднамеренная ошибка в рассуждении, обусловленная нарушением законов и правил логики. Паралогизм кажется намного предпочтительнее софизма, так как является, в сущности, не обманом, а искренним заблуждением и не связан с умыслом подменить истину ложью.
Софизмы связаны чаще всего как с недостаточной самокритичностью ума и неспособностью его сделать надлежащие выводы, так и с его стремлением охватить то, что пока ему неподвластно. Нередко софизм представляет собой просто защитную реакцию незнания или даже невежества, нежелающего признать свое бессилие и уступить знанию.
Софизм традиционно считается помехой в обсуждении и споре. Использование софизмов уводит рассуждение в сторону: вместо избранной темы приходится говорить о правилах и принципах логики. Но в конце концов это препятствие не является чем-то серьезным. Использование софизмов имеет с точки зрения рассматриваемой проблемы чисто внешний характер и при известном навыке в логическом анализе рассуждений софизм несложно обнаружить и убедительно опровергнуть.
Софизмы иногда кажутся настолько случайными и несерьезными, что известный немецкий историк философии В. Виндельбанд, не отказывавший в общем-то софистике как философскому течению в значительности и глубине, относил их к шуткам: «Тот большой успех, каким пользовались эти шутки в Греции, особенно в Афинах, обусловливается юношеской склонностью к остроумным выходкам, любовью южан к болтовне и пробуждением разумной критики повседневных привычек».
Если софизм представляет собой всего лишь сбивчивое доказательство, попытку выдать ложь за истину, имеет случайный, не связанный с существом рассматриваемой темы характер и является сугубо внешним препятствием на пути проводимого рассуждения, то ясно, что никакого глубокого и требующего специального разъяснения содержания за ним не стоит. В софизме как результате заведомо некорректного применения семантических и логических операций не проявляются также какие-либо действительные логические трудности. Коротко говоря, софизм — это мнимая проблема.
Таково стандартное истолкование софизмов.
Оно подкупает своей простотой. За ним также многовековая история. Однако, несмотря на кажущуюся его очевидность, оно слишком многое оставляет недосказанным и неясным.
Прежде всего оно совершенно отвлекается от тех исторических обстоятельств, в которых рождаются софизмы и в которых протекает их последующая, нередко богатая событиями жизнь. Исследование софизмов, вырванных из среды их обитания, подобно попытке составить полное представление о растениях, пользуясь при этом только гербариями.
Софизмы существуют и обсуждаются более двух тысячелетий. Периодически острота их обсуждения напоминает ту, какая была в момент их возникновения. Если они всего лишь хитрости и словесные уловки, выведенные на чистую воду еще Аристотелем, то долгая их история и устойчивый интерес к ним непонятны.
Имеются, конечно, случаи, и, возможно, нередкие когда ошибки в рассуждении используются с намерением ввести кого-то в заблуждение. Но это явно не относится к большинству софизмов древних.
Когда софизмы впервые формулировались, о правилах логики еще ничего не было известно. Говорить в этой ситуации об умышленном нарушении законов и правил логики можно только с натяжкой. Тут что-то другое. Ведь несерьезно предполагать, что можно с помощью «рогатого» убедить человека, что он рогат. Сомнительно также, что с помощью софизма «лысый» кто-то надеялся уверить окружающих, что лысых людей нет. Невероятно, что софистическое рассуждение способно заставить кого-то поверить, что его отец — пес. Речь здесь, очевидно, идет не о «рогатых», «лысых» и т. п., а о чем-то совершенно ином и более значительном. И как раз чтобы подчеркнуть это обстоятельство, софизм формулируется так, что его заключение является заведомо ложным, прямо и резко противоречащим фактам.
Возникновение софизмов обычно связывается с философией софистов (V–IV века до новой эры), которая их обосновывала и оправдывала. Однако софизмы существовали задолго до философов-софистов, а наиболее известные и интересные были сформулированы позднее, в сложившихся под влиянием Сократа философских школах. Термин «софизм» впервые ввел Аристотель, охарактеризовавший софистику как мнимую, а не действительную мудрость. К софизмам им были отнесены и апории Зенона, направленные против движения и множественности вещей, и рассуждения собственно софистов, и все те софизмы, которые открывались в других философских школах. Это говорит о том, что софизмы не были изобретением одних софистов, а являлись скорее чем-то обычным для многих школ античной философии.
Характерно, что для широкой публики софистами были также Сократ, Платон и сам Аристотель. Не случайно Аристофан в комедии «Облака» представил Сократа типичным софистом. В ряде диалогов Платона человеком, старающимся запутать своего противника тонкими вопросами, выглядит иногда в большей мере Сократ, чем Протагор.
Широкую распространенность софизмов в Древней Греции можно понять, только если предположить, что они как-то выражали дух своего времени и являлись одной из особенностей античного стиля мышления.
Отношения между софизмами и парадоксами еще одна тема, не получающая своего развития в рамках обычного истолкования софизмов.
Парадокс в широком смысле — это утверждение, резко расходящееся с общепринятыми, устоявшимися мнениями. Парадоксами в этом довольно неопределенном смысле являются и афоризмы, подобные «люди жестоки, но человек добр», и так называемые «космологические парадоксы», и вообще любые мнения и суждения, отклоняющиеся от традиции и противостоящие общепринятому, проверенному, «ортодоксальному». Все софизмы являются, конечно, парадоксами в этом смысле.
Парадокс в более узком и гораздо в более современном значении — это два противоположных утверждения, для каждого из которых имеются представляющиеся убедительными аргументы.
Наиболее резкой формой парадокса, именуемой обычно «антиномией», является рассуждение, доказывающее эквивалентность двух утверждений, одно из которых является отрицанием другого.
В отличие от софизмов парадоксы трактуются со всей серьезностью: наличие в теории парадокса говорит о явном несовершенстве допущений, лежащих в ее основе.
Однако очевидно, что грань между софизмами и парадоксами не является сколь-нибудь определенной. В случае многих конкретных рассуждений невозможно решить на основе стандартных определений софизма и парадокса, к какому из этих двух классов следует отнести данные рассуждения.
Отделение софизмов от парадоксов является настолько неопределенным, что о целом ряде конкретных рассуждений нередко прямо говорится как о софизмах, не являющихся пока парадоксами или не относимых еще к парадоксам. Так обстоит дело, в частности, с рассматриваемыми далее софизмами «медимн зерна», «покрытый», «Протагор и Еватл» и целым рядом других.
Уже из одних общих соображений ясно, что с софизмами дело обстоит далеко не так просто, как это принято обычно представлять. Стандартное их истолкование сложилось, конечно, не случайно. Но оно очевидным образом не исчерпывает всего существа дела. Необходим специальный, и притом конкретно-исторический анализ, который только и способен показать узость и ограниченность этого истолкования. Одновременно он должен выявить роль софизмов как в развитии теоретического мышления, так и, в частности, в развитии формальной логики.
АПОРИИ ЗЕНОНА
Обратимся теперь к конкретным софизмам и тем проблемам, которые стоят за ними.
Знаменитые рассуждения древнегреческого философа Зенона «Ахиллес и черепаха», «дихотомия» и др., называемые обычно «апориями» («затруднениями»), были направлены будто бы против движения и существования многих вещей. Сама идея доказать, что мир — это одна-единственная и к тому же неподвижная вещь, нам сегодня кажется странной. Да странной она считалась и древними. Настолько странной, что «доказательства», приводившиеся Зеноном, сразу же были отнесены к простым уловкам, причем лишенным в общем-то особой хитрости. Такими они и считались две с лишним тысячи лет, а иногда считаются и теперь. Посмотрите, читатель, как они формулируются, и обратите внимание на их внешнюю простоту и незамысловатость.
Самое быстрое существо не способно догнать самое медленное, быстроногий Ахиллес никогда не настигнет медлительную черепаху. Пока Ахиллес добежит до черепахи, она продвинется немного вперед. Он быстро преодолеет и это расстояние, но черепаха уйдет еще чуточку вперед. И так до бесконечности. Всякий раз, когда Ахиллес будет достигать места, где была перед этим черепаха, она будет оказываться хотя бы, немного, но впереди.
В «дихотомии» обращается внимание на то, что движущийся предмет должен дойти до половины своего пути прежде, чем он достигнет его конца. Затем он должен пройти половину оставшейся половины, затем половину этой четвертой части и т. д. до бесконечности. Предмет будет постоянно приближаться к конечной точке, но так никогда ее не достигнет.
Это рассуждение можно несколько переиначить. Чтобы пройти половину пути, предмет должен пройти половину этой половины, а для этого нужно пройти половину этой четверти и т. д. Предмет в итоге так и не сдвинется с места.
Этим простеньким на вид рассуждениям посвящены сотни философских и научных работ. В них десятками разных способов доказывается, что допущение возможности движения не ведет к абсурду, что наука геометрия свободна от парадоксов и что математика способна описать движение без противоречия.
Обилие опровержений доводов Зенона показательно. Не вполне ясно, в чем именно состоят эти доводы, что они доказывают. Не ясно, как это «что-то» доказывается и есть ли здесь вообще доказательства? Чувствуется только, что какие-то проблемы или затруднения все-таки есть. И прежде чем опровергать Зенона, нужно выяснить, что именно он намеревался сказать и как он обосновывал свои тезисы. Сам он не формулировал прямо ни проблем, ни своих решений этих проблем. Есть, в частности, только коротенький рассказ, как Ахиллес безуспешно пытается догнать черепаху.
Извлекаемая из этого описания мораль зависит, естественно, от того более широкого фона, на котором оно рассматривается и меняется с изменением этого фона.
Рассуждения Зенона сейчас, надо думать, окончательно выведены из разряда хитроумных уловок. Они, по словам Б. Рассела, «в той или иной форме затрагивают основания почти всех теорий пространства, времени и бесконечности, предлагавшихся с его времени до наших дней».
Общность этих рассуждений с другими софизмами древних несомненна. И те и другие имеют форму краткого рассказа или описания простой в своей основе ситуации, за которой не стоит как будто никаких особых проблем. Однако описание преподносит обыденное явление так, что оно оказывается явно несовместимым с устоявшимися представлениями о нем. Между этими обычными представлениями о явлении и описанием его в апории или софизме возникает резкое расхождение, даже противоречие. Как только оно замечается, рассказ теряет видимость простой и безобидной констатации. За ним открывается неожиданная и неясная глубина, в которой смутно угадывается какой-то вопрос или даже многие вопросы. Трудно сказать с определенностью, в чем именно состоят эти вопросы, их еще предстоит уяснить и сформулировать, но очевидно, что они есть. Их надо извлечь из рассказа подобно тому, как извлекается мораль из житейской притчи. И как в случае притчи, результаты размышления над рассказом важным образом зависят не только от него самого, но и от того контекста, в котором этот рассказ рассматривается. В силу этого вопросы оказываются не столько поставленными, сколько навеянными рассказом. Они меняются от человека к человеку и от времени ко времени. И нет полной уверенности в том, что очередная пара «вопрос — ответ» исчерпала все содержание рассказа.
«МЕДИМН ЗЕРНА»
Зенон предложил еще один софизм — «медимн зерна» (примерно мешок зерна), послуживший прототипом для знаменитых софизмов Евбулида «куча» и «лысый».
Большая масса мелких, просяных например, зерен при падении на землю всегда производит шум. Он складывается из шума отдельных зерен, и, значит, каждое зерно и каждая малейшая часть зерна должны, падая, производить шум. Однако отдельное зерно падает на землю совершенно бесшумно. Значит, и падающий на землю медимн зерна не должен был бы производить шум, ведь он состоит из множества зерен, каждое из которых падает бесшумно. Но все-таки медимн зерна падает с шумом!
В прошлом веке начала складываться экспериментальная психология. «Медимн зерна» стал истолковываться — в духе времени — как первое неясное указание на существование только что открытых порогов восприятия. Это истолкование многим кажется убедительным и сегодня.
Человек слышит не все звуки, а только достигающие определенной силы. Падение отдельного зерна производит шум, но он настолько слаб, что лежит за пределами человеческого слуха. Падение же многих зерен дает шум, улавливаемый человеком. «Если бы Зенон был знаком с теорией звука, — писал тогда немецкий философ Т. Брентано, — он не измыслил бы, конечно, своего аргумента».
Как-то при таком объяснении совершенно не замечалось одно простое, но меняющее все дело обстоятельство: софизм «медимн зерна» строго аналогичен софизмам «куча» и «лысый». Но последние не имеют никакого отношения ни к теории звука, ни к психологии слуха.
Значит, для них нужны какие-то другие и притом разные объяснения.
Это кажется явно непоследовательным. Однотипные софизмы должны решаться одинаково. Кроме того, раз уловлен принцип построения подобных софизмов, их можно формулировать сколько заблагорассудится. Было бы наивно, однако, для каждого из них искать какое-то свое решение.
Ясно, что ссылки на психологию восприятия не улавливают существа того затруднения, которое обыгрывается рассматриваемыми софизмами.
Гораздо более глубоким является их анализ, данный Г. Гегелем. Вопросы: «Создает ли прибавление одного зерна кучу?», «Становится ли хвост лошади голым, если вырвать из него один волос?» — кажутся наивными. Нов них находит свое выражение попытка древних греков представить наглядно противоречивость всякого изменения.
Постепенное, незаметное, чисто количественное изменение какого-то объекта не может продолжаться бесконечно. В определенный момент оно достигает своего предела, происходит резкое качественное изменение и объект переходит в другое качество. Например, при температуре от 0° до 100 °C вода представляет собой жидкость. Постепенное нагревание ее заканчивается тем, что при 100 °C она закипает и резко, скачком переходит в другое качественное состояние — превращается в пар. «Когда происходит количественное изменение, — пишет Г. Гегель, — оно кажется сначала совершенно невинным, но за этим изменением скрывается еще и нечто другое, и это кажущееся невинным изменение количественного представляет собой как бы хитрость, посредством которой уловляется качественное».